Program repair

Community-driven effort to facilitate discovery, access and systematization of data related to automated program repair research

Bibliography

Automatic Program Repair Using Formal Verification and Expression Templates
Thanh-Toan Nguyen, Quang-Trung Ta, Wei-Ngan Chin
VMCAI 2019: 70-91

DFix: automatically fixing timing bugs in distributed systems
Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu
PLDI 2019: 994-1009

Huron: hybrid false sharing detection and repair
Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci
PLDI 2019: 453-468

SemCluster: clustering of imperative programming assignments based on quantitative semantic features
David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang
PLDI 2019: 860-873

Automatic Software Repair: A Survey
Luca Gazzola, Daniela Micucci, Leonardo Mariani
IEEE Trans. Software Eng. 45(1): 34-67 (2019)

Intent-Preserving Test Repair
Xiangyu Li, Marcelo d'Amorim, Alessandro Orso
ICST 2019: 217-227

View all »

Tools

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

View all »

Benchmarks

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

View all »

Pages

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

View all »