arrow
返回

GenProg: A Generic Method for Automatic Software Repair

delete2012-01-01
delete594
PRE
AI
C
Claire Le Goues *
T
ThanhVu Nguyen
S
Stephanie Forrest
W
Westley Weimer
DOI:10.1109/TSE.2011.104delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
This paper describes GenProg, an automated method for repairing defects in off-the-shelf, legacy programs without formal specifications, program annotations, or special coding practices. GenProg uses an extended form of genetic programming to evolve a program variant that retains required functionality but is not susceptible to a given defect, using existing test suites to encode both the defect and required functionality. Structural differencing algorithms and delta debugging reduce the difference between this variant and the original program to a minimal repair. We describe the algorithm and report experimental results of its success on 16 programs totaling 1.25 M lines of C code and 120K lines of module code, spanning eight classes of defects, in 357 seconds, on average. We analyze the generated repairs qualitatively and quantitatively to demonstrate that the process efficiently produces evolved programs that repair the defect, are not fragile input memorizations, and do not lead to serious degradation in functionality.
Keyword:
Automatic programming
corrections
testing and debugging
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.9K
被引数:
1.1W

机构

U
University of Virginia
学者数:
3.0W
论文数: 2.7W
被引数: 4.1W
U
university of new mexico
学者数:
1.6W
论文数: 1.3W
被引数: 25
引用论文

引用论文

Involvement of Peritoneal Macrophage in the Induction of Cytotoxicity Due to Apoptosis in Ascitic Fluid Associated with Severe Acute Pancreatitis
err1999-04-01
err0
PREAI
errYoshifumi Takeyama; Junsuke Nishikawa; Takashi Ueda; Yuichi Hori; Masahiro Yamamoto; Yoshikazu Kuroda
err分享
err收藏
Enzymatic analysis of total- and HDL-cholesterol: Comparison with the standardized Liebermann-Burchard method used by the lipid research clinics program
err1988-06-01
err0
errOAAI
errPaul S. Bachorik; Donna G. Virgil; Carol Derby; David Widman; Robert McMahon; Robinson P. Fulwood; Trena Ezzati
err分享
err收藏
Prevalence and Burden Related to Genital Warts in India
err2018-06-01
err0
PREAI
errUday S. Khopkar; Murlidhar Rajagopalan; Anahita R. Chauhan; Smita Kothari-Talwar; Puneet K. Singhal; Karen Yee; Amit Kulkarni; Nuria Lara; Montserrat Roset; Anna R. Giuliano; Suzanne M. Garland
err分享
err收藏
Staffing a software project: A constraint satisfaction and optimization-based approach
err2008-10-01
err97
PREAI
errBarreto, Ahilton; Barros, Marcio de O.; Werner, Claudia M. L.
err分享
err收藏
Attitudes Toward the Use of Racial/Ethnic Profiling to Prevent Crime and Terrorism
err2011-02-01
err0
PREAI
errDevon Johnson; Daniel Brazier; Katrina Forrest; Crispin Ketelhut; Darron Mason; Marc Mitchell
err分享
err收藏
学者 查看更多内容