Abstract is missing.
- Leveraging Method Call Anomalies to Improve the Effectiveness of Spectrum-Based Fault Localization Techniques for Object-Oriented ProgramsJingxuan Tu, Lin Chen, Yuming Zhou, Jianjun Zhao, Baowen Xu. 1-8 [doi]
- Fault Localization for Null Pointer Exception Based on Stack Trace and Program SlicingShujuan Jiang, Wei Li, Haiyang Li, Yanmei Zhang, Hongchang Zhang, Yingqi Liu. 9-12 [doi]
- Compressed C4.5 Models for Software Defect PredictionJun Wang, Beijun Shen, Yuting Chen. 13-16 [doi]
- Toward Effectively Locating Integration-Level Faults in BPEL ProgramsChang-ai Sun, Yimeng Zhai, Yan Shang, Zhenyu Zhang. 17-20 [doi]
- Efficient Refinement Checking for Model-Based Mutation TestingBernhard K. Aichernig, Elisabeth Jöbstl. 21-30 [doi]
- Function Substitution: Towards Constraint Solving in Software TestingXin Feng, Simon Marr, Tony O'Callaghan, Zhi Quan Zhou, Jacques Carette. 31-40 [doi]
- Reducing the Size of Dynamic Slicing with Constraint SolvingBirgit Hofer, Franz Wotawa. 41-48 [doi]
- An IOSTS Based Passive Testing Approach for the Validation of Data-Centric ProtocolsPramila Mouttappa, Stéphane Maag, Ana R. Cavalli. 49-58 [doi]
- A New Method for Constructing Metamorphic RelationsHuai Liu, Xuan Liu, Tsong Yueh Chen. 59-68 [doi]
- Passive Testing of Timed Systems with TimeoutsMercedes G. Merayo. 69-78 [doi]
- Automated Discovery of Valid Test Strings from the Web Using Dynamic Regular Expressions Collation and Natural Language ProcessingMuzammil Shahbaz, Phil McMinn, Mark Stevenson. 79-88 [doi]
- 3-Way GUI Test Cases Generation Based on Event-Wise PartitioningJing Feng, Bei-Bei Yin, Kai-Yuan Cai, Zhongxing Yu. 89-97 [doi]
- Generating Test Data for Structural Testing Based on Ant Colony OptimizationChengying Mao, Xinxin Yu, Jifu Chen, Jinfu Chen. 98-101 [doi]
- Improved Delta Debugging Based on Combinatorial TestingJie Li, Changhai Nie, Yu Lei. 102-105 [doi]
- Reliability Prediction for Component-Based Systems: Incorporating Error Propagation Analysis and Different Execution ModelsThanh-Trung Pham, Xavier Défago. 106-115 [doi]
- On Reliability Analysis for Embedded Systems with AADL Behavior ModelChang Shaofeng, Dong Yunwei, Zhang Fan. 116-119 [doi]
- Emerald: An Automated Modeling and Verification Tool for Component-Based Real-Time SystemsYizhou Zhang, Hao Lin, Guoqiang Li 0001. 120-123 [doi]
- Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE ApproachEun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens. 124-127 [doi]
- A Unified Modeling and Verifying Framework for Cyber Physical SystemsXiaoxiang Zhai, Qiaoqiao Chen, Shunhui Ji, Bixin Li. 128-131 [doi]
- An Approach to Integrating Non-functional Requirements into UML Design Models Based on NFR-Specific PatternsYi Liu, Zhiyi Ma, Rui Qiu, Hongjie Chen, Weizhong Shao. 132-135 [doi]
- A Security Assurance Framework Combining Formal Verification and Security Functional TestingWeiguang Wang, Qingkai Zeng, Aditya P. Mathur. 136-139 [doi]
- Towards Risk - Driven Security Testing of Service Centric SystemsPhilipp Zech, Michael Felderer, Ruth Breu. 140-143 [doi]
- Redefinition of Fault Classes in Logic ExpressionsTanay Kanti Paul, Man Fai Lau. 144-153 [doi]
- A Mobile Software Quality ModelDominik Franke, Stefan Kowalewski, Carsten Weise. 154-157 [doi]
- Preferential Refinements of Abstract State Machines for Service MediatorsKlaus-Dieter Schewe, Qing Wang. 158-166 [doi]
- Qualitative Analysis of the Impact of SOA Patterns on Quality AttributesMatthias Galster, Paris Avgeriou. 167-170 [doi]
- Scenario-Oriented Testing for Web Service Compositions Using BPELChang-ai Sun, Yan Shang, Yan Zhao, Tsong Yueh Chen. 171-174 [doi]
- Direct Verification of BPMN Processes through an Optimized Unfolding TechniqueDamiano Falcioni, Andrea Polini, Alberto Polzonetti, Barbara Re. 179-188 [doi]
- Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product DataRüdiger Berndt, Peter Bazan, Kai-Steffen Jens Hielscher, Reinhard German, Martin Lukasiewycz. 189-192 [doi]
- Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating ProgramsLongming Dong, Ji Wang, Liqian Chen. 197-200 [doi]
- Emulation of Cloud-Scale Environments for Scalability TestingSteven Versteeg, Cameron M. Hine, Jean-Guy Schneider, Jun Han. 201-209 [doi]
- Developing a Feedback-Driven Automated Testing Tool for Web ApplicationsScott McMaster, Xun Yuan. 210-213 [doi]
- Applying Continuous Code Reviews in Airport Operations SoftwareMario Bernhart, Stefan Strobl, Andreas Mauczka, Thomas Grechenig. 214-219 [doi]
- MPT.BR: A Brazilian Maturity Model for TestingAna Paula Carvalho Cavalcanti Furtado, Marcos André Wanderley Gomes, Ermeson Carneiro Andrade, Ivaldir Honório de Farias Junior. 220-229 [doi]
- A Methodological Framework for Evaluating Software Testing Techniques and ToolsTanja E. J. Vos, Beatriz Marín, María José Escalona, Alessandro Marchetto. 230-239 [doi]
- JSCloud: Toward Remote Execution of JavaScript Code on Handheld DevicesWinson Y. S. Li, Shangru Wu, Wing Kwong Chan, T. H. Tse. 240-245 [doi]
- A Cyber-physical Energy System Architecture for Electric Vehicles Charging ApplicationYongqi Ge, Yunwei Dong, Hong-bing Zhao. 246-250 [doi]
- Design and Implementation of AADL Model Safety Assessment ToolHong-bing Zhao, Deming Song, Yunwei Dong. 251-257 [doi]
- An Integrated Development Environment to Support the Multi-core Embedded Systems DevelopmentChih-Hung Chang, Chih-Wei Lu, William C. Chu, Pao-Ann Hsiung, Nien-Lin Hsueh, Chorng-Shiuh Koong, Chao-Tung Yang. 258-264 [doi]
- A Component-Based Authoring Tool and Script Language for MPEG-4Chorng-Shiuh Koong, Bo-Huan Lee, Yu-Hsiang Wang, Chih-Hung Chang, William C. Chu. 265-269 [doi]
- A Program Transformation Framework for Multicore Software ReengineeringFeng Chen, Hongji Yang, William Cheng-Chung Chu, Baowen Xu. 270-275 [doi]
- Fingertips Detection Algorithm Based on Skin Colour Filtering and Distance TransformationYun Liao, Yuxiang Zhou, Hua Zhou, Zhihong Liang. 276-281 [doi]
- Strategic Management of Technical Debt: Tutorial SynopsisPhilippe Kruchten. 282-284 [doi]
- Metamorphic Testing: Applications and Integration with Other Methods: Tutorial SynopsisTsong Yueh Chen, Fei-Ching Kuo, Dave Towey, Zhiquan Zhou. 285-288 [doi]
- Structural Testing with PathCrawler: Tutorial SynopsisNicky Williams, Nikolai Kosmatov. 289-292 [doi]