7 citations · 7 across the 15 of their papers we have counts for
1 paper · 1 filter
Haomin Qi, Xiangzhe Xu, Yiming Huang +2
Bug validation asks a coding agent to produce an executable witness for a reported bug. The witness combines a concrete input with a testing harness and exposes faulty behavior dur…