Skip to content

A Buffer Overflow Benchmark for Software Model Checkers

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