Michael Weber, Viren Shah, Chris Ren
A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization
SCAM, 2001.
@inproceedings{SCAM-2001-WeberSR, author = "Michael Weber and Viren Shah and Chris Ren", booktitle = "{Proceedings of the First International Workshop on Source Code Analysis and Manipulation}", doi = "10.1109/SCAM.2001.972661", isbn = "0-7695-1387-5", pages = "3--13", publisher = "{IEEE Computer Society}", title = "{A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization}", year = 2001, }