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...

Full description

Bibliographic Details
Other Authors: Wong, W. Eric (Editor)
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