* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Wed 30 May 2018 14:00 - 14:20 at H1 room - Software Repair II Chair(s): Alessandro Orso

Automated program repair has been studied via the use of techniques involving search, semantic analysis and artificial intelligence. Most of these techniques rely on tests as the correctness criteria, which causes the test overfitting problem. Although various approaches such as learning from code corpus have been proposed to address this problem, they are unable to guarantee that the generated patches generalize beyond the given tests. This work studies automated repair of errors using a reference implementation. The reference implementation is symbolically analyzed to automatically infer a specification of the intended behavior. This specification is then used to synthesize a patch that enforces conditional equivalence of the patched and the reference programs. The use of the reference implementation as an implicit correctness criterion alleviates overfitting in test-based repair. Besides, since we generate patches by semantic analysis, the reference program may have a substantially different implementation from the patched program, which distinguishes our approach from existing techniques for regression repair like Relifix. Our experiments in repairing the embedded Linux Busybox with GNU Coreutils as reference (and vice-versa) revealed that the proposed approach scales to real-world programs and enables the generation of more correct patches.

Paper (ICSE18-SEMGRAFT.pdf)772KiB
Presentation (semgraft-icse18.pdf)257KiB

Wed 30 May

icse-2018-Technical-Papers
14:00 - 15:30: Technical Papers - Software Repair II at H1 room
Chair(s): Alessandro Orso
icse-2018-Technical-Papers152768160000014:00 - 14:20
Talk
File Attached
icse-2018-Technical-Papers152768280000014:20 - 14:40
Talk
icse-2018-Technical-Papers152768400000014:40 - 15:00
Talk
Pre-print File Attached
icse-2018-Journal-first-papers152768520000015:00 - 15:20
Talk
Pre-print
icse-2018-Technical-Papers152768640000015:20 - 15:30
Talk