@article{20556,
  author = {Raghu Kacker and Yu Lei and David Kuhn and Wenhua},
  title = {A Combinatorial Approach to Detecting Buffer Overflow Vulnerabilities},
  year = {2011},
  month = {2011-06-14},
  publisher = {ACM Transactions on Software Engineering and Methodology},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=905210},
  language = {en},
}