M Monperrus - ACM Computing Surveys (CSUR), 2018 - dl.acm.org
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 …
Automated Program Repair (APR) aims to automatically generate patches for buggy programs. Recent APR work has been focused on leveraging modern Large Language …
Researchers have made significant progress in automating the software development process in the past decades. Automated techniques for issue summarization, bug …
Y Li, S Wang, TN Nguyen - Proceedings of the ACM/IEEE 42nd …, 2020 - dl.acm.org
Automated Program Repair (APR) is very useful in helping developers in the process of software development and maintenance. Despite recent advances in deep learning (DL) …
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 …
Neural machine translation (NMT) architectures have achieved promising results for automatic program repair. Yet, they have the limitation of generating low-quality patches (eg …
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 …
Z Chen, S Kommrusch, M Tufano… - IEEE Transactions …, 2019 - ieeexplore.ieee.org
This paper presents a novel end-to-end approach to program repair based on sequence-to- sequence learning. We devise, implement, and evaluate a technique, called SequenceR, for …
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 …