A Path Sensitive and Scalable Approach for Mapping the Capabilities Required for Linux Kernel Defined System Calls Using Static Analysis Techniques. - Razvan-Mihai Bolundut; Adrian-Viorel Colesa; Radu-Marian Portase (ICCP, 2024)

CodeFlowGen: A Generator of Synthetic Source Code with Scalable Control Flow Paths for Evaluating Static Analysis Tools. - Razvan-Mihai Bolundut; Adrian-Viorel Colesa; Radu-Marian Portase (SecITC, 2024)