Ru-Gang Xu Patrice Godefroid Rupak Majumdar Testing for buffer overflows with length abstraction. 27-38 2008 ISSTA http://doi.acm.org/10.1145/1390630.1390636 conf/issta/2008 db/conf/issta/issta2008.html#XuGM08