L. Costa, F. Oliveira, E. Rodrigues, M. da Silveira, and A. Zorzo.
" Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos", in <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, Ouro Preto/MG, 2012, pp. 87-100, doi: <a href="https://doi.org/10.5753/wtf.2012.23082">https://doi.org/10.5753/wtf.2012.23082</a>.