There are no files associated with this item.
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.citation.conferencePlace | IT | - |
dc.citation.conferencePlace | Florence | - |
dc.citation.endPage | 458 | - |
dc.citation.startPage | 448 | - |
dc.citation.title | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015 | - |
dc.contributor.author | Yi, Jooyong | - |
dc.contributor.author | Mechtaev, Sergey | - |
dc.contributor.author | Roychoudhury, Abhik | - |
dc.date.accessioned | 2023-12-19T22:36:31Z | - |
dc.date.available | 2023-12-19T22:36:31Z | - |
dc.date.created | 2019-02-28 | - |
dc.date.issued | 2015-05-16 | - |
dc.description.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 human-related 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-the-art 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. | - |
dc.identifier.bibliographicCitation | 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, pp.448 - 458 | - |
dc.identifier.doi | 10.1109/ICSE.2015.63 | - |
dc.identifier.issn | 0270-5257 | - |
dc.identifier.scopusid | 2-s2.0-84951828013 | - |
dc.identifier.uri | https://scholarworks.unist.ac.kr/handle/201301/35545 | - |
dc.identifier.url | https://ieeexplore.ieee.org/document/7194596 | - |
dc.language | 영어 | - |
dc.publisher | IEEE Computer Society | - |
dc.title | DirectFix: Looking for simple program repairs | - |
dc.type | Conference Paper | - |
dc.date.conferenceDate | 2015-05-16 | - |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Tel : 052-217-1404 / Email : scholarworks@unist.ac.kr
Copyright (c) 2023 by UNIST LIBRARY. All rights reserved.
ScholarWorks@UNIST was established as an OAK Project for the National Library of Korea.