ATR: template-based repair for Alloy specifications-Reference-Cited by-同舟云学术

ATR: template-based repair for Alloy specifications

Published:2022-07-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Zheng Guolong¹,Nguyen ThanhVu²,Brida Simón Gutiérrez³,Regis Germán⁴,Aguirre Nazareno³,Frias Marcelo F.⁵,Bagheri Hamid¹

Affiliation:

1. University of Nebraska-Lincoln, USA

2. George Mason University, USA

3. University of Rio Cuarto, Argentina / CONICET, Argentina

4. University of Rio Cuarto, Argentina

5. Buenos Aires Institute of Technology, Argentina

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3533767.3534369

Reference77 articles.

1. 2020. ExCAPE project. https://excape.cis.upenn.edu/ 2020. ExCAPE project. https://excape.cis.upenn.edu/

2. 2020. SyGuS. https://sygus.org/ 2020. SyGuS. https://sygus.org/

3. Towards a Formal Foundation of Web Security

4. Scalable analysis of interaction threats in IoT systems

5. Paul Attie , Ali Cherri , Kinan Dak Al Bab , Mohamad Sakr, and Jad Saklawi. 2015 . Model and program repair via sat solving. In MEMOCODE. 148–157. Paul Attie, Ali Cherri, Kinan Dak Al Bab, Mohamad Sakr, and Jad Saklawi. 2015. Model and program repair via sat solving. In MEMOCODE. 148–157.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Alloy Repair Hint Generation Based on Historical Data;Lecture Notes in Computer Science;2024-09-13

2. The 13th International Workshop on Genetic Improvement(GI @ ICSE 2024);ACM SIGSOFT Software Engineering Notes;2024-07-17

3. Assessing the impact of hints in learning formal specification;2024

4. Multi-View Feature Fusion Model for Software Bug Repair Pattern Prediction;Wuhan University Journal of Natural Sciences;2023-12

5. Crucible: Graphical Test Cases for Alloy Models;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09