How verified (or tested) is my code? Falsification-driven verification and testing
Applying Mutation Analysis on Kernel Test Suites: An Experience Report
Does choice of mutation tool matter?
Mutation Reduction Strategies Considered Harmful
Can testedness be effectively measured?
Measuring Effectiveness of Mutant Sets
On the limits of mutation reduction strategies