@article{TOSEM26-vital,
  author   = {Tu, Haoxin and Jiang, Lingxiao and B{\"o}hme, Marcel},
  journal  = {ACM Transactions on Software Engineering and Methodology},
  series   = {TOSEM},
  title    = {Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search},
  year     = {2026},
  numpages = {24},
}