Cartaxo, Emanuela, Patrícia D. L. Machado, Francisco G. Oliveira Neto, and João F. S. Ouriques. " Usando Funções de Similaridade para Redução de Conjuntos de Casos de Teste em Estratégias de Teste Baseado em Modelos." Anais do XXII Simpósio Brasileiro de Engenharia de Software, Campinas, 2008. SBC, 2008, pp.1-16.