Costa, L., Oliveira, F., Rodrigues, E., da Silveira, M., & Zorzo, A. 2012 abr 30. Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :