研究人员开发了一种新颖的基于契约的回归验证工具，该工具可自动从反例中推断部分规范。此方法旨在确保软件补丁保留预期行为，而无需重新验证整个程序或手动编写规范。该工具在EqBench-C套件上证明了其健全性，未产生虚假证明，并识别出其他工具遗漏的差异，同时实现了与现有方法相当的验证率。 AI
影响 这项研究可以通过实现更有效的代码变更验证来简化软件开发。
排序理由 该集群包含一篇详细介绍软件验证新方法的论文。[lever_c_demoted from research: ic=1 ai=0.4]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2607.10291v1 Announce Type: cross Abstract: 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 expens…