Furriel A. Dias, M., 		Assis Schmitz, E., & 		V. Lima, P.
2018 out 24.  Um Método para Geração de Casos de Teste a partir da Validação de Modelos UML/OCL utilizando Satisfatibilidade. Anais da Escola Regional de Sistemas de Informação do Rio de Janeiro (ERSI-RJ). [Online] :