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 …

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 …

The living review on automated program repair

M Monperrus - 2018 - hal.science
Concept This paper is a living review on automatic program repair 1. Compared to a
traditional survey, a living review evolves over time. I use a concise bullet-list style meant to …

On the dichotomy of debugging behavior among programmers

M Beller, N Spruit, D Spinellis, A Zaidman - Proceedings of the 40th …, 2018 - dl.acm.org
Debugging is an inevitable activity in most software projects, often difficult and more time-
consuming than expected, giving it the nickname the" dirty little secret of computer science." …

Computing repair trees for resolving inconsistencies in design models

A Reder, A Egyed - Proceedings of the 27th IEEE/ACM International …, 2012 - dl.acm.org
Resolving inconsistencies in software models is a complex task because the number of
repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …

Evospex: An evolutionary algorithm for learning postconditions

F Molina, P Ponzio, N Aguirre… - 2021 IEEE/ACM 43rd …, 2021 - ieeexplore.ieee.org
Software reliability is a primary concern in the construction of software, and thus a
fundamental component in the definition of software quality. Analyzing software reliability …

A controlled experiment of different code representations for learning-based program repair

M Namavar, N Nashid, A Mesbah - Empirical Software Engineering, 2022 - Springer
Training a deep learning model on source code has gained significant traction recently.
Since such models reason about vectors of numbers, source code needs to be converted to …

Constraints as control

AS Köksal, V Kuncak, P Suter - ACM SIGPLAN Notices, 2012 - dl.acm.org
We present an extension of Scala that supports constraint programming over bounded and
unbounded domains. The resulting language, Kaplan, provides the benefits of constraint …

Debug-localize-repair: a symbiotic construction for heap manipulations

S Verma, S Roy - Formal Methods in System Design, 2021 - Springer
We present Wolverine2, an integrated Debug-Localize-Repair environment for heap
manipulating programs. Wolverine2 provides an interactive debugging environment: while …

Ferry: Toward Better Understanding of Input/Output Space for Data Wrangling Scripts

Z Luo, K Xiong, J Zhu, R Chen, X Shu… - … on Visualization and …, 2024 - ieeexplore.ieee.org
Understanding the input and output of data wrangling scripts is crucial for various tasks like
debugging code and onboarding new data. However, existing research on script …