Silveira, C., & 		Ferreira, M.
(2026).
 Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification.
In <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado</em>, (pp. 19-28). Porto Alegre: SBC.
doi:10.5753/sast.2026.30683