TY  - RPRT
TI  - Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
AU  - Haoxin Tu
AU  - Lingxiao Jiang
AU  - Marcel Böhme
PY  - 2025
UR  - https://arxiv.org/abs/2408.08772
ID  - 2408.08772
ER  -