Are mutants a valid substitute for real faults in software testing?
Defects4J: a database of existing faults to enable controlled testing studies for Java programs