arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2026-06-03 至 2026-06-03 共收录 1 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 程序修复 1 篇

2606.03870 2026-06-03 cs.SE 57%

Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables

Simulink需求表中信息物理系统的需求自动修复

Aren A. Babikian, Alessio Di Sandro, Federico Formica, Claudio Menghi, Marsha Chechik

专题命中 程序修复 :program repair(abstract);分类 cs.SE

AI总结 提出一种利用系统执行数据修复信息物理系统需求以恢复需求与系统一致性的框架,并在六个真实案例中验证其有效性。

Comments 24 pages, 7 figures, accepted to FSE 2026 Research Track

详情

展开后加载摘要…

URL PDF HTML 收藏