Costa, Leandro, 		Oliveira, Flávio, 		Rodrigues, Elder, 		da Silveira, Maicon, AND 		Zorzo, Avelino.
" Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (30 April 2012)