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 …

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 …

Automatic program repair (APR) is crucial to improve software reliability. Recently, neural
machine translation (NMT) techniques have been used to automatically fix software bugs …

OpenAI's Codex, a GPT-3 like model trained on a large code corpus, has made headlines in
and outside of academia. Given a short user-provided description, it is capable of …

Formally verifying software is a highly desirable but labor-intensive task. Recent work has
developed methods to automate formal verification using proof assistants, such as Coq and …

Automated program repair (APR) aims to fix software bugs automatically and plays a crucial
role in software development and maintenance. With the recent advances in deep learning …

Millions of open source projects with numerous bug fixes are available in code repositories.
This proliferation of software development histories can be leveraged to learn how to fix …

The existing deep learning (DL)-based automated program repair (APR) models are limited
in fixing general software defects. We present DEAR, a DL-based approach that supports …