Preprint
Jul 2026
Partial Contracts Suffice: Sound, LLM-Inferred Regression Verification
Software evolves continuously, yet ensuring that a patch preserves intended behavior without re-verifying an entire codebase remains difficult. Regression verification addresses this problem, but existing techniques require expensive whole-program reasoning or rely on manually written specifications that are rarely ava...
Yiannis Charalambous, R. Menezes, Youcheng Sun et al.
· 0 citations