Vinicius Durelli, Ricardo Monteiro, Rafael Durelli, Andre Endo, Fabiano Ferrari, and Simone Souza. 2024. Property-based Testing for Machine Learning Models. In Anais do IX Simpósio Brasileiro de Testes de Software Sistemático e Automatizado, setembro 30, 2024, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 39-48. DOI: https://doi.org/10.5753/sast.2024.3791.