1. The ManyBugs and IntroClass benchmarks for automated repair of C programs;Le Goues;IEEE Trans. Softw. Eng.,2015
2. Defects4J: a database of existing faults to enable controlled testing studies for Java programs;Just,2014
3. Supporting controlled experimentation with testing techniques: an infrastructure and its potential impact;Do;Empir. Softw. Eng.,2005
4. Corebench: studying complexity of regression errors;Böhme,2014
5. SPEC Open Systems Group Policies and Procedures Document, (November 23, 2018). Retrieved from: https://www.spec.org/osg/policy.html.