View in EDS PDF Full Text

Bounded Exhaustive Search of Alloy Specification Repairs.

Saved in:
Bibliographic Details
Title: Bounded Exhaustive Search of Alloy Specification Repairs.
Authors: Gutiérrez Brida, Simón1,2, Regis, Germán1, Guolong Zheng3, Bagheriz, Hamid3, ThanhVu Nguyenz3, Aguirre, Nazareno1,2, Frias, Marcelo2,4
Source: ICSE: International Conference on Software Engineering; 5/22/2021, p1135-1147, 13p
Database: Applied Science & Technology Source
Description
DOI:10.1109/ICSE43902.2021.00105