Automated Repair of Requirements for Cyber-Physical Systems in Simulink Requirements Tables
Simulink需求表中信息物理系统的需求自动修复
专题命中 程序修复 :program repair(abstract);分类 cs.SE
AI总结 提出一种利用系统执行数据修复信息物理系统需求以恢复需求与系统一致性的框架,并在六个真实案例中验证其有效性。
Comments 24 pages, 7 figures, accepted to FSE 2026 Research Track