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 Anais do XIII Workshop de Testes e Tolerância a Falhas, abril 30, 2012, Ouro Preto/MG, Brasil. SBC, Porto Alegre, Brasil, 87-100. DOI: https://doi.org/10.5753/wtf.2012.23082.