TY  - RPRT
TI  - VeriGrey: Greybox Agent Validation
AU  - Yuntong Zhang
AU  - Sungmin Kang
AU  - Ruijie Meng
AU  - Marcel Böhme
AU  - Abhik Roychoudhury
PY  - 2026
UR  - https://arxiv.org/abs/2603.17639
ID  - 2603.17639
ER  -