Costa, L., Oliveira, F., Rodrigues, E., da Silveira, M., & Zorzo, A. (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, (pp. 87-100). Porto Alegre: SBC. doi:10.5753/wtf.2012.23082