Furriel A. Dias, Marcos Vinicius, Eber Assis Schmitz, and Priscila M. V. Lima.
"Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade." <em>Anais da V Escola Regional de Sistemas de Informação do Rio de Janeiro,
Nova Friburgo, 2018</em>. SBC, 2018,  
pp.62 - 69.