安吉利克斯 swMATH ID: 26887 软件作者: S.Mechtaev、J.Yi、A.Roychoudhury 描述: Angelix:基于语义的测试驱动的C程序自动修复工具。自动程序修复。自动化程序修复这一曾经的未来主义想法正逐渐成为现实。最近提出了几种自动修复错误的方法。它们可以分为基于搜索的方法和基于语义的方法。我们的基于语义分析的修复工具Angelix根据程序的语义信息合成修复,并扩展到真实世界的软件。此外,我们的修复方法可以修复相互依赖的多个缺陷位置。在我们的实验中,Angelix通过Wireshark和Php等大型程序进行修复。我们还成功地为众所周知的心跳漏洞生成了补丁。 主页: http://angelix.io(安吉利克斯)/ 相关软件: 先知;SemFix公司;代码缺陷;Qlose(关闭);缺陷4J;格佐尔塔;诺波尔;ASTOR公司;GenProg公司;CBMC公司;z3(零3);DL修复;深度修复;QuixBugs公司;JFIX公司;jGenProg公司;ARJA公司;j金属;SLAM公司;投掷 引用于: 3文件 全部的 前5名12位作者引用 1 斯蒂芬妮·福雷斯特 1 哈达尔·弗兰克尔 1 奥尔纳·格伦伯格 1 迪帕克·卡普尔 1 贝斯玛·哈里丁 1 马蒂亚斯·马丁内斯 1 阿里·米莉 1 Nguyen,Thanhvu H。 1 罗滕贝格,Bat Chen 1 莎莱·申瓦尔德 1 韦斯特利·威默 1 Aleksandr Zakharchenko 连载1篇 1 信息学报 在1个字段中引用 三 计算机科学(68至XX) 按年份列出的引文