Costa, Leandro, 		Oliveira, Flávio, 		Rodrigues, Elder, 		da Silveira, Maicon, E 		Zorzo, Avelino.
" Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (30 abril 2012)