Defects4J: a database of existing faults to enable controlled testing studies for Java programs
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact