Automated Detection of Code Vulnerabilities Based on Program Analysis and Model Checking.

Lei Wang, Qiang Zhang, PengChao Zhao

Browse the full SCAM paper archive.