REINS：面向并发缺陷检测与复现的 AI 智能体引导线程调度方法

REINS 是一种用于检测和复现并发缺陷的 AI 智能体方法，通过智能体对并发语义和已知并发缺陷模式的推理来引导线程调度。它结合运行时观察与静态信息形成缺陷假设，再将假设转化为事件顺序和变量状态约束，指导受控调度器探索更可能触发缺陷的交错执行，并根据执行结果持续细化约束。