使用ABETS通过切片进行基于断言的分析（系统描述）
Assertion-based Analysis via Slicing with ABETS (System Description)
摘要：
我们提出了ABETS，一个基于断言的，动态的分析，有助于诊断错误的Maude程序。ABETS使用切片来自动创建运行的执行跟踪和已执行程序的简化版本，其中删除了与当前诊断的错误无关的任何信息。此外，ABETS采用运行时断言检查来自动识别错误，以便每当违反断言时，系统自动从故障中推断出准确的切片标准。我们总结了ABETS提供的主要服务，其中还包括一个新的断言为基础的设施，程序修复，生成合适的程序修复时，状态不变被侵犯。最后，我们提供了一个实验评估，显示系统的性能和有效性。正在考虑将这份文件发表在TPLP上。
英文摘要：
We present ABETS, an assertion-based, dynamic analyzer that helps diagnose errors in Maude programs. ABETS uses slicing to automatically create reduced versions of both a run's execution trace and executed program, reduced versions in which any information that is not relevant to the bug currently being diagnosed is removed. In addition, ABETS employs runtime assertion checking to automate the identification of bugs so that whenever an assertion is violated, the system automatically infers accurate slicing criteria from the failure. We summarize the main services provided by ABETS, which also include a novel assertion-based facility for program repair that generates suitable program fixes when a state invariant is violated. Finally, we provide an experimental evaluation that shows the performance and effectiveness of the system. This paper is under consideration for publication in TPLP.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
