SIMÃO, Adenilso da Silva; SOUZA, Simone do R. S. de; MALDONADO, José Carlos.
A Family of Coverage Testing Criteria for Coloured Petri Nets. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 17. , 2003, Manaus/AM.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2003
.
p. 205-220.
DOI: https://doi.org/10.5753/sbes.2003.23862.