Durelli, V., 		Monteiro, R., 		Durelli, R., 		Endo, A., 		Ferrari, F., & 		Souza, S.
2024 set 30.  Property-based Testing for Machine Learning Models. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :