Skip to content
Hot eventLive

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

1 reports1 sources2 hr ago updated

Get the story

AI overview

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

Generated from reports · updated 2 hr ago

LatestOct 12
arXiv发表REINS方法，提出智能体引导线程调度以检测并复现并发缺陷。

Timeline

Follow the coverage from different angles.

Oct 12, 2026
  1. arXiv · Software Engineering
    REINS：面向并发缺陷检测与复现的 AI 智能体引导线程调度方法

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

Heat trend

There is not enough continuous observation data to draw a trend yet.