Preface

Organization (PDF)

pp. xiii

Program Committee (PDF)

pp. xiv

Keynote Speakers (PDF)

pp. xv

Paper Session 1 - Automatic Test Case Generation

Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems (Abstract)

Xianghua Deng, Kansas State University

Robby, Kansas State University

John Hatcliff, Kansas State University

pp. 3-12

PDF

Abstracting Symbolic Execution with String Analysis (Abstract)

Daryl Shannon, University of Texas at Austin

Sukant Hajra, University of Texas at Austin

Alison Lee, University of Texas at Austin

Daiqian Zhan, University of Texas at Austin

Sarfraz Khurshid, University of Texas at Austin

pp. 13-22

PDF

Improving Evolutionary Testing in the Presence of Function-Assigned Flags (Abstract)

Stefan Wappler, Technical University of Berlin

Andre Baresel, QVI Tech GmbH, Germany

Joachim Wegener, Berner & Mattner, E.-v.-Kreibig-Str. 3 80807 Munich, Germany

pp. 23-34

PDF

Paper Session 2 - Techniques, Methods and Tools

Testing Techniques - Are they of any Practical Use? (Abstract)

Stephen Allott, ElectroMind Ltd.

pp. 35-39

PDF

Test Methods and Tools for ERP Implementations (Abstract)

Paul Gerrard, Principal, Gerrard Consulting, UK

pp. 40-46

PDF

Paper Session 3 - Model-Based Testing

Early UML Model Testing using TTCN-3 and the UML Testing Profile (Abstract)

Paul Baker, Motorola?s Corporate Software Engineering Tools and Technology Group

Clive Jervis, Motorola?s Corporate Software Engineering Tools and Technology Group

pp. 47-54

PDF

State-based Testing is Functional Testing (Abstract)

Florentin Ipate, University of Pitesti

Raluca Lefticaru, University of Pitesti

pp. 55-66

PDF

Paper Session 4 - PhD Papers

Test Effort Estimation Models Based on Test Specifications (Abstract)

Eduardo Aranha, Federal University of Pernambuco

Paulo Borba, Federal University of Pernambuco

pp. 67-71

PDF

On Test Data Generation of Object-Oriented Software (Abstract)

Andrea Arcuri, University of Birmingham, UK

Xin Yao, University of Birmingham, UK

pp. 72-76

PDF

Automatic Test-Data Generation: An Immunological Approach (Abstract)

Konstantinos Liaskos, University of Strathclyde, Glasgow, UK

Marc Roper, University of Strathclyde, Glasgow, UK

pp. 77-81

PDF

How good are your testers? An assessment of testing ability (Abstract)

Liang Huang, University of Sheffield

Mike Holcombe, University of Sheffield

pp. 82-88

PDF

Paper Session 5 - Fault Localisation and Prediction

On the Accuracy of Spectrum-based Fault Localization (Abstract)

Rui Abreu, Delft University of Technology

Peter Zoeteweij, Delft University of Technology

Arjan J.C. van Gemund, Delft University of Technology

pp. 89-98

PDF

Software Fault Prediction using Language Processing (Abstract)

David Binkley, Loyola College

Henry Feild, Loyola College

Dawn Lawrie, Loyola College

Maurizio Pighin, Universita? degli Studi di Udine

pp. 99-110

PDF

Paper Session 6 - Constraint-Based Testing and Constraint Solving

Modelling Dynamic Memory Management in Constraint-Based Testing (Abstract)

Florence Charreteur, IRISA/Univ. de Rennes 1, France

Bernard Botella, CEA LIST, France

Arnaud Gotlieb, IRISA/INRIA

pp. 111-120

PDF

Exploiting Constraint Solving History to Construct Interaction Test Suites (Abstract)

Myra B. Cohen, University of Nebraska

Matthew B. Dwyer, University of Nebraska

Jiangfan Shi, University of Nebraska

pp. 121-132

PDF

Posters

Opportunities in System testing (PDF)

Arun Bahulkar, Tata Research Development & Design Centre, A division of Tata Consultancy Services

Rahul Kelkar, Tata Research Development & Design Centre, A division of Tata Consultancy Services

pp. 133

Tabular Expression-Based Testing Strategies: A Comparison (PDF)

