Quantitative metrics for mutation testing