Souza, S., 		Maldonado, J., & 		Fabbri, S.
(2001).
 FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle.
In <em>Proceedings of the 15th Brazilian Symposium on Software Engineering</em>, (pp. 256-271). Porto Alegre: SBC.
doi:10.5753/sbes.2001.23993