QSIC 2011

11th International Conference
On Quality Software

Madrid, Spain
July 13 - 14, 2011

Accepted papers

Regular Papers

• A.Selcuk Guceglioglu and Onur Demirors.
  The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives
• Gordon Fraser and Andrea Arcuri.
  Evolutionary Generation of Whole Test Suites
• Shaukat Ali, Muhammad Zohaib Z. Iqbal, Andrea Arcuri and Lionel Briand.
  A Search-based OCL Constraint Solver for Model-based Test Data Generation
• Haruhiko Kaiya and Atsushi Ohnishi.
  Quality Requirements Analysis using Requirements Frames
• Xiang Huang, Wei Wang, Wenbo Zhang, Jun Wei and Tao Huang.
  An Automatic Performance Modeling Approach to Capacity Planning for Multi-Service Web Applications
• Stefan Galler, Thomas Quaritsch, Martin Weiglhofer and Franz Wotawa.
  The IntiSa approach: Test Input Data Generation for Non-Primitive Data Types by means of SMT solver based Bounded Model Checking
• Antti Nieminen, Antti Jääskeläinen, Heikki Virtanen and Mika Katara.
  A Comparison of Test Generation Algorithms for Testing Application Interactions
• Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi and Fereidoon Shams.
  An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion
• Maxim Zhigulin, Stephane Maag, Ana Cavalli and Nina Yevtushenko.
  FSM-based test derivation strategies for systems with time-outs
• Hendrik Decker.
  Data Quality Maintenance by Integrity-preserving Repairs that Tolerate Inconsistency
• Antonio García-Domínguez, Inmaculada Medina-Bulo and Mariano Marcos-Bárcena.
  Model-Driven Design of Performance Requirements
• Andreas Dautovic, Reinhold Ploesch and Matthias Saft.
  Automatic Checking of Quality Best Practices in Software Development Documents
• Bandar Alshammari, Colin Fidge and Diane Corney.
  A Hierarchical Security Assessment Model for Object-Oriented Programs
• Xiaowei Zhang, Donggang Cao and Hong Mei.
  Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications
• Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun and Huang Tao.
  A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms
• Xiaoyuan Xie, W. Eric Wong, Tsong Yueh Chen and Baowen Xu.
  Spectrum-Based Fault Localization: Testing Oracles Are No Longer Mandatory
• Aneta Vulgarakis, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber and Darko Huljenic.
  Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator
• Jian Xu, W. K. Chan, Zhenyu Zhang and T. H. Tse.
  A Dynamic Fault Localization Technique with Noise Reduction for Java Programs
• Yunshan Zhao, Li Liu, Zhaohong Yang, Qing Xiao and Yunzhan Gong.
  Context-sensitive interprocedural defect detection based on a unified symbolic procedure summary model
• Xulin Zhao, Foutse Khomh and Ying Zou.
  An Approach for Improving the Modifiability of Software Architecture
• Bo Jiang, W. K. Chan and T. H. Tse.
  On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization  
   
  

Short Papers

• Sven Feja, Sören Witt and Andreas Speck.
  BAM: A Requirements Validation and Verification Framework for Business Process Models  
  
• Stephan Weissleder.
  The Impact of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites Based on State Machines  
  
• Xiaoquan Wu, Zhongxing Xu and Jun Wei.
  Static Detection of Bugs Caused by Incorrect Exception Handling in Java  
  
• Yutaka Matsuno and Kenji Taguchi.
  Parameterised Argument Structure for GSN Patterns