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>Proceedings of the 5th Regional School on Information Systems of Rio de Janeiro</em>, (pp. 62 - 69). Porto Alegre: SBC.
doi:10.5753/ersirj.2018.4656