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 …

Examining zero-shot vulnerability repair with large language models

H Pearce, B Tan, B Ahmad, R Karri… - … IEEE Symposium on …, 2023 - ieeexplore.ieee.org
Human developers can produce code with cybersecurity bugs. Can emerging 'smart'code
completion tools help repair those bugs? In this work, we examine the use of large language …

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 …

A survey on software fault localization

WE Wong, R Gao, Y Li, R Abreu… - IEEE Transactions on …, 2016 - ieeexplore.ieee.org
Software fault localization, the act of identifying the locations of faults in a program, is widely
recognized to be one of the most tedious, time consuming, and expensive-yet equally critical …

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 …

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

C Le Goues, M Dewey-Vogt, S Forrest… - 2012 34th …, 2012 - ieeexplore.ieee.org
There are more bugs in real-world programs than human programmers can realistically
address. This paper evaluates two research questions:“What fraction of bugs can be …

Space odyssey: An experimental software security analysis of satellites

J Willbold, M Schloegel, M Vögele… - … IEEE Symposium on …, 2023 - ieeexplore.ieee.org
Satellites are an essential aspect of our modern society and have contributed significantly to
the way we live today, most notable through modern telecommunications, global positioning …

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 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 …