6,656 Hits in 5.9 sec

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

Manish Motwani, Yuriy Brun
2022 arXiv   pre-print
This paper develops a new fault localization (FL) technique that combines information from bug reports and test executions and uses it to improve the quality of program repair.  ...  Our findings that FL can be improved by combining multiple sources of information, and that program repair benefits greatly from improved FL suggest a fruitful direction for research into both FL and program  ...  Discussion and threats to validity We assume that both bug-exposing tests and bug reports are available to repair tools.  ... 
arXiv:2011.08340v3 fatcat:zh4m7ywu5jc5vpzf4uk32h4flu

Leveraging Light-Weight Analyses to Aid Software Maintenance

Zachary P. Fry, Westley Weimer
2013 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation  
The first of these techniques clusters closely-related, automatically generated defect reports to aid in the process of bug triage and repair.  ...  with the resulting defect report clusters and also are able to understand and use automatically generated patches.  ...  Bug reporting is performed both manually, by users, and automatically using maintenance tools.  ... 
doi:10.1109/icst.2013.77 dblp:conf/icst/FryW13 fatcat:lcayagsfkfc37fh6smvwur2pcu

Automatic Program Repair

Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Satish Chandra
2021 IEEE Software  
Acknowledgment This work was partially supported by the European Research Council under grant 851895 and by the German Research Foundation within the ConcSys and Perf4JS projects.  ...  they find in their own programs or in response to a bug report.  ...  Thus, at a high level, an automatic repair approach takes as input a program and some evidence that the program has a bug (commonly, a failing test) and produces a patch for that program's source to fix  ... 
doi:10.1109/ms.2021.3072577 fatcat:7z7idpvt4zfanct3sz43vjlhhm

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.  ...  To our knowledge, this is the largest empirical study of automatic repair on QuixBugs, combining both quantitative and qualitative insights.  ...  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

Automatic Program Repair

Jeffrey Carver, Ricardo Colomo-Palacios, Xabier Larrucea, Miroslaw Staron
2021 IEEE Software  
Learn2Fix uses an unbiased committee of automatically created oracles to generate test cases automatically and determine whether these tests pass.  ...  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  ... 
doi:10.1109/ms.2021.3071567 fatcat:yjjw5omnmbbk5ekx22l2la4d3y

Automated Program Repair (Dagstuhl Seminar 17022)

Sunghun Kim, Claire Le Goues, Michael Pradel, Abhik Roychoudhury, Marc Herbstritt
2017 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 17022 "Automated Program Repair".  ...  In particular, the seminar covered work related to search-based program repair, semantic program repair, and repair of non-functional properties.  ...  error classification, test coverage, test input generation, reuse, and automated program repair.  ... 
doi:10.4230/dagrep.7.1.19 dblp:journals/dagstuhl-reports/0001GPR17 fatcat:mxuctyhdobgenfezhrndsjoumq

Recent Developments in the Field of Bug Fixing

Varun Mittal, Shivam Aditya
2015 Procedia Computer Science  
We hereby have conducted a review of the seven recent techniques in the field of bug fixing and have made a report on it.  ...  In recent times, there have been lot of work done in the field of bug fixing in the software development process.  ...  These reviews can help people and companies identify the appropriate bug fixing mechanisms needed for them saving themselves both time and money.  ... 
doi:10.1016/j.procs.2015.04.184 fatcat:6xmczrspnvb4fg4ra56grysry4

A critical review of "automatic patch generation learned from human-written patches": essay on the problem statement and the evaluation of automatic software repair

Martin Monperrus
2014 Proceedings of the 36th International Conference on Software Engineering - ICSE 2014  
At ICSE'2013, there was the first session ever dedicated to automatic program repair. In this session, Kim et al. presented PAR, a novel template-based approach for fixing Java bugs.  ...  First, we aim at explaining why we disagree with Kim and colleagues and why the reasons behind this disagreement are important for research on automatic software repair in general.  ...  Automatic software repair also much relates to software testing (w.r.t. the techniques used to detect and diagnose the bugs), to program synthesis (when it comes to create a correct piece of code), and  ... 
doi:10.1145/2568225.2568324 dblp:conf/icse/Monperrus14 fatcat:oy472mm3vjfgjaldn2uu6bjl44

Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset [article]

Matias Martinez and Thomas Durieux and Jifeng Xuan and Romain Sommerard and Martin Monperrus
2015 arXiv   pre-print
In this paper, we report on an experiment to explore the effectiveness of automatic repair on Defects4J.  ...  This analysis shows that test-suite based repair suffers from under-specified bugs, for which trivial and incorrect patches still pass the test suite.  ...  To us, Defects4J is the best dataset of real world Java bugs, both in terms of size and quality.  ... 
arXiv:1505.07002v2 fatcat:izjxdsej2ndubjfymftkdpgeje

