Cristiá, M., Cuenca, J. and Frydman, C. (2015) “Coverage Criteria for Set-Based Specifications”, Revista de Informática Teórica e Aplicada, 22(2), pp. 316–335. doi: 10.22456/2175-2745.52511.