Silveira, C., & 		Ferreira, M.
2026 set  8.  Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification. Anais do Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST). [Online] :