Testing for Buffer Overflows with Length Abstraction. (2008)

by P Godefroid, R Majumdar
Venue:In Proceedings of ISSTA’08 (ACM SIGSOFT International Symposium on Software Testing and Analysis),