TY  - RPRT
TI  - Agentic Planning for Symbolic Execution
AU  - Daniel Koh Ji Yang
AU  - Yannic Noller
AU  - Corina S. Pasareanu
AU  - Youcheng Sun
PY  - 2026
UR  - https://arxiv.org/abs/2608.06397
ID  - 2608.06397
ER  -