Automated program repair

C Le Goues, M Pradel, A Roychoudhury - Communications of the ACM, 2019 - dl.acm.org
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 …

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 …

Automated patch assessment for program repair at scale

H Ye, M Martinez, M Monperrus - Empirical Software Engineering, 2021 - Springer
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 …

Crash-avoiding program repair

X Gao, S Mechtaev, A Roychoudhury - Proceedings of the 28th ACM …, 2019 - dl.acm.org
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 …

Test-equivalence analysis for automatic patch generation

S Mechtaev, X Gao, SH Tan… - ACM Transactions on …, 2018 - dl.acm.org
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 …

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 …

CUBES: a parallel synthesizer for SQL using examples

R Brancas, M Terra-Neves, M Ventura… - arxiv preprint arxiv …, 2022 - arxiv.org
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 …

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation

V Manquinho, R Martins - … Conference, FASE 2024, Held as Part …, 2024 - books.google.com
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 …

[PDF][PDF] Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation

R Brancas, M Terra-Neves, M Ventura… - International …, 2024 - library.oapen.org
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 …

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 …