SemFix公司 swMATH ID: 17449 软件作者： Hoang Duong Thien Nguyen、Dawei Qi、Abhik Roychoudhury、Satish Chandra 描述： SemFix：通过语义分析修复程序。调试在任何主要的软件开发项目中都会耗费大量的时间和精力。此外，即使在确定了错误的根本原因之后，修复错误也不是件容易的事。在这种情况下，自动化程序修复方法很有价值。本文提出了一种基于符号执行、约束求解和程序综合的自动修复方法。在我们的方法中，修复代码通过给定测试集的要求被表示为约束。然后，通过在修复表达式的分层空间上迭代来解决此类约束，该空间按修复代码的复杂性分层。我们将我们的方法与最近提出的基于遗传编程的修复SIR程序（带有种子错误）以及GNU Coreutils片段（带有实际错误）的方法进行了比较。在这些问题上，我们的方法报告了比基于遗传编程的修复更高的成功率，并且修复速度更快。 主页： http://dl.acm.org/citation.cfm？id=2486890 相关软件： 先知;安吉利克斯;缺陷4J;格佐尔塔;诺波尔;ASTOR公司;GenProg公司;DL修复;深度修复;QuixBugs公司;深度编码器;MCGP公司;FlashMeta软件;FlowDroid（流动机器人）;闪光继电器;TAJ公司;闪光提取;烟尘;WALA公司;github 引用于： 4文件 全部的 前5名14位作者引用 1 艾丁·戈尔（Ebru Aydin Gol） 1 梅尔特·埃尔古图纳 1 斯蒂芬妮·福雷斯特 1 迪帕克·卡普尔 1 贝斯玛·哈里丁 1 马蒂亚斯·马丁内斯 1 阿里·米利 1 Nguyen，Thanhvu H。 1 王旭东 1 韦斯特利·威默 1 徐学政 1 薛晶玲 1 亚尔辛卡亚，贝亚齐特 1 Aleksandr Zakharchenko 连载1篇 2 信息学报 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文