Defects4J: a database of existing faults to enable controlled testing studies for Java programs
EvoSuite: automatic test suite generation for object-oriented software