Furriel A. Dias, Marcos Vinicius, 		Assis Schmitz, Eber, E 		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>Anais da Escola Regional de Sistemas de Informação do Rio de Janeiro (ERSI-RJ)</em> [Online], (24 outubro 2018)