arXiv cs.SE· Chao Jiang, Ding Wang, Chaohua Yang, Dugang Liu, Zhiwu Xu, Cheng Wen, Zhong Ming, Yuwei Liu, Xinyi Wan, Lin Huang·· 2 小时前AI 评分29
VeruSteer：学习在 Verus 中下一步修复什么
VeruSteer: Learning What to Repair Next in Verus
AI 导读
VeruSteer 学习从不同修复轨迹的结果中选择 Verus 报错类型，替代 AutoVerus 和 VeruSAGE 中预设的优先级。在 1,270 棵测试树上，验证成功数从 185 提升到 194（14.57% 到 15.28%），净增 0.71 个百分点。该方法离线构建修复树，用步级模仿与轨迹偏好排序训练选择器，不增加修复或验证器调用。
来源：arXiv cs.SE · arxiv.org