Cutigi, J., Ribeiro, P., Simão, A., & Souza, S. 2010 mai 28. Redução do Número de Seqüências no Teste de Conformidade de Protocolos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :