Automatic software repair: A bibliography

M Monperrus - ACM Computing Surveys (CSUR), 2018 - dl.acm.org
This article presents a survey on automatic software repair. Automatic software repair
consists of automatically finding a solution to software bugs without human intervention. This …

Angelix: Scalable multiline program patch synthesis via symbolic analysis

S Mechtaev, J Yi, A Roychoudhury - Proceedings of the 38th …, 2016 - dl.acm.org
Since debugging is a time-consuming activity, automated program repair tools such as
GenProg have garnered interest. A recent study revealed that the majority of GenProg …

Semfix: Program repair via semantic analysis

HDT Nguyen, D Qi, A Roychoudhury… - 2013 35th …, 2013 - ieeexplore.ieee.org
Debugging consumes significant time and effort in any major software development project.
Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given …

The ManyBugs and IntroClass benchmarks for automated repair of C programs

C Le Goues, N Holtschulte, EK Smith… - IEEE Transactions …, 2015 - ieeexplore.ieee.org
The field of automated software repair lacks a set of common benchmark problems.
Although benchmark sets are used widely throughout computer science, existing …

Directfix: Looking for simple program repairs

S Mechtaev, J Yi… - 2015 IEEE/ACM 37th IEEE …, 2015 - ieeexplore.ieee.org
Recent advances in program repair techniques have raised the possibility of patching bugs
automatically. For an automatically generated patch to be accepted by developers, it should …

Practical program repair via bytecode mutation

A Ghanbari, S Benton, L Zhang - Proceedings of the 28th ACM SIGSOFT …, 2019 - dl.acm.org
Automated Program Repair (APR) is one of the most recent advances in automated
debugging, and can directly fix buggy programs with minimal human intervention. Although …

Repairing programs with semantic code search (t)

Y Ke, KT Stolee, C Le Goues… - 2015 30th IEEE/ACM …, 2015 - ieeexplore.ieee.org
Automated program repair can potentially reduce debugging costs and improve software
quality but recent studies have drawn attention to shortcomings in the quality of …

Automated clustering and program repair for introductory programming assignments

S Gulwani, I Radiček, F Zuleger - ACM SIGPLAN Notices, 2018 - dl.acm.org
Providing feedback on programming assignments is a tedious task for the instructor, and
even impossible in large Massive Open Online Courses with thousands of students …

Automated fixing of programs with contracts

Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz… - Proceedings of the 19th …, 2010 - dl.acm.org
In program debugging, finding a failing run is only the first step; what about correcting the
fault? Can we automate the second task as well as the first? The AutoFix-E tool …

Can automated program repair refine fault localization? a unified debugging approach

Y Lou, A Ghanbari, X Li, L Zhang, H Zhang… - Proceedings of the 29th …, 2020 - dl.acm.org
A large body of research efforts have been dedicated to automated software debugging,
including both automated fault localization and program repair. However, existing fault …