Automatic Inference of Code Transforms for Patch Generation

被引：116
作者：
Long, Fan [1 ,2 ]
Amidon, Peter [3 ]
Rinard, Martin [1 ,2 ]
机构：
[1] MIT EECS, Cambridge, MA 02142 USA
[2] CSAIL, Cambridge, MA 02139 USA
[3] Univ Calif San Diego, San Diego, CA USA
来源：
ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING | 2017年
关键词：
Patch generation; Code transform; Search space inference;
D O I：
10.1145/3106237.3106253
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a new system, Genesis, that processes human patches to automatically infer code transforms for automatic patch generation. We present results that characterize the effectiveness of the Genesis inference algorithms and the complete Genesis patch generation system working with real-world patches and defects collected from 372 Java projects. To the best of our knowledge, Genesis is the first system to automatically infer patch generation transforms or candidate patch search spaces from previous successful patches.
引用
收藏
页码：727 / 739
页数：13
相关论文
共 42 条
  • [1] [Anonymous], 2013, NDSS
  • [2] [Anonymous], 2006, P 2006 INT S SOFTWAR
  • [3] [Anonymous], 2016, COMPUTER AIDED VERIF
  • [4] [Anonymous], 2015, ISSTA
  • [5] [Anonymous], 2016, PROC EUR C COMPUT VI
  • [6] Bielik Pavol, 2016, P 33 INT C MACH LEAR
  • [7] Chandra S, 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), P121, DOI 10.1145/1985793.1985811
  • [8] DeMarco Favio, 2014, P 6 INT WORKSHOP CON, P30
  • [9] Goal-directed reasoning for specification-based data structure repair
    Demsky, Brian
    Rinard, Martin C.
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (12) : 931 - 951
  • [10] Nguyen HDT, 2013, PROCEEDINGS OF THE 35TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2013), P772, DOI 10.1109/ICSE.2013.6606623
12345