Filters








102,306 Hits in 1.9 sec

Automatic Program Repair

Jeffrey Carver, Ricardo Colomo-Palacios, Xabier Larrucea, Miroslaw Staron
2021 IEEE Software  
Maximizing Oracle Accuracy "Human-in-the-Loop Automatic Program Repair" by Marcel Böhme, Charaka Geethal, and Van-Thuan Pham presents Learn2Fix, a technique that automatically repairs function bugs even  ...  I E E E S O F T WA R E | P U B L I S H E D B Y T H E I E E E C O M P U T E R S O C I E T Y 0 7 4 0 -7 4 5 9 / 2 1 © 2 0 2 1 I E E E Automatic Program Repair Jeffrey Carver, Ricardo Colomo-Palacios, Xabier  ... 
doi:10.1109/ms.2021.3071567 fatcat:yjjw5omnmbbk5ekx22l2la4d3y

Automatic Program Repair

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021 IEEE Software  
in automatic program repair.  ...  NEW REPAIR PRACTICES Finally, the article "On the Introduction of Automatic Program Repair in Bloomberg" by Kirbas et al., shares experiences in integrating automatic repair into industrial practice.  ... 
doi:10.1109/ms.2021.3072577 fatcat:7z7idpvt4zfanct3sz43vjlhhm

Cost-Aware Automatic Program Repair [chapter]

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2014 Lecture Notes in Computer Science  
We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generate repaired programs by  ...  of inductive assertions that serve as a proof of correctness of the repaired program.  ...  Our predicate abstraction-based approach to automatic program repair relaxes the above limitations.  ... 
doi:10.1007/978-3-319-10936-7_17 fatcat:ueyileksijh33hcppchfmqkysi

Cost-Aware Automatic Program Repair [article]

Roopsha Samanta, Oswaldo Olivo, E. Allen Emerson
2014 arXiv   pre-print
We present a formal framework for repairing infinite-state, imperative, sequential programs, with (possibly recursive) procedures and multiple assertions; the framework can generate repaired programs by  ...  of inductive assertions that serve as a proof of correctness of the repaired program.  ...  Our predicate abstraction-based approach to automatic program repair relaxes the above limitations.  ... 
arXiv:1307.7281v2 fatcat:k2dqjlfltrfuflem4dytluqsau

Automatic Program Repair by Fixing Contracts [chapter]

Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2014 Lecture Notes in Computer Science  
Manual analysis by human programmers found that SpecFix suggested repairs that are deployable for 25% of the faults; in most cases, these contract repairs were preferred over fixes for the same bugs that  ...  In this paper, we present a fully automatic technique that fixes bugs by proposing changes to contracts (simple executable specification elements such as pre-and postconditions).  ...  Automatic program repair. Source-code repair aims to remove buggy behavior from a program by changing its implementation.  ... 
doi:10.1007/978-3-642-54804-8_17 fatcat:mthawozpeza7xbhgudlhh632k4

Modular and verified automatic program repair

Francesco Logozzo, Thomas Ball
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
Trace Semantics • P is the original program, P' is the repaired program Verified Repair • Assertion abstraction α A removes all states but those referring to assertions • δ P,P' denotes a repair that  ...  transforms program P to program P' ), then we say that δ P,P' is a verified repair for P and that P' is an improvement of P • Denies P as an improvement, since the number of bad traces should strictly  ...  • On average, a method is analyzed in 156 ms • Cccheck attempts to generate repairs for false and top outcomes • Program repairs can be inferred in two ways: ○ Backwards must analysis ○ Forwards may analysis  ... 
doi:10.1145/2384616.2384626 dblp:conf/oopsla/LogozzoB12 fatcat:ynimqpzbobbsrhwhe25w27wmbi

CURE: Code-Aware Neural Machine Translation for Automatic Program Repair [article]

Nan Jiang, Thibaud Lutellier, Lin Tan
2021 arXiv   pre-print
Automatic program repair (APR) is crucial to improve software reliability. Recently, neural machine translation (NMT) techniques have been used to fix software bugs automatically.  ...  First, CURE pre-trains a programming language (PL) model on a large software codebase to learn developer-like source code before the APR task.  ...  INTRODUCTION Automatic program repair is crucial to reduce manual software debugging efforts [1] - [24] .  ... 
arXiv:2103.00073v2 fatcat:dn22xsfnebginkety75ggrn2ty

NetRep: Automatic Repair for Network Programs [article]

Lei Shi, Yuepeng Wang, Rajeev Alur, Boon Thau Loo
2021 arXiv   pre-print
The evaluation results demonstrate the effectiveness and efficiency of NetRep for repairing network programs.  ...  To address the challenge, this paper presents an automated technique for repairing network programs from unit tests.  ...  MODULAR PROGRAM REPAIR In this section, we present our algorithm for automatically repairing network programs from a set of unit tests.  ... 
arXiv:2110.06303v2 fatcat:d7zfdimiajbx5jpsxed5v5vuey

