default search action
12. QSIC 2012: Xi'an, Shaanxi, China
- Antony Tang, Henry Muccini:
2012 12th International Conference on Quality Software, Xi'an, Shaanxi, China, August 27-29, 2012. IEEE 2012, ISBN 978-1-4673-2857-9
Research Track
Fault Localization and Prediction
- Jingxuan Tu, Lin Chen, Yuming Zhou, Jianjun Zhao, Baowen Xu
:
Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented Programs. 1-8 - Shujuan Jiang, Wei Li, Haiyang Li, Yanmei Zhang, Hongchang Zhang, Yingqi Liu:
Fault Localization for Null Pointer Exception Based on Stack Trace and Program Slicing. 9-12 - Jun Wang, Beijun Shen, Yuting Chen:
Compressed C4.5 Models for Software Defect Prediction. 13-16 - Chang-Ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang:
Toward Effectively Locating Integration-Level Faults in BPEL Programs. 17-20
Constraint-Based Testing and Analysis
- Bernhard K. Aichernig
Efficient Refinement Checking for Model-Based Mutation Testing. 21-30 - Xin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou
Function Substitution: Towards Constraint Solving in Software Testing. 31-40 - Birgit Hofer
Reducing the Size of Dynamic Slicing with Constraint Solving. 41-48
Passive and Metamorphic Testing
- Pramila Mouttappa, Stéphane Maag, Ana R. Cavalli
An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols. 49-58 - Huai Liu
A New Method for Constructing Metamorphic Relations. 59-68 - Mercedes G. Merayo:
Passive Testing of Timed Systems with Timeouts. 69-78
Software Testing
- Muzammil Shahbaz, Phil McMinn, Mark Stevenson:
Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language Processing. 79-88 - Jing Feng, Bei-Bei Yin, Kai-Yuan Cai, Zhongxing Yu:
3-Way GUI Test Cases Generation Based on Event-Wise Partitioning. 89-97 - Chengying Mao
Generating Test Data for Structural Testing Based on Ant Colony Optimization. 98-101 - Jie Li, Changhai Nie, Yu Lei:
Improved Delta Debugging Based on Combinatorial Testing. 102-105
Reliability Prediction and Analysis of Component-Based Systems and Architectures
- Thanh-Trung Pham, Xavier Défago
Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution Models. 106-115 - Shaofeng Chang, Yunwei Dong, Fan Zhang:
On Reliability Analysis for Embedded Systems with AADL Behavior Model. 116-119 - Yizhou Zhang, Hao Lin, Guoqiang Li:
Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time Systems. 120-123
Model-Based Specification and Analysis
- Eun-Young Kang
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. 124-127 - Xiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li:
A Unified Modeling and Verifying Framework for Cyber Physical Systems. 128-131 - Yi Liu, Zhiyi Ma, Rui Qiu, Hongjie Chen, Weizhong Shao:
An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific Patterns. 132-135
Security Testing and Quality Models
- Weiguang Wang, Qingkai Zeng, Aditya P. Mathur:
A Security Assurance Framework Combining Formal Verification and Security Functional Testing. 136-139 - Philipp Zech
Towards Risk - Driven Security Testing of Service Centric Systems. 140-143 - Tanay Kanti Paul, Man Fai Lau:
Redefinition of Fault Classes in Logic Expressions. 144-153 - Dominik Franke, Stefan Kowalewski, Carsten Weise:
A Mobile Software Quality Model. 154-157
Quality of Service-Oriented Applications
- Klaus-Dieter Schewe, Qing Wang
Preferential Refinements of Abstract State Machines for Service Mediators. 158-166 - Matthias Galster, Paris Avgeriou
Qualitative Analysis of the Impact of SOA Patterns on Quality Attributes. 167-170 - Chang-Ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen
Scenario-Oriented Testing for Web Service Compositions Using BPEL. 171-174
Software Verification and Analysis
- Damiano Falcioni, Andrea Polini
Direct Verification of BPMN Processes through an Optimized Unfolding Technique. 179-188 - Rüdiger Berndt, Peter Bazan, Kai-Steffen Hielscher
Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data. 189-192 - Longming Dong, Ji Wang, Liqian Chen:
Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs. 197-200
Software Quality in Practice Industry Track
- Steven Versteeg, Cameron M. Hine, Jean-Guy Schneider
Emulation of Cloud-Scale Environments for Scalability Testing. 201-209 - Scott McMaster, Xun Yuan:
Developing a Feedback-Driven Automated Testing Tool for Web Applications. 210-213 - Mario Bernhart, Stefan Strobl, Andreas Mauczka, Thomas Grechenig:
Applying Continuous Code Reviews in Airport Operations Software. 214-219 - Ana Paula Carvalho Cavalcanti Furtado, Marcos André Wanderley Gomes, Ermeson Carneiro de Andrade
MPT.BR: A Brazilian Maturity Model for Testing. 220-229 - Tanja E. J. Vos, Beatriz Marín, María José Escalona
A Methodological Framework for Evaluating Software Testing Techniques and Tools. 230-239
International Workshop on Embedded System Software Development and Quality Assurance (WESQA)
- Winson Y. S. Li, Shangru Wu, Wing Kwong Chan
JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices. 240-245 - Yongqi Ge
A Cyber-physical Energy System Architecture for Electric Vehicles Charging Application. 246-250 - Hong-bing Zhao, Deming Song, Yunwei Dong:
Design and Implementation of AADL Model Safety Assessment Tool. 251-257 - Chih-Hung Chang
An Integrated Development Environment to Support the Multi-core Embedded Systems Development. 258-264 - Chorng-Shiuh Koong, Bo-Huan Lee, Yu-Hsiang Wang, Chih-Hung Chang
A Component-Based Authoring Tool and Script Language for MPEG-4. 265-269 - Feng Chen, Hongji Yang, William Cheng-Chung Chu, Baowen Xu
A Program Transformation Framework for Multicore Software Reengineering. 270-275 - Yun Liao, Yuxiang Zhou, Hua Zhou, Zhihong Liang:
Fingertips Detection Algorithm Based on Skin Colour Filtering and Distance Transformation. 276-281
Tutorial Synopses
- Philippe Kruchten
Strategic Management of Technical Debt: Tutorial Synopsis. 282-284 - Tsong Yueh Chen
Metamorphic Testing: Applications and Integration with Other Methods: Tutorial Synopsis. 285-288 - Nicky Williams, Nikolai Kosmatov:
Structural Testing with PathCrawler: Tutorial Synopsis. 289-292
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-12-01 00:00 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: