%0 Conference Paper %1 conf/kbse/BridaRZBNAF22 %A Brida, Simón Gutiérrez %A Regis, Germán %A Zheng, Guolong %A Bagheri, Hamid %A Nguyen, ThanhVu %A Aguirre, Nazareno %A Frias, Marcelo F. %B ASE %D 2022 %I ACM %K dblp %P 55:1-55:13 %T ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. %U http://dblp.uni-trier.de/db/conf/kbse/ase2022.html#BridaRZBNAF22 %@ 978-1-4503-9475-8

@inproceedings{conf/kbse/BridaRZBNAF22, added-at = {2023-01-15T00:00:00.000+0100}, author = {Brida, Simón Gutiérrez and Regis, Germán and Zheng, Guolong and Bagheri, Hamid and Nguyen, ThanhVu and Aguirre, Nazareno and Frias, Marcelo F.}, biburl = {https://www.bibsonomy.org/bibtex/2d01530a95628c0fef7627454570a7968/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2022}, ee = {https://doi.org/10.1145/3551349.3556944}, interhash = {ad4efca3e41e5bcc2d838bb54754c6e3}, intrahash = {d01530a95628c0fef7627454570a7968}, isbn = {978-1-4503-9475-8}, keywords = {dblp}, pages = {55:1-55:13}, publisher = {ACM}, timestamp = {2024-04-09T23:52:18.000+0200}, title = {ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2022.html#BridaRZBNAF22}, year = 2022 }