11. QSIC 2011: Madrid, Spain

Paper Session 1: Fault Localisation

• Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen, Baowen Xu:
  Spectrum-Based Fault Localization: Testing Oracles are No Longer Mandatory. 1-10
  
• Jian Xu, W. K. Chan, Zhenyu Zhang, T. H. Tse, Shanping Li:
  A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. 11-20
  
• Bo Jiang, W. K. Chan, T. H. Tse:
  On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. 21-30
  

Paper Session 2A: Testing and Defect Detection

• Gordon Fraser, Andrea Arcuri:
  Evolutionary Generation of Whole Test Suites. 31-40
  
• Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
  A Search-Based OCL Constraint Solver for Model-Based Test Data Generation. 41-50
  
• Yunshan Zhao, Yunzhan Gong, Li Liu, Qing Xiao, Zhaohong Yang:
  Context-Sensitive Interprocedural Defect Detection Based on a Unified Symbolic Procedure Summary Model. 51-60
  
• Xiaoquan Wu, Zhongxing Xu, Jun Wei:
  Static Detection of Bugs Caused by Incorrect Exception Handling in Java Programs. 61-66
  

Paper Session 2B: Performance, Real-Time and Safety

• Xiang Huang, Wei Wang, Wenbo Zhang, Jun Wei, Tao Huang:
  An Automatic Performance Modeling Approach to Capacity Planning for Multi-service Web Applications. 67-75
  
• Antonio García-Domínguez, Inmaculada Medina-Bulo, Mariano Marcos-Bárcena:
  Model-Driven Design of Performance Requirements. 76-85
  
• Xiaowei Zhang, Donggang Cao, Hong Mei, Fuqing Yang:
  Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications. 86-95
  
• Yutaka Matsuno, Kenji Taguchi:
  Parameterised Argument Structure for GSN Patterns. 96-101
  

Paper Session 3: Measurement

• Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi, Hassan Haghighi, Fereidoon Shams:
  An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion. 102-111
  
• A. Selçuk Güceglioglu, Onur Demirörs:
  The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives. 112-120
  

Paper Session 4A: Model Based Testing

• Stefan J. Galler, Thomas Quaritsch, Martin Weiglhofer, Franz Wotawa:
  The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking. 121-130
  
• Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen, Mika Katara:
  A Comparison of Test Generation Algorithms for Testing Application Interactions. 131-140
  
• Maxim Zhigulin, Nina Yevtushenko, Stéphane Maag, Ana R. Cavalli:
  FSM-Based Test Derivation Strategies for Systems with Time-Outs. 141-149
  
• Stephan Weißleder:
  Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines. 150-155
  

Paper Session 4B: Validation, Evaluation, and Transformation

• Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic:
  Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. 156-165
  
• Xiulei Qin, Wenbo Zhang, Wei Wang, Jun Wei, Hua Zhong, Tao Huang:
  A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms. 166-175
  
• Xulin Zhao, Foutse Khomh, Ying Zou:
  Improving the Modifiability of the Architecture of Business Applications. 176-185
  
• Sven Feja, Sören Witt, Andreas Speck:
  BAM: A Requirements Validation and Verification Framework for Business Process Models. 186-191
  

Paper Session 5A: Quality and Security

• Hendrik Decker:
  Data Quality Maintenance by Integrity-Preserving Repairs that Tolerate Inconsistency. 192-197
  
• Haruhiko Kaiya, Atsushi Ohnishi:
  Quality Requirements Analysis Using Requirements Frames. 198-207
  
• Andreas Dautovic, Reinhold Plösch, Matthias Saft:
  Automatic Checking of Quality Best Practices in Software Development Documents. 208-217
  
• Bandar Alshammari, Colin J. Fidge, Diane Corney:
  A Hierarchical Security Assessment Model for Object-Oriented Programs. 218-227
  

Paper Session 5B: Workshop WS-FMDS

• Xiaoqiang Qiao, Jun Wei:
  Implementing Service Collaboration Based on Decentralized Mediation. 228-235
  
• Franz Wotawa, Mihai Nica:
  Program Debugging Using Constraints - Is it Feasible? 236-243
  
• Jasen Markovski:
  Saving Time in a Space-Efficient Simulation Algorithm. 244-251
  
• Chen-Wei Wang, Alessandra Cavarra, Jim Davies:
  Formal and Model-Based Testing of Concurrent Workflows. 252-259
  

Last update Fri May 25 08:33:48 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page