Cutigi, Jorge, Paulo Henrique Ribeiro, Adenilso da Silva Simão, and Simone do Rocio Senger de Souza. " Redução do Número de Seqüências no Teste de Conformidade de Protocolos." Anais do XI Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2010. SBC, 2010, pp.105-117.