教唆 swMATH ID: 31985 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 描述： 通过ABETS（系统描述）切片进行基于断言的分析。我们介绍了ABETS，一种基于断言的动态分析器，可以帮助诊断Maude程序中的错误。ABETS使用切片来自动创建运行的执行跟踪和执行程序的简化版本，其中删除了与当前诊断的错误无关的任何信息。此外，ABETS使用运行时断言检查来自动识别错误，以便无论何时违反断言，系统都会自动从故障中推断出准确的切片标准。我们总结了ABETS提供的主要服务，其中还包括一种新的基于断言的程序修复工具，该工具在违反状态不变量时生成合适的程序修复。最后，我们提供了一个实验评估，表明了系统的性能和有效性。 主页： https://arxiv.org/abs/1608.01433 相关软件： 莫德;GLINTS公司;MTT公司;塔马林;莫德-NPA;Liquid Haskell公司;美国汽车制造商协会;艾朱利安;SEViz公司;毛德夫;咖喱 引用于： 4文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 通过使用\（\mathsf{ABETS}\）切片进行基于断言的分析（系统描述）。 Zbl 1379.68088号Alpunte，M。;弗雷奇纳，F。;萨皮尼亚，J。;D.巴利斯。 2016 全部的 前5名6位作者引用 4 玛丽亚·阿尔普特 4 黛米斯·巴利斯 4 朱莉娅·萨皮娜 2 圣地亚哥埃斯科瓦尔 1 弗朗西斯科·弗雷奇纳 1 何塞·梅塞盖尔·瓜伊塔 2篇连载文章中引用 2 逻辑程序设计理论与实践 1 计算机科学中的数学 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文