TY  - JOUR
AU  - Raghu Kacker
AU  - Yu Lei
AU  - David Kuhn
AU  - Wenhua
C2  - ACM Transactions on Software Engineering and Methodology
DA  - 2011-06-14
LA  - en
PB  - ACM Transactions on Software Engineering and Methodology
PY  - 2011
TI  - A Combinatorial Approach to Detecting Buffer Overflow Vulnerabilities
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=905210
ER  -