Automated program repair
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 …
| VOL. 62 | NO. 12 review articles ALEX IS A software developer, a recent hire at the company …
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 …
Automated patch assessment for program repair at scale
In this paper, we do automatic correctness assessment for patches generated by program
repair systems. We consider the human-written patch as ground truth oracle and randomly …
repair systems. We consider the human-written patch as ground truth oracle and randomly …
Crash-avoiding program repair
Existing program repair systems modify a buggy program so that the modified program
passes given tests. The repaired program may not satisfy even the most basic notion of …
passes given tests. The repaired program may not satisfy even the most basic notion of …
Test-equivalence analysis for automatic patch generation
Automated program repair is a problem of finding a transformation (called a patch) of a given
incorrect program that eliminates the observable failures. It has important applications such …
incorrect program that eliminates the observable failures. It has important applications such …
Explainable software bot contributions: Case study of automated bug fixes
M Monperrus - 2019 IEEE/ACM 1st international workshop on …, 2019 - ieeexplore.ieee.org
In a software project, esp. in open-source, a contribution is a valuable piece of work made to
the project: writing code, reporting bugs, translating, improving documentation, creating …
the project: writing code, reporting bugs, translating, improving documentation, creating …
CUBES: a parallel synthesizer for SQL using examples
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
[PDF][PDF] Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation
In recent years, more people have seen their work depend on data manipulation tasks.
However, many of these users do not have the background in programming required to write …
However, many of these users do not have the background in programming required to write …
Overfitting in Program Repair and Synthesis
X Gao - 2021 - search.proquest.com
Abstract Programming-by-example (PbE) is one of the well-studied auto-programming
techniques. PbE systems attempt to inductively construct programs according to the …
techniques. PbE systems attempt to inductively construct programs according to the …