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:
@string{ase07="Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE)"} @inproceedings{lie:ASE2007, author = {Kelvin Ku and Thomas E. Hart and Marsha Chechik and David Lie}, title = {A Buffer Overflow Benchmark for Software Model Checkers}, booktitle = ASE07, month = nov, year = 2007, url = {https://security.csl.toronto.edu/wp-content/uploads/2018/06/Verisec-ASE2007.pdf}, note = {(Acceptance: 77/312, 25\%)} }