Ebook: Mutation Testing for the New Century

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.

---

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.

---

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.
Content:
Front Matter....Pages i-xi
Keynote Why Software Falls Down....Pages 1-1
Keynote Mutation: The Early Days....Pages 2-2
Front Matter....Pages 3-3
Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method....Pages 4-4
The Relationship Between Program Dependence and Mutation Analysis....Pages 5-13
Mutation of Model Checker Specifications for Test Generation and Evaluation....Pages 14-20
Front Matter....Pages 21-21
Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing....Pages 22-33
Mutation 2000: Uniting the Orthogonal....Pages 34-44
Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria....Pages 45-45
Front Matter....Pages 46-46
Trustable Components: Yet Another Mutation-Based Approach....Pages 47-54
Parallel Firm Mutation of Java Programs....Pages 55-61
Theoretical Insights into the Coupling Effect....Pages 62-70
Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria....Pages 71-78
Mutating Network Models to Generate Network Security Test Cases....Pages 79-86
Keynote Programs Determined by Mutation-Adequate tests....Pages 87-87
Panel Future of Mutation Testing and Its Application....Pages 88-88
Front Matter....Pages 89-89
Interface Mutation....Pages 90-90
Proteum/IM 2.0: An Integrated Mutation Testing Environment....Pages 91-101
Front Matter....Pages 102-102
TDS: A Tool for Testing Distributed Component-Based Applications....Pages 103-112
Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation....Pages 113-116
Back Matter....Pages 118-118

---

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.
Content:
Front Matter....Pages i-xi
Keynote Why Software Falls Down....Pages 1-1
Keynote Mutation: The Early Days....Pages 2-2
Front Matter....Pages 3-3
Investigating the Effectiveness of Object-Oriented Strategies with the Mutation Method....Pages 4-4
The Relationship Between Program Dependence and Mutation Analysis....Pages 5-13
Mutation of Model Checker Specifications for Test Generation and Evaluation....Pages 14-20
Front Matter....Pages 21-21
Evaluating N-Selective Mutation for C Programs: Unit and Integration Testing....Pages 22-33
Mutation 2000: Uniting the Orthogonal....Pages 34-44
Unit and Integration Testing Strategies for C Programs Using Mutation-Based Criteria....Pages 45-45
Front Matter....Pages 46-46
Trustable Components: Yet Another Mutation-Based Approach....Pages 47-54
Parallel Firm Mutation of Java Programs....Pages 55-61
Theoretical Insights into the Coupling Effect....Pages 62-70
Component Customization Testing Technique Using Fault Injection Technique and Mutation Test Criteria....Pages 71-78
Mutating Network Models to Generate Network Security Test Cases....Pages 79-86
Keynote Programs Determined by Mutation-Adequate tests....Pages 87-87
Panel Future of Mutation Testing and Its Application....Pages 88-88
Front Matter....Pages 89-89
Interface Mutation....Pages 90-90
Proteum/IM 2.0: An Integrated Mutation Testing Environment....Pages 91-101
Front Matter....Pages 102-102
TDS: A Tool for Testing Distributed Component-Based Applications....Pages 103-112
Proteum: A Family of Tools to Support Specification and Program Testing Based on Mutation....Pages 113-116
Back Matter....Pages 118-118
....