Software Security Analysis in 2030 and Beyond: A Research Roadmap
M. Böhme, E. Bodden, T. Bultan, C. Cadar, Y. Liu, G. Scanniello, ACM Transactions on Software Engineering and Methodology (2024).