Abstract is missing.
- Spectrum-Based Fault Localization: Testing Oracles are No Longer MandatoryXiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen, Baowen Xu. 1-10 [doi]
- A Dynamic Fault Localization Technique with Noise Reduction for Java ProgramsJian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li. 11-20 [doi]
- On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault LocalizationBo Jiang, W. K. Chan, T. H. Tse. 21-30 [doi]
- Evolutionary Generation of Whole Test SuitesGordon Fraser, Andrea Arcuri. 31-40 [doi]
- A Search-Based OCL Constraint Solver for Model-Based Test Data GenerationShaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand. 41-50 [doi]
- Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary ModelYunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang. 51-60 [doi]
- Static Detection of Bugs Caused by Incorrect Exception Handling in Java ProgramsXiaoquan Wu, Zhongxing Xu, Jun Wei. 61-66 [doi]
- An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web ApplicationsXiang Huang, Wei Wang 0049, Wenbo Zhang, Jun Wei, Tao Huang. 67-75 [doi]
- Model-Driven Design of Performance RequirementsAntonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena. 76-85 [doi]
- Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time ApplicationsXiaowei Zhang, Donggang Cao, Hong Mei, Fuqing Yang. 86-95 [doi]
- Parameterised Argument Structure for GSN PatternsYutaka Matsuno, Kenji Taguchi 0001. 96-101 [doi]
- An Information Retrieval Based Approach for Measuring Service Conceptual CohesionAli Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams. 102-111 [doi]
- The Application of a New Process Quality Measurement Model for Software Process Improvement InitiativesA. Selçuk Güceglioglu, Onur Demirörs. 112-120 [doi]
- The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model CheckingStefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa. 121-130 [doi]
- A Comparison of Test Generation Algorithms for Testing Application InteractionsAntti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara. 131-140 [doi]
- FSM-Based Test Derivation Strategies for Systems with Time-OutsMaxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli. 141-149 [doi]
- Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State MachinesStephan Weißleder. 150-155 [doi]
- Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla DemonstratorAneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic. 156-165 [doi]
- A Comparative Evaluation of Cache Strategies for Elastic Caching PlatformsXiulei Qin, Wenbo Zhang, Wei Wang 0049, Jun Wei, Hua Zhong, Tao Huang. 166-175 [doi]
- Improving the Modifiability of the Architecture of Business ApplicationsXulin Zhao, Foutse Khomh, Ying Zou. 176-185 [doi]
- BAM: A Requirements Validation and Verification Framework for Business Process ModelsSven Feja, Sören Witt, Andreas Speck. 186-191 [doi]
- Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate InconsistencyHendrik Decker. 192-197 [doi]
- Quality Requirements Analysis Using Requirements FramesHaruhiko Kaiya, Atsushi Ohnishi. 198-207 [doi]
- Automatic Checking of Quality Best Practices in Software Development DocumentsAndreas Dautovic, Reinhold Plösch, Matthias Saft. 208-217 [doi]
- A Hierarchical Security Assessment Model for Object-Oriented ProgramsBandar Alshammari, Colin J. Fidge, Diane Corney. 218-227 [doi]
- Implementing Service Collaboration Based on Decentralized MediationXiaoqiang Qiao, Jun Wei. 228-235 [doi]
- Program Debugging Using Constraints - Is it Feasible?Franz Wotawa, Mihai Nica. 236-243 [doi]
- Saving Time in a Space-Efficient Simulation AlgorithmJasen Markovski. 244-251 [doi]
- Formal and Model-Based Testing of Concurrent WorkflowsChen-Wei Wang, Alessandra Cavarra, Jim Davies. 252-259 [doi]