A Buffer Overflow Benchmark for Software Model Checkers
0 Comments
by Kelvin Ku, Thomas E. Hart, Marsha Chechik and David Lie
Reference:
Kelvin Ku, Thomas E. Hart, Marsha Chechik and David Lie, “A Buffer Overflow Benchmark for Software Model Checkers”, In Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2007.
Bibtex Entry:
@inproceedings{lie:ASE2007,
author = "Ku, Kelvin and Hart, Thomas E. and Chechik, Marsha and Lie, David",
title = "A Buffer Overflow Benchmark for Software Model Checkers",
booktitle = "Proceedings of the 22nd {IEEE/ACM} International Conference on Automated Software Engineering ({ASE})",
month = "November",
year = "2007",
url = "https://security.csl.toronto.edu/wp-content/uploads/2018/06/Verisec-ASE2007.pdf",
note = "(Acceptance: 77/312, 25\%; \textbf{103 citations})",
citations = "103",
gsid = "2406354349340324989"
}