Abstract Automated Program Repair (APR) has attracted significant attention from software
engineering research and practice communities in the last decade. Several teams have …

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 …

With the rapid development and large-scale popularity of program software, modern society
increasingly relies on software systems. However, the problems exposed by software have …

Learning-based fault localization has been intensively studied recently. Prior studies have
shown that traditional Learning-to-Rank techniques can help precisely diagnose fault …

Students often make mistakes on their introductory programming assignments as part of
their learning process. Unfortunately, providing custom repairs for these mistakes can …

Fix pattern-based patch generation is a promising direction in Automated Program Repair
(APR). Notably, it has been demonstrated to produce more acceptable and correct patches …

Students often make mistakes in their introductory programming assignments as part of their
learning process. Unfortunately, providing custom repairs for these mistakes can require a …

Properly benchmarking Automated Program Repair (APR) systems should contribute to the
development and adoption of the research outputs by practitioners. To that end, the research …

This paper describes some of the challenges and opportunities when deploying static and
dynamic analysis at scale, drawing on the authors' experience with the Infer and Sapienz …

Automated program repair is an emerging technology that seeks to automatically rectify
program errors and vulnerabilities. Repair techniques are driven by a correctness criterion …