变异分析评估智能体验证套件判别覆盖

1. 12:00
   arXiv · Software Engineering

   智能体基础设施验证套件中的判别式夹具覆盖

   论文将突变分析应用于多会话智能体状态投影层的不变式套件，发现常规验证会认证一个让移除事件身份去重的一阶突变体存活的套件。冻结修复后的十二项检查套件并对抗读者指定的十个突变体运行，杀死五个；五个存活者分为从未激活与内部状态损坏两种模式。作者枚举七个判别维度，按未覆盖维度各添加一个夹具并复用现有 oracle，五个存活者全部死亡，公开含冻结哈希与运行日志的 artifact。

Current heat 6·Comparable peak 10（Oct 5）·Comparable change over 24 hours –

The trend compares only the same participants observed continuously; its range may be smaller than the current heat count. Move or click on the chart to inspect hourly heat; use the left and right arrow keys to switch.