On the limits of mutation reduction strategies
Javalanche: efficient mutation testing for Java