Silveira, Caio Vinícius, and Mateus Felipe Tymburibá Ferreira.
" Assessing Postcondition Completeness in Auto-Generated Function Contracts for Software Verification." <em>Anais do XI Simpósio Brasileiro de Testes de Software Sistemático e Automatizado,
São Paulo/SP, 2026</em>. SBC, 2026,  
pp.19-28.