ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications-Reference-Cited by-同舟云学术

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

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

Affiliation:

1. Department of Computer Science, University of Rio Cuarto, Argentina and CONICET, Argentina

2. Department of Computer Science, University of Rio Cuarto, Argentina

3. University of Nebraska-Lincoln, United States of America

4. George Mason University, United States of America

5. Department of Software Engineering, Buenos Aires Institute of Technology, Argentina and CONICET, Argentina

Funder

Army Research Office

Agencia Nacional de Promoción Científica y Tecnológica

National Science Foundation

Publisher

ACM

Link

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

Reference63 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. 2022. ICEBAR replication package. https://sites.google.com/view/icebar-evaluation. 2022. ICEBAR replication package. https://sites.google.com/view/icebar-evaluation.

4. 2022 (accessed August 31 2022). ICEBAR’s Github Repository. https://github.com/saiema/ICEBAR. 2022 (accessed August 31 2022). ICEBAR’s Github Repository. https://github.com/saiema/ICEBAR.

5. Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

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

1. Integrating Testing into the Alloy Model Development Workflow;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. Mutation Testing for Temporal Alloy Models;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01