Please use this identifier to cite or link to this item: https://doi.org/10.1109/ICSE.2013.6606623
Title: SemFix: Program repair via semantic analysis
Authors: Nguyen, H.D.T.
Qi, D.
Roychoudhury, A. 
Chandra, S.
Issue Date: 2013
Citation: Nguyen, H.D.T.,Qi, D.,Roychoudhury, A.,Chandra, S. (2013). SemFix: Program repair via semantic analysis. Proceedings - International Conference on Software Engineering : 772-781. ScholarBank@NUS Repository. https://doi.org/10.1109/ICSE.2013.6606623
Abstract: Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing the bug is non-trivial. Given this situation, automated program repair methods are of value. In this paper, we present an automated repair method based on symbolic execution, constraint solving and program synthesis. In our approach, the requirement on the repaired code to pass a given set of tests is formulated as a constraint. Such a constraint is then solved by iterating over a layered space of repair expressions, layered by the complexity of the repair code. We compare our method with recently proposed genetic programming based repair on SIR programs with seeded bugs, as well as fragments of GNU Coreutils with real bugs. On these subjects, our approach reports a higher success-rate than genetic programming based repair, and produces a repair faster. © 2013 IEEE.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/78345
ISBN: 9781467330763
ISSN: 02705257
DOI: 10.1109/ICSE.2013.6606623
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

160
checked on Nov 16, 2018

Page view(s)

39
checked on Oct 12, 2018

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.