Marcos Vinicius Furriel A. Dias, Eber Assis Schmitz, and Priscila M. V. Lima. 2018.
 Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade. In <em>Proceedings of the 5th Regional School on Information Systems of Rio de Janeiro</em>, October 24, 2018, Nova Friburgo, Brasil. SBC, Porto Alegre, Brasil, 62 - 69. DOI: <a href="https://doi.org/10.5753/ersirj.2018.4656">https://doi.org/10.5753/ersirj.2018.4656</a>.