REINS: Agent-guided Thread Scheduling for Concurrency Bug Detection and Reproduction
[Inżynieria oprogramowania] Autorzy: Yu Zhang, Corina S. Pasareanu, Guowei Yang
Concurrency bugs manifest only under specific thread interleavings, making them hard to detect and reproduce. Existing controlled concurrency testing techniques take over thread scheduling to explore the interleaving space. As the space grows rapidly with program scale, finding interleavings that can trigger bugs within a limited budget remains challenging. The program's concurrency semantics can reveal which variable accesses and synchronization operations under specific interleavings lead to unexpected program behavior, and thus help focus the exploration on bug-relevant interleavings. However, prior techniques have not fully exploited such semantic information. In this paper, we present REINS, an agentic approach for detecting and reproducing concurrency bugs. At its core, REINS guides thread scheduling with the agent's reasoning about the concurrency semantics and known concurrency …
- Kategoria arxiv
- cs.SE
- Kategoria
- Inżynieria oprogramowania