Filters








25,942 Hits in 6.4 sec

A deeper look into bug fixes

Mauricio Soto, Ferdian Thung, Chu-Pan Wong, Claire Le Goues, David Lo
2016 Proceedings of the 13th International Workshop on Mining Software Repositories - MSR '16  
We make observations that can be leveraged to guide high quality automatic software repair to target Java specifically, including common and uncommon statement modifications in human patches and the applicability  ...  Many implementations of research techniques that automatically repair software bugs target programs written in C.  ...  INTRODUCTION There has been considerable recent attention paid to automatic program repair (e.g., [5, 6, 9, 7] ).  ... 
doi:10.1145/2901739.2903495 dblp:conf/msr/SotoTWGL16 fatcat:am5rqup6kzc4xoo27woh7fxe2y

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.  ...  Second, we aim at contributing to the field with a clarification of the essential ideas behind automatic software repair.  ...  PAR introduces a new technique to fix bugs, based on templates. Each of PAR's ten repair templates represents a common way to fix a common kind of bug.  ... 
doi:10.1145/2568225.2568324 dblp:conf/icse/Monperrus14 fatcat:oy472mm3vjfgjaldn2uu6bjl44

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.  ...  This kind of fault is common and can be easily fixed by mutation techniques, and the attempts to repair program automatically by mutation searching are carried out early in the field of TBR.  ... 
doi:10.17706/jsw.13.8.437-452 fatcat:dz3jksehabg2nptmugyuchghqu

Automatic Software Repair

Martin Monperrus
2018 ACM Computing Surveys  
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 article considers all kinds of repairs. First, it discusses behavioral repair where test suites, contracts, models, and crashing inputs are taken as oracle.  ...  PAR is based on repair templates: each of PAR's ten repair templates represents a common way to fix a common kind of bug.  ... 
doi:10.1145/3105906 fatcat:zbrbc6e22rdeja4vfrx7j57g5e

Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects

Yukun Dong, Mengying Wu, Shanchen Pang, Li Zhang, Wenjing Yin, Meng Wu, Haojie Li
2020 Symmetry  
This paper realizes the automatic repair of the typical semantic defects of Java programs and the automatic elimination of false positives by adding safe constraint patches.  ...  To solve these problems, the safe constraints interval of related variables and methods are proposed for the semantic defects in the program, and proposes a functionally equivalent no-side-effect program-semantic  ...  This may include administrative and technical support, or donations in kind (e.g., materials used for experiments). Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/sym12122076 fatcat:23jfvjmtbnbjxm7my3ifplk6eq

A Closer Look at Real-World Patches

Kui Liu, Dongsun Kim, Anil Koyuncu, Li Li, Tegawende F. Bissyande, Yves Le Traon
2018 2018 IEEE International Conference on Software Maintenance and Evolution (ICSME)  
To improve automated program repair (APR) techniques, the community should deepen its knowledge on repair actions from real-world patches since most of the techniques rely on patches written by human developers  ...  and nonsensical changes).  ...  Program repair with real-world patches: Kim et al. [39] proposed PAR which utilizes common fix patterns to automatically fix bugs. Le et al.  ... 
doi:10.1109/icsme.2018.00037 dblp:conf/icsm/Liu0K0BT18 fatcat:che3ktarqvdx7j76ze6rsq5bha

Automatic repair of buggy if conditions and missing preconditions with SMT

Favio DeMarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus
2014 Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis - CSTVA 2014  
As input, it takes a program and a test suite which contains passing test cases modeling the expected behavior of the program and at least one failing test case embodying the bug to be repaired.  ...  We present Nopol, an approach for automatically repairing buggy if conditions and missing preconditions.  ...  Acknowledgments This work is partially supported by the INRIA Internships program and the CNRS delegation program. We would like to thank David Cok for giving us full access to jSMTLIB.  ... 
doi:10.1145/2593735.2593740 dblp:conf/icse/DemarcoXBM14 fatcat:yvdxyovgezggjbahdagzfz4se4

Automatic Software Repair: A Survey

Luca Gazzola, Daniela Micucci, Leonardo Mariani
2017 IEEE Transactions on Software Engineering  
In particular, repairing solutions have been able to automatically produce useful fixes for several classes of bugs that might be present in software programs.  ...  To reduce developers workload, repairing and healing techniques have been extensively investigated as solutions for efficiently repairing and maintaining software in the last few years.  ...  ACKNOWLEDGMENTS The authors would like to thank Fan Long, Shan Lu, Xiaoguang Mao, and Abhik Roychoudhury for their comments on an early version of this paper.  ... 
doi:10.1109/tse.2017.2755013 fatcat:jhmvi3ty6vczdgheadvqibcfou

Automatic program repair with evolutionary computation

