Mutation testing [Demillo, Lipton, et al.]
The idea here is to take a program, bring a variant (mutant) of it, and compare how the program and the variant execute
The objective is to find test cases that distinguish between the program and its mutants
- Otherwise, the test cases (or the mutation approach) are weak