Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri

Sandra C. P. F. Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro. Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. In Roberto Antonio Rodrigues de Almeida, Roberto Tom Price, editors, Proceedings of the 8th Brazilian Symposium on Software Engineering, SBES 1994, Curitiba, PR, Brazil, October 26-27, 1994. pages 423-437, SBC, 1994. [doi]

Abstract

Abstract is missing.