Reducing Mutants with Mutant Killable Precondition
MuJava: a mutation system for java