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...
Other Authors: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
New York, NY
Springer US
2001, 2001
|
Edition: | 1st ed. 2001 |
Series: | Advances in Database Systems
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- Keynote: Why Software Falls Down
- Keynote: Mutation: The Early Days
- Mutation: Application, Effectiveness, and Test Generation (I)
- Investigating the effectiveness of object-oriented strategies with the mutation method
- The relationship between program dependence and mutation testing
- Mutation of model checker specifications for test generation and evaluation
- Mutation: Cost Reduction
- Evaluation N-selective mutation for C programs: Unit and Integration Testing.
- Mutation 2000: uniting the orthogonal
- Unit and integration testing for C programs using mutation-based criteria
- Mutation: Application, Effectiveness, and Test Generation (II)
- Trustable components: yet another mutation-based approach
- Parallel firm mutation of Java programs
- Theoretical insights into the coupling effect
- Component customization testing technique using fault injection technique and mutation test criteria
- Mutating network models to generate network security test cases
- Keynote: Programs Determined by Mutation-adequate Tests
- Panel: Future of Mutation Testing and Its Application
- Interface Mutation
- Interface mutation
- Proteum/IM 2.0: an integrated mutation testing environment
- Tool Session
- TDS: A tool for Testing Distributed Component-Based Applications
- Proteum: A family of tools to support specification and program testing based on mutation
- Index of Authors