"Mutation testing measures a test suite’s ability to catch deliberately introduced defects rather than establishing complete program correctness."
The Google study treats surviving mutations as evidence of weaknesses in the test suite and opportunities to improve its coverage of relevant behavior. This gives the manuscript a concrete measurement of how defective code can escape existing verification checks.
View Source