Adenilso da Silva Simão, Simone do Rocio Senger de Souza, José Carlos Maldonado. A Family of Coverage Testing Criteria for Coloured Petri Nets. In Guilherme Horta Travassos, Altigran Soares da Silva, editors, Proceedings of the 17th Brazilian Symposium on Software Engineering, SBES 2003, Manaus, AM, Brazil, October 8-10, 2003. pages 205-220, SBC, 2003. [doi]
Abstract is missing.