* 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

Conference Day
Wed 30 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Software Repair IITechnical Papers / Journal first papers at H1 room
Chair(s): Alessandro OrsoGeorgia Tech
Semantic Program Repair Using a Reference Implementation
Technical Papers
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
Automated Repair of Mobile Friendly Problems in Web Pages
Technical Papers
Sonal MahajanUniversity of Southern California, USA, Negarsadat Abolhassani, Phil McMinnUniversity of Sheffield, William G.J. HalfondUniversity of Southern California
Static Automated Program Repair for Heap PropertiesAward
Technical Papers
Rijnard van TonderCarnegie Mellon University, Claire Le GouesCarnegie Mellon University
Pre-print File Attached
Overfitting in Semantics-based Automated Program Repair
Journal first papers
Xuan-Bach D. LeSingapore Management University, Singapore, Ferdian Thung, David LoSingapore Management University, Claire Le GouesCarnegie Mellon University
Q&A in groups
Technical Papers