Furriel A. Dias, Marcos Vinicius, 		Assis Schmitz, Eber, AND 		V. Lima, Priscila M..
" Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade" <em>Proceedings of the Regional School on Information Systems of Rio de Janeiro (ERSI-RJ)</em> [Online], (24 October 2018)