Silveira, Caio Vinícius, E 		Ferreira, Mateus Felipe.
" Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification" <em>Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST)</em> [Online], (8 setembro 2026)