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" }