@article{roadmap,
  author       = {B\"{o}hme, Marcel and Bodden, Eric and Bultan, Tevfik and Cadar, Cristian and Liu, Yang and Scanniello, Giuseppe},
  journal      = {ACM Transactions on Software Engineering and Methodology},
  title        = {Software Security Analysis in 2030 and Beyond: A Research Roadmap},
  year         = {2025},
  numpages     = {25},
  doi          = {10.1145/3708533},
}