Cristiá, M., Cuenca, J., & Frydman, C. (2015). Coverage Criteria for Set-Based Specifications. Revista De Informática Teórica E Aplicada, 22(2), 316–335. https://doi.org/10.22456/2175-2745.52511