ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

Open Webpage

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

Published: 01 Jan 2022, Last Modified: 13 May 2025ASE 2022EveryoneRevisionsBibTeXCC BY-SA 4.0