Caio Vinícius Silveira and Mateus Felipe Ferreira. 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>, setembro 08, 2026, São Paulo/SP, Brasil. SBC, Porto Alegre, Brasil, 19-28. DOI: <a href="https://doi.org/10.5753/sast.2026.30683">https://doi.org/10.5753/sast.2026.30683</a>.