default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. QSIC 2011: Madrid, Spain
- Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo:
Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. IEEE Computer Society 2011
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
