Leandro Costa, Flávio Oliveira, Elder Rodrigues, Maicon da Silveira, and Avelino Zorzo. 2012.
 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>, abril 30, 2012, Ouro Preto/MG, Brasil. SBC, Porto Alegre, Brasil, 87-100. DOI: <a href="https://doi.org/10.5753/wtf.2012.23082">https://doi.org/10.5753/wtf.2012.23082</a>.