Mechtaev, Sergey;
Yi, Jooyong;
Roychoudhury, Abhik;
(2015)
DirectFix: Looking for Simple Program Repairs.
In: Bertolino, Antonia and Canfora, Gerardo and Elbaum, Sebastian G, (eds.)
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
(pp. pp. 448-458).
IEEE: Florence, Italy.
Preview |
Text
icse15.pdf - Accepted Version Download (374kB) | Preview |
Abstract
Recent advances in program repair techniques have raised the possibility of patching bugs automatically. For an automatically generated patch to be accepted by developers, it should not only resolve the bug but also satisfy certain humanrelated factors including readability and comprehensibility. In this paper, we focus on the simplicity of patches (the size of changes). We present a novel semantics-based repair method that generates the simplest patch such that the program structure of the buggy program is maximally preserved. To take into account the simplicity of repairs in an efficient way (i.e., without explicitly enumerating each repair candidate for each fault location), our method fuses fault localization and repair generation into one step. We do so by leveraging partial MaxSAT constraint solving and component-based program synthesis. We compare our prototype implementation, DirectFix, with the state-of-theart semantics-based repair tool SemFix, that performs fault localization before repair generation. In our experiments with SIR programs and GNU Coreutils, DirectFix generates repairs that are simpler than those generated by SemFix. Since both DirectFix and SemFix are test-driven repair tools, they can introduce regressions for other tests which do not drive the repair. We found that DirectFix causes substantially less regression errors than SemFix.
| Type: | Proceedings paper |
|---|---|
| Title: | DirectFix: Looking for Simple Program Repairs |
| Event: | IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE) |
| Location: | Florence, ITALY |
| Dates: | 16 May 2015 - 24 May 2015 |
| ISBN-13: | 9781479919345 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/ICSE.2015.63 |
| Publisher version: | https://ieeexplore.ieee.org/xpl/conhome/7174815/pr... |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions. |
| Keywords: | Science & Technology, Technology, Computer Science, Software Engineering, Engineering, Electrical & Electronic, Computer Science, Engineering, ERRORS |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10184116 |
Loading...
Loading...Loading...Loading...Archive Staff Only
 |
View Item |
