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

Displayed 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 Bagheri University of Nebraska-Lincoln, USA
14:00
20m
Talk
SapFix: Automated End-to-End Repair at ScaleSEIPIndustry Program
Software Engineering in Practice
Alexandru Marginean University College London, UK, Johannes Bader Facebook, Satish Chandra Facebook, Mark Harman Facebook and University College London, Yue Jia University College London, Ke Mao Facebook, Alexander Mols Facebook, Andrew Scott Facebook
14:20
20m
Talk
VFix: Value-Flow-Guided Precise Program Repair for Null Pointer DereferencesArtifacts Evaluated ReusableTechnical Track
Technical Track
Xuezheng Xu UNSW Sydney, Yulei Sui University of Technology Sydney, Australia, Hua Yan University of New South Wales, Jingling Xue UNSW Sydney
14:40
10m
Talk
ARJA: Automated Repair of Java Programs via Multi-Objective Genetic ProgrammingJournal-First
Journal-First Papers
Yuan Yuan Michigan State University, Wolfgang Banzhaf Michigan State University
14:50
20m
Talk
On Reliability of Patch Correctness AssessmentTechnical Track
Technical Track
Xuan Bach D. Le Carnegie Mellon University, Lingfeng Bao Zhejiang University City College, David Lo Singapore Management University, Xin Xia Monash University, Shanping Li , Corina S. Păsăreanu Carnegie Mellon University Silicon Valley, NASA Ames Research Center
15:10
10m
Talk
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 Martinez University of Valenciennes, Benjamin Danglot University Lille 1 and INRIA, Thomas Durieux INRIA, Martin Monperrus KTH Royal Institute of Technology
15:20
10m
Talk
Discussion Period
Papers