Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Thu 30 May 2019 14:20 - 14:40 at Laurier - Automated Repair 2 Chair(s): Hamid Bagheri

Automated Program Repair (APR) faces a key challenge in efficiently generating correct patches from a potentially infinite solution space. Existing approaches, which attempt to reason about the entire solution space, can be ineffective (by often producing no plausible patches at all) and imprecise (by often producing plausible but incorrect patches). We present VFix, a new value-flow-guided approach to APR, for fixing null pointer dereferences by considering a substantially reduced solution space in order to greatly increase the number of correct patches generated. By reasoning about the data and control dependences in the program, VFix can identify bug-relevant statements more accurately and generate more correct repairs than before. VFix outperforms the state-of-the-art tools when evaluating 8 existing APR tools using all the NPEs in Defects4j, in terms of both precision (by correctly fixing 3 times as many bugs as the most precise tool and more than 50% the correctly fixed bugs of all these 8 tools altogether) and efficiency (by producing a correct patch in minutes instead of hours).

Thu 30 May
Times are displayed in time zone: Eastern Time (US & Canada) change

14:00 - 15:30: Automated Repair 2Papers / Journal-First Papers / Software Engineering in Practice / Technical Track at Laurier
Chair(s): Hamid BagheriUniversity of Nebraska-Lincoln, USA
14:00 - 14:20
SapFix: Automated End-to-End Repair at ScaleSEIPIndustry Program
Software Engineering in Practice
Alexandru MargineanUniversity College London, UK, Johannes BaderFacebook, Satish ChandraFacebook, Mark HarmanFacebook and University College London, Yue JiaUniversity College London, Ke MaoFacebook, Alexander MolsFacebook, Andrew ScottFacebook
14:20 - 14:40
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer DereferencesArtifacts Evaluated ReusableTechnical Track
Technical Track
Xuezheng XuUNSW Sydney, Yulei SuiUniversity of Technology Sydney, Australia, Hua YanUniversity of New South Wales, Jingling XueUNSW Sydney
14:40 - 14:50
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic ProgrammingJournal-First
Journal-First Papers
Yuan YuanMichigan State University, Wolfgang BanzhafMichigan State University
14:50 - 15:10
On Reliability of Patch Correctness AssessmentTechnical Track
Technical Track
Xuan Bach D. LeCarnegie Mellon University, Lingfeng Bao Zhejiang University City College, David LoSingapore Management University, Xin XiaMonash University, Shanping Li, Corina S PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
15:10 - 15:20
Alleviating Patch Overfitting with Automatic Test Generation: A Study of Feasibility and Effectiveness for the Nopol Repair SystemJournal-First
Journal-First Papers
Zhongxing Yu, Matias MartinezUniversity of Valenciennes, Benjamin DanglotUniversity Lille 1 and INRIA, Thomas DurieuxINRIA, Martin MonperrusKTH Royal Institute of Technology
15:20 - 15:30
Discussion Period