C. Lima, E. Alves, and W. Andrade. " Reducing MBT test cases discard with distance function at TJPB", in Anais do VIII Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, Campo Grande/MS, 2023, pp. 64–66.