Automated program repair

C Le Goues, M Pradel, A Roychoudhury - Communications of the ACM, 2019 - dl.acm.org
Automated program repair Page 1 56 COMMUNICATIONS OF THE ACM | DECEMBER 2019
| VOL. 62 | NO. 12 review articles ALEX IS A software developer, a recent hire at the company …

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 …

Large language models for software engineering: Survey and open problems

A Fan, B Gokkaya, M Harman… - 2023 IEEE/ACM …, 2023 - ieeexplore.ieee.org
This paper provides a survey of the emerging area of Large Language Models (LLMs) for
Software Engineering (SE). It also sets out open research challenges for the application of …

How effective are neural networks for fixing security vulnerabilities

Y Wu, N Jiang, HV Pham, T Lutellier, J Davis… - Proceedings of the …, 2023 - dl.acm.org
Security vulnerability repair is a difficult task that is in dire need of automation. Two groups of
techniques have shown promise:(1) large code language models (LLMs) that have been pre …

An empirical study on learning bug-fixing patches in the wild via neural machine translation

M Tufano, C Watson, G Bavota, MD Penta… - ACM Transactions on …, 2019 - dl.acm.org
Millions of open source projects with numerous bug fixes are available in code repositories.
This proliferation of software development histories can be leveraged to learn how to fix …

Automatic software repair: A survey

L Gazzola, D Micucci, L Mariani - … of the 40th International Conference on …, 2018 - dl.acm.org
Debugging software failures is still a painful, time consuming, and expensive process. For
instance, recent studies showed that debugging activities often account for about 50% of the …

Context-aware patch generation for better automated program repair

M Wen, J Chen, R Wu, D Hao, SC Cheung - Proceedings of the 40th …, 2018 - dl.acm.org
The effectiveness of search-based automated program repair is limited in the number of
correct patches that can be successfully generated. There are two causes of such limitation …

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 …

Automatic patch generation by learning correct code

F Long, M Rinard - Proceedings of the 43rd Annual ACM SIGPLAN …, 2016 - dl.acm.org
We present Prophet, a novel patch generation system that works with a set of successful
human patches obtained from open-source software repositories to learn a probabilistic …

Nopol: Automatic repair of conditional statement bugs in java programs

J Xuan, M Martinez, F Demarco… - IEEE Transactions …, 2016 - ieeexplore.ieee.org
We propose Nopol, an approach to automatic repair of buggy conditional statements (ie, if-
then-else statements). This approach takes a buggy program as well as a test suite as input …