A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization.

Michael Weber, Viren Shah, Chris Ren

Browse the full SCAM paper archive.