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

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 …

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 …

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 …

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 …

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 …

Issue tracking systems are commonly used in modern software development for collecting
feedback from users and developers. An ultimate automation target of software maintenance …

Automated program repair has been used to provide feedback for incorrect student
programming assignments, since program repair captures the code modification needed to …