The class-level mutants of MuJava
Constraint-Based Automatic Test Data Generation