[Front cover]

[Copyright notice] (PDF)

pp. iv

Table of contents (PDF)

pp. v-ix

Technical Program Committee (PDF)

pp. xiii-xiv

Title Page i (PDF)

pp. i

Title Page iii (PDF)

pp. iii

Welcome Message from the General Chair (PDF)

pp. x

Introduction by the Program Chairs (PDF)

pp. xi

Conference Committees (PDF)

pp. xii

Inferring Types of References to GUI Objects in Test Scripts (Abstract)

Chen Fu

Mark Grechanik

Qing Xie

pp. 1-10

PDF

An Initial Characterization of Industrial Graphical User Interface Systems (Abstract)

pp. 11-20

PDF

An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs (Abstract)

pp. 21-30

PDF

Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking (Abstract)

Hendrik Post

Carsten SInz

pp. 31-40

PDF

An Evaluation of Model Checkers for Specification Based Test Case Generation (Abstract)

Gordon Fraser

Angelo Gargantini

pp. 41-50

PDF

Optimizing Generation of Object Graphs in Java PathFinder (Abstract)

pp. 51-60

PDF

Timed Testing under Partial Observability (Abstract)

pp. 61-70

PDF

Passive Testing of Stochastic Timed Systems (Abstract)

pp. 71-80

PDF

Testing Embedded Real Time Systems with TTCN-3 (Abstract)

pp. 81-90

PDF

Optimal Resource Allocation for Batch Testing (Abstract)

pp. 91-100

PDF

A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test Specifications (Abstract)

pp. 101-110

PDF

Quality Assurance of Software Applications Using the In Vivo Testing Approach (Abstract)

Ian Vo

pp. 111-120

PDF

Test Input Generation Using UML Sequence and State Machines Models (Abstract)

Aritra Bandyopadhyay

Sudipto Ghosh

pp. 121-130

PDF

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation (Abstract)

pp. 131-140

PDF

The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring Prediction (Abstract)

pp. 141-150

PDF

Euclide: A Constraint-Based Testing Framework for Critical C Programs (Abstract)

Arnaud Gotlieb

pp. 151-160

PDF

A Model Building Process for Identifying Actionable Static Analysis Alerts (Abstract)

Sarah Heckman

Laurie Williams

pp. 161-170

PDF

Transforming and Selecting Functional Test Cases for Security Policy Testing (Abstract)

pp. 171-180

PDF

Predicting Attack-prone Components (Abstract)

pp. 181-190

PDF

Seasonal Variation in the Vulnerability Discovery Process (Abstract)

HyunChul Joh

Yashwant K. Malaiya

pp. 191-200

PDF

Empirical Observations on Software Testing Automation (Abstract)

pp. 201-209

PDF

Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture Models (Abstract)

Gursimran Singh Walia

Jeffrey C. Carver

pp. 210-219

PDF

Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons Learned (Abstract)

pp. 220-229

PDF

Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM) (Abstract)

pp. 230-239

PDF

Pruning the Search Space in Path-Based Test Generation (Abstract)

Sébastien Bardin

Philippe Herrmann

pp. 240-249

PDF

PKorat: Parallel Generation of Structurally Complex Test Inputs (Abstract)

Junaid Haroon Siddiqui

Sarfraz Khurshid

pp. 250-259

PDF

Practicing Testability in the Real World (Abstract)

Vishal Chowdhary

pp. 260-268

PDF

A Test Based Multidimensional Performance Model for a Mission Critical System Server (Abstract)

Krzysztof Rogoz

Katarzyna Figura

pp. 269-278

PDF

Érika Regina Campos de Almeida

An Alternative Approach to Test Effort Estimation Based on Use Cases (Abstract)

Bruno Teixeira de Abreu

Regina Moraes

pp. 279-288

PDF

A Simple Approach for Estimation of Execution Effort of Functional Test Cases (Abstract)

Daniel Guerreiro e Silva

Bruno Teixeira de Abreu

Mario Jino

pp. 289-298

PDF

Dynamic Regression Test Selection Based on a File Cache—An Industrial Evaluation (Abstract)

Greger Wikstrand

Robert Feldt

Jeevan Kumar Gorantla

Wang Zhe

Conor White

pp. 299-302

PDF

Automatic Test Generation for Coverage Analysis of ERTMS Software (Abstract)

pp. 303-306

PDF

Automated Black Box Testing Tool for a Parallel Programming Library (Abstract)

pp. 307-316

PDF

Test Automation on a SaaS Platform (Abstract)

Reena Mathew

Ryan Spraetz

pp. 317-325

PDF

WS-TAXI: A WSDL-based Testing Tool for Web Services (Abstract)

pp. 326-335

PDF

Clustering and Tailoring User Session Data for Testing Web Applications (Abstract)

pp. 336-345

PDF

Penetration Testing with Improved Input Vector Identification (Abstract)

William G.J. Halfond

Shauvik Roy Choudhary

Alessandro Orso

pp. 346-355

PDF

Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection (Abstract)

Garrett Kent Kaminski

Paul Ammann

pp. 356-365

PDF

A Simple Coverage-Based Locator for Multiple Faults (Abstract)

Friedrich Steimann

Mario Bertschler

pp. 366-375

PDF

A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ (Abstract)

pp. 376-385

PDF

Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing (Abstract)

Garrett Kent Kaminski

Paul Ammann

pp. 386-395

PDF

Mutation Testing for Java Database Applications (Abstract)

Chixiang Zhou

Phyllis Frankl

pp. 396-405

PDF

Unit Testing Non-functional Concerns of Component-based Distributed Systems (Abstract)

pp. 406-415

PDF

On the Effectiveness of Test Extraction without Overhead (Abstract)

pp. 416-425

PDF

Assertion-Based Validation of Modified Programs (Abstract)

Bogdan Korel

Qi Zhang

Li Tao

pp. 426-435

PDF

Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test Oracles (Abstract)

pp. 436-445

PDF

Optimizing Probabilities of Real-Time Test Case Execution (Abstract)

pp. 446-455

PDF

Author Index (PDF)

pp. 456-457

Publisher Information (PDF)

pp. 458