DURELLI, Vinicius H. S.; MONTEIRO, Ricardo; DURELLI, Rafael S.; ENDO, Andre T.; FERRARI, Fabiano C.; SOUZA, Simone R. S.. Property-based Testing for Machine Learning Models. In: SIMPÓSIO BRASILEIRO DE TESTES DE SOFTWARE SISTEMÁTICO E AUTOMATIZADO (SAST), 9. , 2024, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2024 . p. 39-48. DOI: https://doi.org/10.5753/sast.2024.3791.