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>Anais da V Escola Regional de Sistemas de Informação do 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>.