V. Durelli, R. Monteiro, R. Durelli, A. Endo, F. Ferrari, and S. Souza. " Property-based Testing for Machine Learning Models", in Anais do IX Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, Curitiba/PR, 2024, pp. 39-48.