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 …
consists of automatically finding a solution to software bugs without human intervention. This …
Automated fixing of programs with contracts
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 …
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 …
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
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." …
consuming than expected, giving it the nickname the" dirty little secret of computer science." …
Evospex: An evolutionary algorithm for learning postconditions
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 …
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 …
repairs grows exponentially. Existing approaches thus emphasize on selected repairs only …
A controlled experiment of different code representations for learning-based program repair
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 …
Since such models reason about vectors of numbers, source code needs to be converted to …
Constraints as control
We present an extension of Scala that supports constraint programming over bounded and
unbounded domains. The resulting language, Kaplan, provides the benefits of constraint …
unbounded domains. The resulting language, Kaplan, provides the benefits of constraint …
Embedding context as code dependencies for neural program repair
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 …
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
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 …
debugging code and onboarding new data. However, existing research on script …