Reducing the cost of mutation testing: An empirical study
References (30)
On Mutation
- et al.
Mutation Analysis
- et al.
Design of Mutant Operators for the C Programming Language
- et al.
SELECT—A Formal System for Testing and Debugging Programs by Symbolic Execution
Sigplan Not.
(1975) Mutation Analysis of Program Test Data
Mutation analysis: Ideas, examples, problems and prospect
- et al.
The design of a prototype mutation system for program testing
- et al.
Theoretical and empirical studies on using program mutation to test the functional correctness of programs
- et al.
The Mothra toolset
A System to Generate Test Data and Symbolically Execute Programs
IEEE Trans. Software Eng.
(1976)
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Trans. Software Eng.
(1989)
Constraint Based Automatic Test Data Generation
IEEE Trans. Software Eng.
(1991)
Hints on Test Data Selection: Help for the Practicing Programmer
IEEE Comp.
(1978)
An extended overview of the Mothra software testing environment
The Mothra Software Testing Environment User's Manual
Cited by (0)
Copyright © 1995 Published by Elsevier Inc.