ARepair: A Repair Framework for Alloy
ARepair: A Repair Framework for Alloy
复制标题
ARepair：合金修复框架
DOI：
10.1109/icse-companion.2019.00049
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
S. Khurshid
中科院分区：
文献类型：
--
作者：
Kaiyuan Wang;Allison Sullivan;S. Khurshid
研究人员提出了许多针对命令式语言的自动化程序修复技术，例如爪哇。但是，几乎没有做过用声明语言编写的计划的工作，例如合金。我们提出了Asepair，这是第一个用于错误合金模型的自动化程序维修技术。 Arepair作为输入有故障的合金模型和一组捕获所需模型属性的测试，并产生通过所有测试的固定模型。 ArePair使用为最近引入的AUNIT框架编写的测试，该框架为合金模型提供了单元测试的概念。在本文中，我们描述了我们的Java实现ArePair，这是一种命令行工具，它是Github上的开放式项目。我们的实验结果表明，Arepair能够在我们收集的38个现实世界中的错误模型中解决28个。可以在https://youtu.be/436drvwvvwvvebeu上找到AREPAIR的演示视频。
Researchers have proposed many automated program repair techniques for imperative languages, e.g. Java. However, little work has been done to repair programs written in declarative languages, e.g. Alloy. We proposed ARepair, the first automated program repair technique for faulty Alloy models. ARepair takes as input a faulty Alloy model and a set of tests that capture the desired model properties, and produces a fixed model that passes all tests. ARepair uses tests written for the recently introduced AUnit framework, which provides a notion of unit testing for Alloy models. In this paper, we describes our Java implementation of ARepair, which is a command-line tool, released as an open-source project on GitHub. Our experimental results show that ARepair is able to fix 28 out of 38 real-world faulty models we collected. The demo video for ARepair can be found at https://youtu.be/436drvWvbEU.
登录
查看更多内容
学习优化合金分析仪
DOI：
10.1109/icst.2019.00031
发表时间：
2019
期刊：
Validation and Verification (ICST
影响因子：
--
作者：
Wang, Wenxi;Wang, Kaiyuan;Zhang, Mengshi;Khurshid, Sarfraz
通讯作者：
Khurshid, Sarfraz
AUnit：合金测试自动化工具
DOI：
10.1109/icst.2018.00047
发表时间：
2018
期刊：
ICST Tool 2018
影响因子：
--
作者：
Sullivan, Allison;Wang, Kaiyuan;Khurshid, Sarfraz
通讯作者：
Khurshid, Sarfraz
DOI：
10.1109/issre5003.2020.00044
发表时间：
2018-07
期刊：
2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE)
影响因子：
--
作者：
Kaiyuan Wang;Allison Sullivan;D. Marinov;S. Khurshid
通讯作者：
Kaiyuan Wang;Allison Sullivan;D. Marinov;S. Khurshid
演化合金模型的增量分析
DOI：
10.1007/978-3-030-17462-0_10
发表时间：
2019
期刊：
25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
影响因子：
--
作者：
Wang, Wenxi;Wang, Kaiyuan;Gligoric, Milos;Khurshid, Sarfraz
通讯作者：
Khurshid, Sarfraz