* 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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30: Technical Papers - Software Repair II at H1 room
Chair(s): Alessandro OrsoGeorgia Tech
icse-2018-Technical-Papers14:00 - 14:20
Sergey MechtaevNational University of Singapore, Manh-Dung Nguyen, Yannic NollerHumboldt-Universität zu Berlin, Lars GrunskeHumboldt-Universität zu Berlin, Abhik RoychoudhuryNational University of Singapore
File Attached
icse-2018-Technical-Papers14:20 - 14:40
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
icse-2018-Technical-Papers14:40 - 15:00
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
icse-2018-Journal-first-papers15:00 - 15:20
Xuan-Bach D. LeSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
icse-2018-Technical-Papers15:20 - 15:30