Lima, C., Alves, E., & Andrade, W. (2023). Reducing MBT test cases discard with distance function at TJPB. In Proceedings of the 8th Brazilian Symposium on Systematic and Automated Software Testing, (pp. 64–66). Porto Alegre: SBC.