Xin Feng, University of Limerick, Ireland

David Lorge Parnas, University of Limerick, Ireland

T.H. Tse, University of Limerick, Ireland

pp. 134

A Case for GUI Testing Using Symbolic Execution Poster Abstract (PDF)

Svetoslav Ganov, University of Texas at Austin

Sarfraz Khurshid, University of Texas at Austin

Dewayne Perry, University of Texas at Austin

pp. 135

Testing of Changing Requirement in an Agile Environment - A Case Study of Telecom Project (PDF)

Dipak S Pagrut, Test Lead, Tech Mahindra Limited, Marol, Mumbai (India)

pp. 136

A Case for White-box Testing Using Declarative Specifications Poster Abstract (PDF)

Danhua Shao, University of Texas at Austin, Austin

Sarfraz Khurshid, University of Texas at Austin, Austin

Dewayne E. Perry, University of Texas at Austin, Austin

pp. 137

Lazy Systematic Unit Testing: JWalk versus JUnit (PDF)

Anthony J H Simons, University of Sheffield

Christopher D Thomson, University of Sheffield

pp. 138

Message from the Program Chairs (PDF)

pp. xix

Organization (PDF)

pp. xx

Program Committee (PDF)

pp. xxi

Keynote Speaker (PDF)

pp. xxii

Paper Session 1 - Model-Based Mutation

Mutation Testing from Probabilistic Finite State Machines (Abstract)

Robert M. Hierons, Brunel University

Mercedes G. Merayo, Brunel University

pp. 141-150

PDF

New Mutations for Evaluation of Specification and Implementation Levels of Adequacy in Testing of Statecharts Models (Abstract)

Mark Trakhtenbrot, Holon Institute of Technology, Israel

pp. 151-160

PDF

Mutant Minimization for Model-Checker Based Test-Case Generation (Abstract)

Gordon Fraser, Graz University of Technology

Franz Wotawa, Graz University of Technology

pp. 161-168

PDF

Paper Session 2 - Mutation Analysis Tools

Jumble Java Byte Code to Measure the Effectiveness of Unit Tests (Abstract)

Sean A. Irvine, Reel Two Ltd.

Tin Pavlinic, Reel Two Ltd.

Leonard Trigg, Reel Two Ltd.

John G. Cleary, Reel Two Ltd.

Stuart Inglis, Reel Two Ltd.

Mark Utting, University of Waikato

pp. 169-175

PDF

Mutation analysis for Lustre programs: Fault model description and validation (Abstract)

Lydie du Bousquet, LSR-IMAG (UJF-CNRS)

Michel Delaunay, LSR-IMAG (UJF-CNRS)

pp. 176-184

PDF

The Csaw C Mutation Tool: Initial Results (Abstract)

Michael Ellims, Pi Shurlok/OpenUniversity

Darrel Ince, Open University

Marian Petre, Open University

pp. 185-192

PDF

Paper Session 3 - Experimentation with Mutation

An Empirical Evaluation of the MuJava Mutation Operators (Abstract)

Ben H. Smith, North Carolina State University

Laurie Williams, North Carolina State University

pp. 193-202

PDF

Leveraging a Commercial Mutation Analysis Tool For Research (Abstract)

Mark Hampton, Chief Technology Officer, Certess Inc.

Stephane Petithomme, Manager, Software Development, Certess Inc.

pp. 203-209

PDF

Comparative Assessment of Testing and Model Checking Using Program Mutation (Abstract)

Jeremy S. Bradbury, University of Ontario Institute of Technology

James R. Cordy, Queen?s University

Juergen Dingel, Queen?s University

pp. 210-222

PDF

Paper Session 4 - Mutation for Security Testing

Lightweight State Based Mutation Testing for Security (Abstract)

Songtao Zhang, Queen?s University

Thomas Dean, Queen?s University

Scott Knight, Royal Military College of Canada

pp. 223-232

PDF

Mutation Analysis for Security Tests Qualification (Abstract)

Tejeddine Mouelhi, GET ENST-Bretagne

Yves Le Traon, GET ENST-Bretagne

Benoit Baudry, IRISA- 35042 Rennes

pp. 233-242

PDF

Author Index

Author Index (PDF)

pp. 243