Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking. - Lei Wang 183; Qiang Zhang; PengChao Zhao (SCAM, 2008)