Fabbri, S., 		Maldonado, J., 		Masiero, P., & 		Delamaro, M.
1994 out 26.  Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :