Cristiá, Maximiliano, Joaquín Cuenca, and Claudia Frydman. 2015. “Coverage Criteria for Set-Based Specifications”. Revista De Informática Teórica E Aplicada 22 (2):316-35. https://doi.org/10.22456/2175-2745.52511.