A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization. - Michael Weber; Viren Shah; Chris Ren (SCAM, 2001)