Detecting buffer overflow via automatic test input data generation.

Concettina Del Grosso Giuliano Antoniol Ettore Merlo Philippe Galinier Detecting buffer overflow via automatic test input data generation. 3125-3143 2008 35 Computers & OR 10 http://dx.doi.org/10.1016/j.cor.2007.01.013 db/journals/cor/cor35.html#GrossoAMG08