MuJava: a mutation system for java
Hints on Test Data Selection: Help for the Practicing Programmer