GenProg公司 swMATH ID: 22863 软件作者: 古伊斯,C;Nguyen,T;Forrest,S;韦默,W, 描述: GenProg:一种通用的软件自动修复方法。本文描述了GenProg,这是一种在没有正式规范、程序注释或特殊编码实践的离线遗留程序中修复缺陷的自动化方法。GenProg使用一种扩展形式的遗传编程来进化一种程序变体,该变体保留了所需的功能,但不易受到给定缺陷的影响,使用现有测试套件对缺陷和所需功能进行编码。结构差异算法和增量调试将此变体与原始程序之间的差异减少到最小修复。我们描述了该算法,并报告了它在16个程序上的成功实验结果,总共1.25 M行C代码和120K行模块代码,平均在357秒内跨越了八类缺陷。我们对生成的修复进行了定性和定量分析,以证明该过程有效地生成了改进的程序,这些程序修复了缺陷,不是脆弱的输入记忆,并且不会导致功能严重退化。 主页: http://ieeexplore.iee.org/document/6035728网址:/ 相关软件: 缺陷4J;先知;安吉利克斯;格佐尔塔;诺波尔;阿斯托尔;SemFix公司;推动;PyshGP公司;PushGP(推送GP);SQL生成器;PyGGI公司;杜松子酒;电子表格编码器;深度编码器;鲁棒填充;PonyGE2系列;DL修复;深度修复;QuixBugs公司 引用于: 5文件 全部的 前5名13位作者引用 1 沃尔夫冈班扎夫 1 托比亚斯·弗里德里希 1 贝斯玛·哈里丁 1 佐尔坦·A·科希斯。 1 蒂莫·科茨 1 J.A.Gregor,Lagodzinski 1 马蒂亚斯·马丁内斯 1 阿里·米莉 1 弗兰克·诺伊曼 1 皮埃尔·帕伦德 1 马丁·施奈克 1 杰里·斯旺 1 Aleksandr Zakharchenko 5篇连载文章中引用 1 信息学报 1 人工智能 1 理论计算机科学 1 自动推理杂志 1 系统科学与复杂性杂志 在3个字段中引用 4 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文