Current challenges in automatic software repair

Claire Le Goues, Stephanie Forrest, Westley Weimer
2013 Software quality journal  
Recent research has made significant progress on the problem of automatic program repair, using techniques such as evolutionary computation, instrumentation and run-time monitoring, and sound synthesis  ...  We summarize algorithmic improvements and recent experimental results. Second, we review related work in the rapidly growing subfield of automatic program repair.  ...  Scalability and success GenProg has repaired bugs in large programs with large test suites, as shown both in Tables 1 and 2.  ... 
doi:10.1007/s11219-013-9208-0 fatcat:g55pwby6vbdhvf3fjyktzjodnq

A Survey of Test Based Automatic Program Repair

Yuzhen Liu, Long Zhang, Zhenyu Zhang
2018 Journal of Software  
Hence automatic program repair techniques, especially the test-based approaches, have drawn great attentions in recent years.  ...  When a bug is located, manually fixing it to repair the buggy program is still a difficult and laborious task for developers.  ...  When a program is reported as buggy, repairing work is supposed to be done to locate and analyze the fault. Automatic repair usually adapts the step of automatic fault localization ahead.  ... 
doi:10.17706/jsw.13.8.437-452 fatcat:dz3jksehabg2nptmugyuchghqu

Automatic Software Repair

Martin Monperrus
2018 ACM Computing Surveys  
It provides a novel and structured overview of the diversity of bug oracles and repair operators used in the literature.  ...  This article presents a survey on automatic software repair. Automatic software repair consists of automatically finding a solution to software bugs without human intervention.  ...  [100] uses as oracle a manually written bug report. The have parameterized repair templates and extract the actual value of the template parameter from the bug report.  ... 
doi:10.1145/3105906 fatcat:zbrbc6e22rdeja4vfrx7j57g5e

DroidBugs: An Android Benchmark for Automated Program Repair [article]

Larissa Azevedo and Altino Dantas and Celso G. Camilo-Junior
2018 arXiv   pre-print
Automated Program Repair (APR) is an emerging research field. Many APR techniques, for different programming language and platforms, have been proposed and evaluated on several Benchmarks.  ...  By using an APR tool, called Astor4Android, and two common Fault Localization strategy, it was observed how challenging is to find and fix mobile bugs.  ...  ACKNOWLEDGMENT Authors would like to thank the Fundação de Amparò a Pesquisa do Estado de Goiás (FAPEG) and the Programa Institucional de Bolsas de Iniciação Cientifica of UFG for suppoting this research  ... 
arXiv:1809.07353v2 fatcat:yazhg5g6bzev3hcpxlzvr53yse

A systematic study of automated program repair: Fixing 55 out of 105 bugs for $8 each

Claire Le Goues, Michael Dewey-Vogt, Stephanie Forrest, Westley Weimer
2012 2012 34th International Conference on Software Engineering (ICSE)  
and "How much does it cost to repair a bug automatically?" In previous work, we presented GenProg, which uses genetic programming to repair defects in off-the-shelf C programs.  ...  We evaluate GenProg on 105 defects from 8 open-source programs totaling 5.1 million lines of code and involving 10,193 test cases. GenProg automatically repairs 55 of those 105 defects.  ...  We report novel enhancements to GenProg, an automated program repair technique based on genetic program, which significantly improve repair success and enable scalability. 10 With new representation,  ... 
doi:10.1109/icse.2012.6227211 dblp:conf/icse/GouesDFW12 fatcat:kce2r6m2xzcxbejoyq5zoxaru4

BEARS: An Extensible Java Bug Benchmark for Automatic Program Repair Studies

Fernanda Madeiral, Simon Urli, Marcelo Maia, Martin Monperrus
2019 2019 IEEE 26th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
Benchmarks of bugs are essential to empirically evaluate automatic program repair tools.  ...  In this paper, we present Bears, a project for collecting and storing bugs into an extensible bug benchmark for automatic repair studies in Java.  ...  Fernanda Madeiral would also like to thank Thomas Durieux for discussions around BEARS, and the Spirals team/INRIA for the resources used for the collection of bugs.  ... 
doi:10.1109/saner.2019.8667991 dblp:conf/wcre/DelfimUMM19 fatcat:l45rp74evrcf5mmedorozamggu
« Previous Showing results 1 — 15 out of 6,656 results