Community-driven effort to facilitate discovery, access and systematization of data related to automated program repair research
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis ViolationsKui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. BissyandéSANER 2019: 456-467
Alleviating patch overfitting with automatic test generation: a study of feasibility and effectiveness for the Nopol repair systemZhongxing Yu, Matias Martinez, Benjamin Danglot, Thomas Durieux, Martin MonperrusEmpirical Software Engineering 24(1): 33-67 (2019)
Common statement kind changes to inform automatic program repairMauricio Soto, Claire Le GouesMSR 2018: 102-105
Bugs.jar: a large-scale, diverse dataset of real-world Java bugsRipon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. PrasadMSR 2018: 10-13
Symbolic execution with existential second-order constraintsSergey Mechtaev, Alberto Griggio, Alessandro Cimatti, Abhik RoychoudhuryESEC/SIGSOFT FSE 2018: 389-399
SketchFix: a tool for automated program repair approach using lazy candidate generationJinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz KhurshidESEC/SIGSOFT FSE 2018: 888-891
JAID — an APR technique that uses detailed state abstractions to guide both fault localization and fix generation
JFix — semantics-based repair framework for Java programs
SimFix — fixing Java bugs by leveraging existing patches and similar code
Codeflaws — 3902 bugs from Codeforces programming competition for evaluating program repair tools across different defect classes
DBGBench — 291 (in)correct patches from real software professionals for 27 real bugs in C for the qualitative evaluation of automated repair techniques
QuixBugs — A parallel corpus of 40 programs in both Python and Java, each with a bug on one line
Defects4J Dissection — presents data to help researchers and practitioners to better understand the Defects4J bug dataset