Abstract is missing.
- Novel Applications of Machine Learning in Software TestingLionel C. Briand. 3-10 [doi]
- Testing in the Distributed Test Architecture: An Extended AbstractRobert M. Hierons. 11-14 [doi]
- A Coalgebraic Semantic Framework for Reasoning about UML Sequence DiagramsSun Meng, Luís Soares Barbosa. 17-26 [doi]
- On the Composition of Design PatternsIan Bayley, Hong Zhu. 27-36 [doi]
- An Executable Interface Specification for Industrial Embedded System DesignJinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans. 37-44 [doi]
- Model Transformation Specification and VerificationKevin Lano, David Clark. 45-54 [doi]
- Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of ExperimentsHyejin Oh, Byoungju Choi, Hyuksoo Han, W. Eric Wong. 57-66 [doi]
- Bridging the Concept to Implementation Gap in Software System TestingHarry M. Sneed. 67-73 [doi]
- MUSIC: Mutation-based SQL Injection Vulnerability CheckingHossain Shahriar, Mohammad Zulkernine. 77-86 [doi]
- An Approach for Generation of J2EE Access Control Configurations from Requirements SpecificationLianshan Sun, Gang Huang, Yanchun Sun, Hui Song, Hong Mei. 87-96 [doi]
- Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenrong Yang, Mourad Debbabi. 97-102 [doi]
- Integrating Top-Down and Scenario-Based Methods for Constructing Software SpecificationsShaoying Liu. 105-113 [doi]
- Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper)Xutao Du, Chunxiao Xing, Lizhu Zhou. 114-119 [doi]
- SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper)Liang Xu. 120-125 [doi]
- Verifying Business Process Compatibility (Short Paper)Peter Y. H. Wong, Jeremy Gibbons. 126-131 [doi]
- Using Machine Learning to Refine Black-Box Test Specifications and Test SuitesLionel C. Briand, Yvan Labiche, Zaheer Bawar. 135-144 [doi]
- Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing?Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, W. Eric Wong. 145-154 [doi]
- Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test SuiteZiyuan Wang, Baowen Xu, Changhai Nie. 155-160 [doi]
- An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper)Andrew Cain, Tsong Yueh Chen, D. D. Grant, Fei-Ching Kuo, Jean-Guy Schneider. 163-168 [doi]
- An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper)Na Meng, Qianxiang Wang, Qian Wu, Hong Mei. 169-174 [doi]
- Performance Analysis of a Composition of Middleware Patterns (Short Paper)Paul J. Vandal, Swapna S. Gokhale. 175-180 [doi]
- Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper)Zhen Ming Jiang, Ahmed E. Hassan, Parminder Flora, Gilbert Hamann. 181-186 [doi]
- Reachability and Propagation for LTL Requirements TestingGordon Fraser, Paul Ammann. 189-198 [doi]
- Coverage Based Testing with Test PurposesGordon Fraser, Martin Weiglhofer, Franz Wotawa. 199-208 [doi]
- A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper)Abdeslam En-Nouaary, Abdelwahab Hamou-Lhadj. 209-215 [doi]
- Utilizing Formalization to Test Programs without Available Source Code (Short Paper)Shaoying Liu. 216-221 [doi]
- Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code OntologyHong Zhou, Feng Chen, Hongji Yang. 225-234 [doi]
- Model-Based Quality Assurance of the SMB2 Protocol DocumentationWolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden, Danpo Zhang. 235-240 [doi]
- On the Relationship between Software Aging and Related Parameters (Short Paper)Yun-Fei Jia, Xiu-E Chen, Lei Zhao, Kai-Yuan Cai. 241-246 [doi]
- Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper)Wei Huang, Ru Li, Carsten Maple, Hongji Yang, David Foskett, Vince Cleaver. 247-252 [doi]
- Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring TestsTrung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler. 255-263 [doi]
- On Partitioning the Domain for Test Case Reusability (Short Paper)Yunwei Dong, M. F. Lau, Si-yu Lin. 264-269 [doi]
- An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper)Xiaofang Zhang, Baowen Xu, Zhenyu Chen, Changhai Nie, Leifang Li. 270-275 [doi]
- Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper)Antti Jääskeläinen, Antti Kervinen, Mika Katara. 276-282 [doi]
- Steering the inspection process with prescriptive metrics and process patternsLasse Harjumaa, Ilkka Tervonen, Sirpa Salmela. 285-293 [doi]
- Towards an Assessment Method for Software Reuse Capability (Short Paper)Vinicius Cardoso Garcia, Liana Barachisio Lisboa, Silvio Romero de Lemos Meira, Eduardo Santana de Almeida, Daniel Lucrédio, Renata Pontin de Mattos Fortes. 294-299 [doi]
- How to Measure Quality of Software Developed by Subcontractors (Short Paper)Yoshihiro Iwami. 300-304 [doi]
- Towards a Method for Evaluating the Precision of Software Measures (Short Paper)Beatriz Marín, Nelly Condori-Fernández, Oscar Pastor. 305-310 [doi]
- History Heuristic Based Negotiation of Service Level Agreements for Composite ServiceShiyang Ye, Jun Wei. 313-320 [doi]
- Web Service Test Case Generation Based on Decision Table (Short Paper)Siripol Noikajana, Taratip Suwannasart. 321-326 [doi]
- A Method for Measuring the Size of a Component-Based System SpecificationThareendhra Wijayasiriwardhane, Richard Lai. 329-337 [doi]
- Importance Measures for a Modular Software System (Short Paper)Lance Fiondella, Swapna S. Gokhale. 338-343 [doi]
- Architecture Compliance Checking at Runtime: An Industry Experience ReportDharmalingam Ganesan, Thorsten Keuler, Yutaro Nishimura. 347-356 [doi]
- Selecting a High-Quality Central Model for Sharing Architectural KnowledgePeng Liang, Anton Jansen, Paris Avgeriou. 357-365 [doi]
- Visual Software Architecture Description Based on Design SpaceQian Zhang. 366-375 [doi]
- Mapping Software Architecture Specification to Rewriting Logic (Short Paper)Yujian Fu, Zhijiang Dong, Junhua Ding, Xudong He. 376-381 [doi]
- Fault Localization with Non-parametric Program Behavior ModelPeifeng Hu, Zhenyu Zhang, Wing Kwon Chan, T. H. Tse. 385-395 [doi]
- Linux Bugs: Life Cycle and Resolution AnalysisMohamed F. Ahmed, Swapna S. Gokhale. 396-401 [doi]
- On Failure Propagation in Component-Based Software SystemsAtef Mohamed, Mohammad Zulkernine. 402-411 [doi]
- Path and Context Sensitive Inter-procedural Memory Leak DetectionZhongxing Xu, Jian Zhang. 412-420 [doi]
- An Agent-Based Middleware for Adaptive SystemsNauman A. Qureshi, Anna Perini. 423-428 [doi]
- Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using GalileoJosh Dehlinger, Joanne Bechta Dugan. 429-434 [doi]
- A UML Heavyweight Extension for MAS ModelingManar Al-Kady, Reem Bahgat, Aly Fahmy. 435-440 [doi]
- Adaptive Random TestingT. Y. Chen. 443 [doi]
- Architecture-Based Assessment of Software ReliabilitySwapna S. Gokhale, Veena B. Mendiratta. 444 [doi]