Lei Wang, Qiang Zhang, PengChao Zhao. Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. In Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 28-29 September 2008, Beijing, China. pages 165-173, IEEE, 2008. [doi]
Abstract is missing.