Program repair

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

Bibliography

Crash-avoiding program repair
Xiang Gao, Sergey Mechtaev, Abhik Roychoudhury
ISSTA 2019: 8-18

Practical program repair via bytecode mutation
Ali Ghanbari, Samuel Benton, Lingming Zhang
ISSTA 2019: 19-30

TBar: revisiting template-based automated program repair
Kui Liu, Anil Koyuncu, Dongsun Kim, Tegawendé F. Bissyandé
ISSTA 2019: 31-42

History-driven build failure fixing: how far are we?
Yiling Lou, Junjie Chen, Lingming Zhang, Dan Hao, Lu Zhang
ISSTA 2019: 43-54

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

Clock Bound Repair for Timed Systems
Martin Kölbl, Stefan Leue, Thomas Wies
CAV (1) 2019: 79-96

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 »