Abstract is missing.
- Model-Based Testing of ObligationsIram Rubab, Shaukat Ali, Lionel C. Briand, Yves Le Traon. 1-10 [doi]
- An Improved Memetic Algorithm with Method Dependence Relations (MAMDR)Ali Aburas, Alex Groce. 11-20 [doi]
- General Optimization Strategies for Refining the In-Parameter-Order AlgorithmShiwei Gao, Jianghua Lv, Binglei Du, Yaruo Jiang, Shilong Ma. 21-26 [doi]
- Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based PointcutsLin Wang, Tomoyuki Aotani, Masato Suzuki. 27-36 [doi]
- Exploring Model-Based Repositories for a Broad Range of Industrial Applications and ChallengesTao Yue, Shaukat Ali, Arnaud Descour, Qitao Gan, Marius Liaaen, Geir Magne Merkesvik, Boas Krogh Nielsen, Jan Nygard, Bjorn Ove Olafsen, Anne Lise Waal. 37-46 [doi]
- Early Identification of Future Committers in Open Source Software ProjectsYasutaka Kamei, Masao Ohira, Ahmed E. Hassan, Naoyasu Ubayashi, Ken-ichi Matsumoto. 47-56 [doi]
- The Impact of Equivalent, Redundant and Quasi Mutants on Database Schema Mutation AnalysisChris J. Wright, Gregory M. Kapfhammer, Phil McMinn. 57-66 [doi]
- Automating Test-Suite AugmentationRoderick Bloem, Robert Könighofer, Franz Rock, Michael Tautschnig. 67-72 [doi]
- Bottom-up Integration Testing with the Technique of Metamorphic TestingXiaoyuan Xie, Jingxuan Tu, Tsong Yueh Chen, Baowen Xu. 73-78 [doi]
- Parameter Tuning for Search-Based Test-Data Generation Revisited: Support for Previous ResultsAnton Kotelyanskii, Gregory M. Kapfhammer. 79-84 [doi]
- Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software ProvisioningDonia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon. 85-94 [doi]
- A Method to Evaluate CFG Comparison AlgorithmsPatrick P. F. Chan, Christian S. Collberg. 95-104 [doi]
- Identifying Data Inconsistencies Using After-State Database Testing (ASDT) FrameworkRobert Setiadi, Man Fai Lau. 105-110 [doi]
- A Hybrid Monitoring of Software Design-Level Security SpecificationsMuhammad Umair Ahmed Khan, Mohammad Zulkernine. 111-116 [doi]
- Integration of Requirements Engineering and Test-Case Generation via OSLCBernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Rupert Schlick, Didier Simoneau, Stefan Tiran. 117-126 [doi]
- An Empirical Study on the Usage of Mocking Frameworks in Software TestingShaikh Mostafa, Xiaoyin Wang. 127-132 [doi]
- Black-Box Test Data Generation for GUI TestingMohammad Ali Darvish Darab, Carl K. Chang. 133-138 [doi]
- Automated Test Oracle Generation via Denotational SemanticsHai-Feng Guo, Liang Cao, Yushu Song, Zongyan Qiu. 139-144 [doi]
- Cost Estimation for Model-Driven Interoperability: A Canonical Data Modeling ApproachPeter Mork, Walt Melo, Sylvia Dutcher, Chris Curtis, Melissa Scroggs. 145-153 [doi]
- LTF: A Model-Based Load Testing Framework for Web ApplicationsJunzan Zhou, Bo Zhou, Shanping Li. 154-163 [doi]
- Using Measures for Verifying and Improving Requirement Models in MDD ProcessesGiovanni Giachetti, Beatriz Marín, Xavier Franch. 164-173 [doi]
- A Comparative Study of Invariants Generated by Daikon and User-Defined Design ContractsFarhana Rahman, Yvan Labiche. 174-183 [doi]
- Detecting Inter-Component Configuration Errors in Proactive: A Relation-Aware MethodWei Chen, Xiaoqiang Qiao, Jun Wei, Hua Zhong, Xiang Huang. 184-189 [doi]
- Bounded Model Checking of Hybrid Automata Pushdown SystemYu Zhang, Yunwei Dong, Fei Xie. 190-195 [doi]
- Analyzing Behavioral Aspects of UML Design Class Models against Temporal PropertiesMustafa Al-Lail, Wuliang Sun, Robert B. France. 196-201 [doi]
- Toward Extended Change Types for Analyzing Software FaultsBilly Kidwell, Jane Huffman Hayes, Allen P. Nikora. 202-211 [doi]
- The Effect of Method Origin on Method Invocation Fault FrequencyShimul Kumar Nath, Robert Merkel, Man Fai Lau. 212-221 [doi]
- A General Imperfect Software Debugging Model Considering the Nonlinear Process of Fault IntroductionJinyong Wang, Zhibo Wu, Yanjun Shu, Zhan Zhang. 222-227 [doi]
- W-VST: A Testbed for Evaluating Web Vulnerability ScannerYuan-Hsin Tung, Shian-Shyong Tseng, Jen-Feng Shih, Hwai-Ling Shan. 228-233 [doi]
- Assessing the Modeling of Aspect State Machines for Testing from the Perspective of ModelersShaukat Ali, Tao Yue, Iram Rubab. 234-239 [doi]
- In-process Usability Problem Classification, Analysis and ImprovementRuili Geng, Mingrui Chen, Jeff Tian. 240-245 [doi]
- Anti-pattern Mutations and Fault-pronenessFehmi Jaafar, Foutse Khomh, Yann-Gaël Gueheneuc, Mohammad Zulkernine. 246-255 [doi]
- Empirically Evaluating the Quality of Automatically Generated and Manually Written Test SuitesJeshua S. Kracht, Jacob Z. Petrovic, Kristen Walcott-Justice. 256-265 [doi]
- On a New Detecting Technique for Conjunctive Literal Insertion Fault in Boolean ExpressionsTanay Kanti Paul, Man Fai Lau, Sebastian Ng. 266-275 [doi]
- Quantifying Program Comprehension with Interaction DataRoberto Minelli, Andrea Mocci, Michele Lanza, Takashi Kobayashi. 276-285 [doi]
- Quantitatively Exploring Non-code Software ArtifactsLuca Bigliardi, Michele Lanza, Alberto Bacchelli, Marco D'Ambros, Andrea Mocci. 286-295 [doi]
- A Method to Test the Information Quality of Technical Documentation on WebsitesOleksandr Shpak, Welf Löwe, Anna Wingkvist, Morgan Ericsson. 296-304 [doi]
- A Benchmarking-Based Model for Technical Debt CalculationAlois Mayr, Reinhold Plösch, Christian Körner. 305-314 [doi]
- Uniformly Evaluating and Comparing Ranking Metrics for Spectral Fault LocalizationChunyan Ma, Yifei Zhang, Tao Zhang, Yuwei Lu, Qingyi Wang. 315-320 [doi]
- Measuring Class Cohesion Based on Iterative Process Using External Class RelationshipsJunha Lee, Dae-Kyoo Kim. 321-326 [doi]
- Estimation of Uncertainty in Application ProfilesDavid Flater. 327-332 [doi]
- The Value of Software Documentation QualityReinhold Plösch, Andreas Dautovic, Matthias Saft. 333-342 [doi]
- Understanding and Classifying the Quality of Technical Forum QuestionsLuca Ponzanelli, Andrea Mocci, Alberto Bacchelli, Michele Lanza. 343-352 [doi]
- Exploring the Relationships between the Understandability of Architectural Components and Graph-Based Component Level MetricsSrdjan Stevanetic, Uwe Zdun. 353-358 [doi]
- Empirical Study on the Effect of a Software Architecture Representation's Abstraction Level on the Architecture-Level Software UnderstandingSrdjan Stevanetic, Uwe Zdun. 359-364 [doi]