M. Furriel A. Dias, E. Assis Schmitz, and P. V. Lima.
" 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>, Nova Friburgo, 2018, pp. 62 - 69, doi: <a href="https://doi.org/10.5753/ersirj.2018.4656">https://doi.org/10.5753/ersirj.2018.4656</a>.