program-repair.org

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

Bibliography

Applying deep learning algorithm to automatic bug localization and repair
Geunseok Yang, Kyeongsic Min, Byungjeong Lee
SAC 2020

Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis
Thanh-Toan Nguyen, Quang-Trung Ta, Ilya Sergey, Wei-Ngan Chin
VMCAI 2021

On The Introduction of Automatic Program Repair in Bloomberg
Serkan Kirbas, Etienne Windels, Olayori McBello, Kevin Kells, Matthew W. Pagano, Rafal Szalanski, Vesna Nowack, Emily Winter, Steve Counsell, David Bowes, Tracy Hall, Saemundur O. Haraldsson, John R. Woodward
IEEE Softw. 38 (4) 2021

Automated program repair: a step towards software automation
Abhik Roychoudhury, Yingfei Xiong
SCI 62 (10) 2019

Contract-Based Program Repair Without The Contracts: An Extended Study
Liushan Chen, Yu Pei, Carlo A. Furia
TSE 47 (12) 2021

Interactive Patch Filtering as Debugging Aid
Jingjing Liang, Ruyi Ji, Jiajun Jiang, Shurui Zhou, Yiling Lou, Yingfei Xiong, Gang Huang
ICSME 2021

Contract-Based Program Repair Without The Contracts: An Extended Study
Liushan Chen, Yu Pei, Carlo A. Furia
TSE 47 (12) 2021

View all »

Tools

CPR — detecting and discarding over-fitting patches via systematic co-exploration of the patch space and input space

NEM — automated repair of heap-manipulating programs using deductive synthesis

PatchWeave — automated patch transplantation for semantically equivalent programs

View all »

Benchmarks

ITSP — a parallel corpus of 661 buggy-repaired program pairs submitted by CS-1 students for 74 unique assignments spread across 10 course weeks

BugsJS — a benchmark of 453 real, manually validated JavaScript bugs from 10 popular JavaScript server-side programs

BugsInPy — a database of existing bugs in Python programs to enable controlled testing and debugging studies

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 »