Furriel A. Dias, M., 		Assis Schmitz, E., & 		V. Lima, P.
(2018).
Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade.
In <em>Anais da V Escola Regional de Sistemas de Informação do Rio de Janeiro</em>, (pp. 62 - 69). Porto Alegre: SBC.
doi:10.5753/ersirj.2018.4656