C. Silveira and M. Ferreira.
" 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>, São Paulo/SP, 2026, pp. 19-28, doi: <a href="https://doi.org/10.5753/sast.2026.30683">https://doi.org/10.5753/sast.2026.30683</a>.