The Community for Technology Leaders
Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (2007)
Cumberland Lodge, Windsor, United Kingdom
Sept. 10, 2007 to Sept. 14, 2007
ISBN: 0-7695-2984-4
TABLE OF CONTENTS
Introduction

Preface (PDF)

pp. ix

Organization (PDF)

pp. xiii
Paper Session 1 - Automatic Test Case Generation

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

John Hatcliff , Kansas State University
Robby , Kansas State University
Xianghua Deng , Kansas State University
pp. 3-12

Abstracting Symbolic Execution with String Analysis (Abstract)

Sukant Hajra , University of Texas at Austin
Alison Lee , University of Texas at Austin
Daryl Shannon , University of Texas at Austin
Daiqian Zhan , University of Texas at Austin
Sarfraz Khurshid , University of Texas at Austin
pp. 13-22

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

Joachim Wegener , Berner & Mattner, E.-v.-Kreibig-Str. 3 80807 Munich, Germany
Andre Baresel , QVI Tech GmbH, Germany
Stefan Wappler , Technical University of Berlin
pp. 23-34
Paper Session 2 - Techniques, Methods and Tools

Test Methods and Tools for ERP Implementations (Abstract)

Paul Gerrard , Principal, Gerrard Consulting, UK
pp. 40-46
Paper Session 3 - Model-Based Testing

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

Clive Jervis , Motorola?s Corporate Software Engineering Tools and Technology Group
Paul Baker , Motorola?s Corporate Software Engineering Tools and Technology Group
pp. 47-54

State-based Testing is Functional Testing (Abstract)

Raluca Lefticaru , University of Pitesti
Florentin Ipate , University of Pitesti
pp. 55-66
Paper Session 4 - PhD Papers

Test Effort Estimation Models Based on Test Specifications (Abstract)

Paulo Borba , Federal University of Pernambuco
Eduardo Aranha , Federal University of Pernambuco
pp. 67-71

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

Andrea Arcuri , University of Birmingham, UK
Xin Yao , University of Birmingham, UK
pp. 72-76

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

Marc Roper , University of Strathclyde, Glasgow, UK
Konstantinos Liaskos , University of Strathclyde, Glasgow, UK
pp. 77-81

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

Liang Huang , University of Sheffield
Mike Holcombe , University of Sheffield
pp. 82-88
Paper Session 5 - Fault Localisation and Prediction

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

Arjan J.C. van Gemund , Delft University of Technology
Rui Abreu , Delft University of Technology
Peter Zoeteweij , Delft University of Technology
pp. 89-98

Software Fault Prediction using Language Processing (Abstract)

David Binkley , Loyola College
Maurizio Pighin , Universita? degli Studi di Udine
Henry Feild , Loyola College
Dawn Lawrie , Loyola College
pp. 99-110
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

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

Jiangfan Shi , University of Nebraska
Myra B. Cohen , University of Nebraska
Matthew B. Dwyer , University of Nebraska
pp. 121-132
Posters

Opportunities in System testing (PDF)

Rahul Kelkar , Tata Research Development & Design Centre, A division of Tata Consultancy Services
Arun Bahulkar , Tata Research Development & Design Centre, A division of Tata Consultancy Services
pp. 133

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

David Lorge Parnas , University of Limerick, Ireland
Xin Feng , University of Limerick, Ireland
T.H. Tse , University of Limerick, Ireland
pp. 134

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

Sarfraz Khurshid , University of Texas at Austin
Dewayne Perry , University of Texas at Austin
Svetoslav Ganov , 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
Dewayne E. Perry , University of Texas at Austin, Austin
Sarfraz Khurshid , University of Texas at Austin, Austin
pp. 137

Lazy Systematic Unit Testing: JWalk versus JUnit (PDF)

Christopher D Thomson , University of Sheffield
Anthony J H Simons , University of Sheffield
pp. 138
Introduction

Organization (PDF)

pp. xx

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

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
Paper Session 2 - Mutation Analysis Tools

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

Leonard Trigg , Reel Two Ltd.
Tin Pavlinic , Reel Two Ltd.
Mark Utting , University of Waikato
Stuart Inglis , Reel Two Ltd.
John G. Cleary , Reel Two Ltd.
Sean A. Irvine , Reel Two Ltd.
pp. 169-175

The Csaw C Mutation Tool: Initial Results (Abstract)

Michael Ellims , Pi Shurlok/OpenUniversity
Darrel Ince , Open University
Marian Petre , Open University
pp. 185-192
Paper Session 3 - Experimentation with Mutation

An Empirical Evaluation of the MuJava Mutation Operators (Abstract)

Laurie Williams , North Carolina State University
Ben H. Smith , North Carolina State University
pp. 193-202

Leveraging a Commercial Mutation Analysis Tool For Research (Abstract)

Stephane Petithomme , Manager, Software Development, Certess Inc.
Mark Hampton , Chief Technology Officer, Certess Inc.
pp. 203-209

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
Paper Session 4 - Mutation for Security Testing

Lightweight State Based Mutation Testing for Security (Abstract)

Thomas Dean , Queen?s University
Songtao Zhang , Queen?s University
Scott Knight , Royal Military College of Canada
pp. 223-232

Mutation Analysis for Security Tests Qualification (Abstract)

Benoit Baudry , IRISA- 35042 Rennes
Tejeddine Mouelhi , GET ENST-Bretagne
Yves Le Traon , GET ENST-Bretagne
pp. 233-242
Author Index

Author Index (PDF)

pp. 243
89 ms
(Ver 3.1 (10032016))