@misc{indiciae4a14a2ed6105,
  title = {Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE},
  author = {Lingfeng Chen and Tao Xiao and Masanari Kondo and Yasutaka Kamei},
  year = {2026},
  url = {https://arxiv.org/abs/2607.21676},
  note = {Source identifier: 2607.21676}
}