Mutation Testing for the New Century

1. Front Matter

   Pages i-xi

   PDF

2. Keynote Why Software Falls Down

   1. Keynote Why Software Falls Down

      • Rich DeMillo

      Pages 1-1

3. Keynote Mutation: The Early Days

   1. Keynote Mutation: The Early Days

      • Dick Lipton

      Pages 2-2

4. Mutation: Application, Effectiveness, and Test Generation (I)

   1. Front Matter

      Pages 3-3

      PDF

   2. Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method

      • Sunwoo Kim, John A. Clark, John A. McDermid

      Pages 4-4

   3. The Relationship Between Program Dependence and Mutation Analysis

      • Mark Harman, Rob Hierons, Sebastian Danicic

      Pages 5-13

   4. Mutation of Model Checker Specifications for Test Generation and Evaluation

      • Paul E. Black, Vadim Okun, Yaacov Yesha

      Pages 14-20

5. Mutation: Cost Reduction

   1. Front Matter

      Pages 21-21

      PDF

   2. Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing

      • José Carlos Maldonado, Ellen Francine Barbosa, Auri Marcelo Rizzo Vincenzi, Márcio Eduardo Delamaro

      Pages 22-33

   3. Mutation 2000: Uniting the Orthogonal

      • A. Jefferson Offutt, Roland H. Untch

      Pages 34-44

   4. Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria

      • Auri Marcelo Rizzo Vincenzi, José Carlos Maldonado, Ellen Francine Barbosa, Márcio Eduardo Delamaro

      Pages 45-45

6. Mutation: Application, Effectiveness, and Test Generation

   1. Front Matter

      Pages 46-46

      PDF

   2. Trustable Components: Yet Another Mutation-Based Approach

      • Benoit Baudry, Vu Le Hanh, Jean-Marc Jézéquel, Yves Le Traon

      Pages 47-54

   3. Parallel Firm Mutation of Java Programs

      • David Jackson, Martin R. Woodward

      Pages 55-61

   4. Theoretical Insights into the Coupling Effect

      • K. S. How Tai Wah

      Pages 62-70

   5. Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria

      • Hoijin Yoon, Byoungju Choi

      Pages 71-78

   6. Mutating Network Models to Generate Network Security Test Cases

      • Ronald W. Ritchey

      Pages 79-86

7. Keynote Programs Determined by Mutation-Adequate tests

   1. Keynote Programs Determined by Mutation-Adequate tests

      • Dick Hamlet

      Pages 87-87

8. Panel Future of Mutation Testing and Its Application

   1. Panel Future of Mutation Testing and Its Application

      • Jeff Offutt

      Pages 88-88

9. Interface Mutation

   1. Front Matter

      Pages 89-89

      PDF

Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with other test adequacy criteria; empirical evidence and theoretical justification for the coupling effect; and techniques for speeding up mutation testing using various types of high performance architectures. Mutation has received the attention of software developers and testers in such diverse areas as network protocols and nuclear simulation.
Mutation Testing for the New Century brings together cutting edge research results in mutation testing from a wide range of researchers. This book provides answers to key questions related to mutation and raises questions yet to be answered. It is an excellent resource for researchers, practitioners, and students of software engineering.

• Ada
• Fortran
• Java
• architectures
• object oriented design
• performance
• security

• Applied Research, Telcordia Technologies, USA

  W. Eric Wong

Policies and ethics