TY  - RPRT
TI  - Directed Symbolic Execution for Vulnerability Discovery: An LLM-Guided Approach in KLEE
AU  - Lingfeng Chen
AU  - Tao Xiao
AU  - Masanari Kondo
AU  - Yasutaka Kamei
PY  - 2026
UR  - https://arxiv.org/abs/2607.21676
ID  - 2607.21676
ER  -