Westley Weimer, Stephanie Forrest, Claire Le Goues, ThanhVu Nguyen
2010 Communications of the ACM  
We find this information by assigning each statement a unique ID and instrumenting the program to print out the ID of each statement visited. 14 This allows our approach to scale to larger program sizes  ...  For example, while the atris program contains a total of 8068 statement nodes (Table 1) , we use this fault localization information to bias the search toward 34 statement nodes that are likely to matter  ... 
doi:10.1145/1735223.1735249 fatcat:x5cdm7b3ffan7gni6zyuuq36gm

History Driven Program Repair

Xuan Bach D. Le, David Lo, Claire Le Goues
2016 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER)  
Effective automated program repair techniques have great potential to reduce the costs of debugging and maintenance.  ...  Our main insight is that recurring bug fixes are common in real-world applications, and that previously-appearing fix patterns can provide useful guidance to an automated repair technique.  ...  ACKNOWLEDGMENT We would like to thank Just et al. for releasing the Defect4J dataset [22] and Monperrus et al. for releasing their implementation of GenProg 8 which works for Java programs [14] .  ... 
doi:10.1109/saner.2016.76 dblp:conf/wcre/LeLG16 fatcat:lrj6rwvur5fhpn7y5u2qedezxm

Automated repair of HTML generation errors in PHP applications using string constraint solving

Hesam Samimi, Max Schafer, Shay Artzi, Todd Millstein, Frank Tip, Laurie Hendren
2012 2012 34th International Conference on Software Engineering (ICSE)  
Both tools were implemented as an Eclipse plugin and evaluated on PHP programs containing hundreds of HTML generation errors, most of which our tools were able to repair automatically.  ...  ., statements that print string literals, and present two tools for automatically repairing such HTML generation errors. PHPQuickFix repairs simple bugs by statically analyzing individual prints.  ...  , or takes the amount of change to each print statement into consideration.  ... 
doi:10.1109/icse.2012.6227186 dblp:conf/icse/SamirniSAMTH12 fatcat:tk6mrfjrznd2dopwicffif2q7a

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.  ...  All their systems and experimental results are publicly available on Github in order to facilitate future research on automatic repair.  ...  BACKGROUND In this paper, we consider one kind of automatic repair called test-suite based repair.  ... 
arXiv:1505.07002v2 fatcat:izjxdsej2ndubjfymftkdpgeje

FixMiner: Mining Relevant Fix Patterns for Automated Program Repair [article]

Anil Koyuncu and Kui Liu and Tegawendé F. Bissyandé and Dongsun Kim and Jacques Klein and Martin Monperrus and Yves Le Traon
2019 arXiv   pre-print
Preliminary results show that we are able to mine accurate patterns, efficiently exploiting change information in Rich Edit Scripts.  ...  We further integrated the mined patterns to an automated program repair prototype, PARFixMiner, with which we are able to correctly fix 26 bugs of the Defects4J benchmark.  ...  A common and reliable strategy in automatic program repair is to generate concrete patches based on fix patterns [33] (also referred to as fix templates [54] or program transformation schemas [27]  ... 
arXiv:1810.01791v2 fatcat:zye5fkvk3rgoveswhvzafyr2fq

Dissection of a bug dataset: Anatomy of 395 patches from Defects4J

Victor Sobreira, Thomas Durieux, Fernanda Madeiral, Martin Monperrus, Marcelo de Almeida Maia
2018 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER)  
Well-designed and publicly available datasets of bugs are an invaluable asset to advance research fields such as fault localization and program repair as they allow directly and fairly comparison between  ...  Quantitative properties (patch size and spreading) were automatically extracted, whereas qualitative ones (repair actions and patterns) were manually extracted using a thematic analysis-based approach.  ...  ACKNOWLEDGEMENT We acknowledge CNRS, CAPES (SticAmSud Program), CNPq and FAPEMIG for partially funding this research.  ... 
doi:10.1109/saner.2018.8330203 dblp:conf/wcre/SobreiraDDMM18 fatcat:l5om42iemzdj3cud52oe55l2mm

Obstacles in Fully Automatic Program Repair: A survey [article]

S. Amirhossein Mousavi, Donya Azizi Babani, Francesco Flammini
2020 arXiv   pre-print
The current article is an interdisciplinary attempt to decipher automatic program repair processes. The review is done by the manner typical to human science known as diffraction.  ...  As a conclusion, we suggest a shift in the current approach to automatic program repair operations in order to attain our goals. The emphasis of this review is to achieve full automation.  ...  [75] infer that common programming languages do not contain these annotations.  ... 
arXiv:2011.02714v1 fatcat:wudep56jqjfa3dgh4zogtmalji
« Previous Showing results 1 — 15 out of 25,942 results