REINS：用智能体引导线程调度检测与复现并发缺陷

REINS 是一种智能体方法，通过推理程序并发语义与已知并发缺陷模式来引导线程调度，将缺陷假设转化为事件顺序和变量状态约束，驱动受控调度器探索可能触发缺陷的交错路径，并根据执行结果持续修正约束。在三个公开基准上，REINS 在相同时间预算内检出更多缺陷，并在真实项目中发现了六个此前未知的并发缺陷，其中三个已获开发者确认。