QSIC 2011

Keynote Speakers

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

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.
Yunshan Zhao, Li Liu, Zhaohong Yang, Qing Xiao and Yunzhan Gong.
Context-sensitive interprocedural defect detection based on a unified symbolic procedure summary model.
Xiaoquan Wu, Zhongxing Xu and Jun Wei.
Static Detection of Bugs Caused by Incorrect Exception Handling in Java (SHORT PAPER).

Xiang Huang, Wei Wang, Wenbo Zhang, Jun Wei and Tao Huang.
An Automatic Performance Modeling Approach to Capacity Planning for Multi-Service Web Applications.
Antonio García-Domínguez, Inmaculada Medina-Bulo and Mariano Marcos-Bárcena.
Model-Driven Design of Performance Requirements.
Xiaowei Zhang, Donggang Cao and Hong Mei.
Towards Balancing Determinism, Memory Consumption and Throughput for RTSJ-Based Real-Time Applications.
Yutaka Matsuno and Kenji Taguchi.
Parameterised Argument Structure for GSN Patterns (SHORT PAPER).

Ali Kazemi, Ali Rostampour, Amin Zamiri, Pooyan Jamshidi and Fereidoon Shams.
An Information Retrieval Based Approach for Measuring Service Conceptual Cohesion.
A.Selcuk Guceglioglu and Onur Demirors.
The Application of a New Process Quality Measurement Model for Software Process Improvement Initiatives.

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.
Maxim Zhigulin, Stephane Maag, Ana Cavalli and Nina Yevtushenko.
FSM-based test derivation strategies for systems with time-outs.
Stephan Weissleder.
Towards Impact Analysis of Test Goal Prioritization on the Efficient Execution of Automatically Generated Test Suites (SHORT PAPER).

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.
Qin Xiulei, Zhang Wenbo, Wang Wei, Wei Jun and Huang Tao.
A Comparative Evaluation of Cache Strategies for Elastic Caching Platforms.
Xulin Zhao, Foutse Khomh and Ying Zou.
Improving the Modifiability of the Architecture of Business Applications.
Sven Feja, Sören Witt and Andreas Speck.
BAM: A Requirements Validation and Verification Framework for Business Process Models (SHORT PAPER).

Hendrik Decker.
Data Quality Maintenance by Integrity-preserving Repairs that Tolerate Inconsistency.
Haruhiko Kaiya and Atsushi Ohnishi.
Quality Requirements Analysis using Requirements Frames.
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.

Xiaoqiang Qiao and Jun Wei.
Implementing Service Collaboration based on Decentralized Mediation.
Franz Wotawa and Mihai Nica.
Program debugging using constraints – Is it feasible?
Jasen Markovski.
Saving Time in a Space-Efficient Simulation Algorithm.
Chen-Wei Wang and Alessandra Cavarra.
Formal and Model-Based Testing of Concurrent Workflows.