Costa, L., 		Oliveira, F., 		Rodrigues, E., 		da Silveira, M., & 		Zorzo, A.
2012 Apr 30.  Uma Abordagem para Geração de Casos de Teste Estrutural Baseada em Modelos. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :