TY  - RPRT
TI  - Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
AU  - Md Shafiuzzaman
AU  - Achintya Desai
AU  - Wenbo Guo
AU  - Tevfik Bultan
PY  - 2026
UR  - https://arxiv.org/abs/2604.06506
ID  - 2604.06506
ER  -