@misc{indiciaeadbbeb5b765a,
  title = {Agentic Planning for Symbolic Execution},
  author = {Daniel Koh Ji Yang and Yannic Noller and Corina S. Pasareanu and Youcheng Sun},
  year = {2026},
  url = {https://arxiv.org/abs/2608.06397},
  note = {Source identifier: 2608.06397}
}