CRISTIÁ, Maximiliano; CUENCA, Joaquín; FRYDMAN, Claudia. Coverage Criteria for Set-Based Specifications. Revista de Informática Teórica e Aplicada, [S. l.], v. 22, n. 2, p. 316–335, 2015. DOI: 10.22456/2175-2745.52511. Disponível em: https://seer.ufrgs.br/index.php/rita/article/view/RITA-VOL22-NR2-316. Acesso em: 29 aug. 2025.