Preprint
Aug 2026
SpecPath: Testing Coding Agents Across Contract-Equivalent Specification Histories
This work identifies specification-path sensitivity, a failure mode in which requirement histories that are equivalent in their final meaning lead the same agent system to produce behaviorally different programs.
Yang-Chang Wu, Hao-Zhe Wang, Huanyu Yang et al.
· 0 citations