Community-driven effort to facilitate discovery, access and systematization of data related to automated program repair research
Automatic Program Repair Using Formal Verification and Expression TemplatesThanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan ChinVMCAI 2019: 70-91
DFix: automatically fixing timing bugs in distributed systemsGuangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan LuPLDI 2019: 994-1009
Huron: hybrid false sharing detection and repairTanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris KasikciPLDI 2019: 453-468
SemCluster: clustering of imperative programming assignments based on quantitative semantic featuresDavid Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu ZhangPLDI 2019: 860-873
Automatic Software Repair: A SurveyLuca Gazzola, Daniela Micucci, Leonardo MarianiIEEE Trans. Software Eng. 45(1): 34-67 (2019)
Intent-Preserving Test RepairXiangyu Li, Marcelo d'Amorim, Alessandro OrsoICST 2019: 217-227
AVATAR — fixing Java bugs by the fix patterns of static analysis violations (FindBugs violations)
kPAR — Java implementation of PAR: fixing Java bugs with pre-defined fix patterns
BugZoo — a platform for studying historical software bugs
DroixBench — a collection of 24 reproducible crashes in open-source Android apps
Bears — an extensible Java bug benchmark for automatic program repair studies
Bugs.jar — a large-scale, diverse dataset of bugs for Java program repair
Defects4J Dissection — presents data to help researchers and practitioners to better understand the Defects4J bug dataset
RepairThemAll experiment — presents experimental data obtained using RepairThemAll framework