Costa, Leandro, Flávio M. Oliveira, Elder M. Rodrigues, Maicon B. da Silveira, and Avelino F. Zorzo.
" Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos." <em>Anais do XIII Workshop de Testes e Tolerância a Falhas,
Ouro Preto/MG, 2012</em>. SBC, 2012,  
pp.87-100.