Process
Define a set of test cases for a program
- Test until no more defects are found
Produce mutants
- Test these mutants with the same test set as the base program
- Score “dead” vs. “live” mutants (ones that are and are not distinguished from the original program)
- Add test cases until there are no dead mutants