Cartaxo, Emanuela, Machado, Patrícia, Oliveira Neto, Francisco, AND Ouriques, João. " Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos" Proceedings of the Brazilian Symposium on Software Engineering (SBES) [Online], (13 October 2008)