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

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 …

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 …

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 …

Embedding context as code dependencies for neural program repair

N Nashid, M Sintaha, A Mesbah - 2023 IEEE Conference on …, 2023 - ieeexplore.ieee.org
Deep learning-based program repair has received significant attention from the research
community lately. Most existing techniques treat source code as a sequence of tokens or …

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

Z Luo, K **ong, 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 …