@misc{indiciae56a8865d895a,
  title = {Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search},
  author = {Haoxin Tu and Lingxiao Jiang and Marcel Böhme},
  year = {2025},
  url = {https://arxiv.org/abs/2408.08772},
  note = {Source identifier: 2408.08772}
}