Staged Program Repair with Condition Synthesis

被引：216

作者：

Long, Fan ^{[1
]}

Rinard, Martin

机构：

[1] MIT, EECS, Cambridge, MA 02139 USA

来源：

2015 10TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2015) PROCEEDINGS | 2015年

关键词：

Program repair; Staged repair; Condition synthesis;

D O I：

10.1145/2786805.2786811

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present SPR, a new program repair system that combines staged program repair and condition synthesis. These techniques enable SPR to work productively with a set of parameterized transformation schemas to generate and efficiently search a rich space of program repairs. Together these techniques enable SPR to generate correct repairs for over five times as many defects as previous systems evaluated on the same benchmark set.

引用

页码：166 / 178

页数：13

共 36 条

[1] [Anonymous], 2006, P 2006 INT S SOFTWAR
[2] [Anonymous], 2015, CORR
[3] [Anonymous], 2014, P 36 INT C SOFTW ENG, P243
[4] Cadar Cristian, 2008, 8 USENIX OSDI SAN DI, P209
[5] Chandra S, 2011, 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), P121, DOI 10.1145/1985793.1985811
[6] Debroy Vidroha, 2010, Proceedings of the Third IEEE International Conference on Software Testing, Verification and Validation (ICST 2010), P65, DOI 10.1109/ICST.2010.66
[7] DeMarco F, 2014, P 6 INT WORKSHOP CON, P30
[8] Automatic detection and repair of errors in data structures
Demsky, B
Rinard, M
[J]. ACM SIGPLAN NOTICES, 2003, 38 (11) : 78 - 95
[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] Dobolyi Kinga, 2008, 2008 IEEE International Symposium on Software Reliability Engineering, P47, DOI 10.1109/ISSRE.2008.59

← 1 2 3 4 →