Automatic program repair with evolutionary computation

Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
2010 Communications of the ACM  
ReLateD WoRK Our approach automatically repairs programs without specifications.  ...  This paper highlights recent work combining program analysis methods with evolutionary computation to automatically repair bugs in off-the-shelf legacy C programs.  ... 
doi:10.1145/1735223.1735249 fatcat:x5cdm7b3ffan7gni6zyuuq36gm

Modular and verified automatic program repair

Francesco Logozzo, Thomas Ball
2012 SIGPLAN notices  
Trace Semantics • P is the original program, P' is the repaired program Verified Repair • Assertion abstraction α A removes all states but those referring to assertions • δ P,P' denotes a repair that  ...  transforms program P to program P' ), then we say that δ P,P' is a verified repair for P and that P' is an improvement of P • Denies P as an improvement, since the number of bad traces should strictly  ...  • On average, a method is analyzed in 156 ms • Cccheck attempts to generate repairs for false and top outcomes • Program repairs can be inferred in two ways: ○ Backwards must analysis ○ Forwards may analysis  ... 
doi:10.1145/2398857.2384626 fatcat:3hzh2uyhondjbehqgfv5mwdyka

Automatically Repairing Programs Using Both Tests and Bug Reports [article]

Manish Motwani, Yuriy Brun
2020 arXiv   pre-print
The success of automated program repair (APR) depends significantly on its ability to localize the defects it is repairing.  ...  No existing repair tool uses both SBFL and IRFL. We develop RAFL (Rank-Aggregation-Based Fault Localization), a novel FL approach that combines multiple FL techniques.  ...  INTRODUCTION Automated program repair tools aim to reduce the cost of manually fixing bugs by automatically producing patches [1] .  ... 
arXiv:2011.08340v2 fatcat:wt6euqdqnzh3toggdn5jf36icm

A Comprehensive Study of Automatic Program Repair on the QuixBugs Benchmark [article]

He Ye, Matias Martinez, Thomas Durieux, Martin Monperrus
2020 arXiv   pre-print
Automatic program repair papers tend to repeatedly use the same benchmarks. This poses a threat to the external validity of the findings of the program repair research community.  ...  All our empirical results are publicly available on GitHub in order to facilitate future research on automatic program repair.  ...  This work was supported by the Wallenberg AI, Autonomous Systems and Software Program (WASP) funded by the Knut and Alice Wallenberg Foundation.  ... 
arXiv:1805.03454v3 fatcat:6kgpk6w5uffodblmc2li42rn2y

Human-In-The-Loop Automatic Program Repair [article]

Marcel Böhme, Charaka Geethal, Van-Thuan Pham
2019 arXiv   pre-print
From the alternative tests that were labeled by the user, test-driven automatic repair produces the patch.  ...  We introduce Learn2fix, the first human-in-the-loop, semi-automatic repair technique when no bug oracle--except for the user who is reporting the bug--is available.  ...  We used the GenProg automatic repair tool [3] to (i) repair each buggy program with the manually constructed test suite (excl. heldout. * ), and (ii) repair each buggy program with the automatically  ... 
arXiv:1912.07758v1 fatcat:seruhnb7ifg53ngaawegrzkbk4

Review4Repair: Code Review Aided Automatic Program Repairing [article]

Faria Huq, Masum Hasan, Mahim Anzum Haque Pantho, Sazan Mahbub, Anindya Iqbal, Toufique Ahmed
2020 arXiv   pre-print
Context: Learning-based automatic program repair techniques are showing promise to provide quality fix suggestions for detected bugs in the source code of the software.  ...  However, none of the learning-based tools has utilized the review comments to fix programming bugs to the best of our knowledge.  ...  Figure 4 : 4 Steps showing training of Automatic Program Repair with code review.  ... 
arXiv:2010.01544v2 fatcat:47yu7qdlebgavfo64r5dtbidqu

Automatic Program Repair with OpenAI's Codex: Evaluating QuixBugs [article]

Julian Aron Prenner, Romain Robbes
2021 arXiv   pre-print
In this work, we want to investigate whether Codex is able to localize and fix bugs, a task of central interest in the field of automated program repair.  ...  Our results also show that Codex is slightly more successful at repairing Python than Java.  ...  The field of Automatic program repair (APR) attempts to develop tools that can automatically find and fix bugs in software.  ... 
arXiv:2111.03922v1 fatcat:3kwinwq3gjhsva6eeazujtlq4q
« Previous Showing results 1 — 15 out of 102,306 results