[Roster]

[Front cover] (PDF)

pp. C1

Conference organization (PDF)

pp. xii-xiv

Table of contents (PDF)

pp. v-ix

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Title Page iv - Copyright Page (PDF)

pp. iv

Message from the General Chair (PDF)

pp. x

Message from the Program Chair (PDF)

pp. xi

Novel Applications of Machine Learning in Software Testing (Abstract)

Lionel C. Briand

pp. 3-10

PDF

Testing in the Distributed Test Architecture: An Extended Abstract (Abstract)

Robert M. Hierons

pp. 11-14

PDF

A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams (Abstract)

Sun Meng

Lu?s S. Barbosa

pp. 17-26

PDF

On the Composition of Design Patterns (Abstract)

Ian Bayley

Hong Zhu

pp. 27-36

PDF

An Executable Interface Specification for Industrial Embedded System Design (Abstract)

pp. 37-44

PDF

Model Transformation Specification and Verification (Abstract)

Kevin Lano

David Clark

pp. 45-54

PDF

Optimizing Test Process Action Plans by Blending Testing Maturity Model and Design of Experiments (Abstract)

pp. 57-66

PDF

Bridging the Concept to Implementation Gap in Software System Testing (Abstract)

Harry M. Sneed

pp. 67-73

PDF

MUSIC: Mutation-based SQL Injection Vulnerability Checking (Abstract)

Hossain Shahriar

Mohammad Zulkernine

pp. 77-86

PDF

An Approach for Generation of J2EE Access Control Configurations from Requirements Specification (Abstract)

pp. 87-96

PDF

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper) (Abstract)

pp. 97-102

PDF

Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications (Abstract)

Shaoying Liu

pp. 105-113

PDF

Path-Sensitive Reachability Analysis of Web Service Interfaces (Short Paper) (Abstract)

pp. 114-119

PDF

SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper) (Abstract)

Liang Xu

pp. 120-125

PDF

Verifying Business Process Compatibility (Short Paper) (Abstract)

Peter Y. H. Wong

Jeremy Gibbons

pp. 126-131

PDF

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites (Abstract)

pp. 135-144

PDF

Does Adaptive Random Testing Deliver a Higher Confidence than Random Testing? (Abstract)

pp. 145-154

PDF

Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite (Abstract)

pp. 155-160

PDF

An Object Oriented Approach towards Dynamic Data Flow Analysis (Short Paper) (Abstract)

A. Cain

pp. 163-168

PDF

An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper) (Abstract)

Na Meng

Qianxiang Wang

Qian Wu

Hong Mei

pp. 169-174

PDF

Performance Analysis of a Composition of Middleware Patterns (Short Paper) (Abstract)

Paul J. Vandal

Swapna S. Gokhale

pp. 175-180

PDF

Abstracting Execution Logs to Execution Events for Enterprise Applications (Short Paper) (Abstract)

pp. 181-186

PDF

Reachability and Propagation for LTL Requirements Testing (Abstract)

Gordon Fraser

Paul Ammann

pp. 189-198

PDF

Coverage Based Testing with Test Purposes (Abstract)

pp. 199-208

PDF

A Boundary Checking Technique for Testing Real-Time Systems Modeled as Timed Input Output Automata (Short Paper) (Abstract)

Abdeslam En-Nouaary

Abdelwahab Hamou-Lhadj

pp. 209-215

PDF

Utilizing Formalization to Test Programs without Available Source Code (Short Paper) (Abstract)

Shaoying Liu

pp. 216-221

PDF

Developing Application Specific Ontology for Program Comprehension by Combining Domain Ontology with Code Ontology (Abstract)

pp. 225-234

PDF

Model-Based Quality Assurance of the SMB2 Protocol Documentation (Abstract)

pp. 235-240

PDF

On the Relationship between Software Aging and Related Parameters (Short Paper) (Abstract)

pp. 241-246

PDF

Web Application Development Lifecycle for Small Medium-Sized Enterprises (SMEs) (Short Paper) (Abstract)

Ru Li

pp. 247-252

PDF

Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests (Abstract)

pp. 255-263

PDF

On Partitioning the Domain for Test Case Reusability (Short Paper) (Abstract)

pp. 264-269

PDF

An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper) (Abstract)

pp. 270-275

PDF

Creating a Test Model Library for GUI Testing of Smartphone Applications (Short Paper) (Abstract)

pp. 276-282

PDF

Steering the inspection process with prescriptive metrics and process patterns (Abstract)

pp. 285-293

PDF

Eduardo Santana de Almeida

Towards an Assessment Method for Software Reuse Capability (Short Paper) (Abstract)

Vinicius Cardoso Garcia

Liana Barachisio Lisboa

Silvio Romero de Lemos Meira

Eduardo Santa de Almeida

Daniel Lucr?dio

Renata Pontin de Mattos Fortes

pp. 294-299

PDF

How to Measure Quality of Software Developed by Subcontractors (Short Paper) (Abstract)

Yoshihiro Iwami

pp. 300-304

PDF

Towards a Method for Evaluating the Precision of Software Measures (Short Paper) (Abstract)

Beatriz Mar?

Nelly Condori-Fern?ndez

Oscar Pastor

pp. 305-310

PDF

History Heuristic Based Negotiation of Service Level Agreements for Composite Service (Abstract)

Shiyang Ye

Jun Wei

pp. 313-320

PDF

Web Service Test Case Generation Based on Decision Table (Short Paper) (Abstract)

Siripol Noikajana

Taratip Suwannasart

pp. 321-326

PDF

Thareendhra Wijayasiriwardhane

A Method for Measuring the Size of a Component-Based System Specification (Abstract)

Richard Lai

pp. 329-337

PDF

Importance Measures for a Modular Software System (Short Paper) (Abstract)

Lance Fiondella

Swapna S. Gokhale

pp. 338-343

PDF

Architecture Compliance Checking at Runtime: An Industry Experience Report (Abstract)

pp. 347-356

PDF

Selecting a High-Quality Central Model for Sharing Architectural Knowledge (Abstract)

pp. 357-365

PDF

Visual Software Architecture Description Based on Design Space (Abstract)

Qian Zhang

pp. 366-375

PDF

Mapping Software Architecture Specification to Rewriting Logic (Short Paper) (Abstract)

pp. 376-381

PDF

Fault Localization with Non-parametric Program Behavior Model (Abstract)

pp. 385-395

PDF

Linux Bugs: Life Cycle and Resolution Analysis (Abstract)

Mohamed F. Ahmed

Swapna Gokhale

pp. 396-401

PDF

On Failure Propagation in Component-Based Software Systems (Abstract)

Atef Mohamed

Mohammad Zulkernine

pp. 402-411

PDF

Path and Context Sensitive Inter-procedural Memory Leak Detection (Abstract)

Zhongxing Xu

Jian Zhang

pp. 412-420

PDF

An Agent-Based Middleware for Adaptive Systems (Abstract)

Nauman A. Qureshi

Anna Perini

pp. 423-428

PDF

Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo (Abstract)

Josh Dehlinger

Joanne Bechta Dugan

pp. 429-434

PDF

A UML Heavyweight Extension for MAS Modeling (Abstract)

pp. 435-440

PDF

Adaptive Random Testing (Abstract)

T. Y. Chen

pp. 443

PDF

Architecture-Based Assessment of Software Reliability (Abstract)

Swapna S. Gokhale

Veena B. Mendiratta

pp. 444

PDF

Author Index (PDF)

pp. 445-446