REINS：AI智能体引导线程调度检测并发缺陷

2026年10月12日，arXiv Software Engineering（一手）发表REINS方法，一种用于检测和复现并发缺陷的AI智能体方法。该方法通过智能体对并发语义和已知并发缺陷模式的推理来引导线程调度，结合运行时观察与静态信息形成缺陷假设，再将假设转化为事件顺序和变量状态约束，指导受控调度器探索更可能触发缺陷的交错执行，并根据执行结果持续细化约束。目前公开信息仅包含该方法描述，尚无实验数据或第三方验证报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。