Testing for buffer overflows with length abstraction.

Ru-Gang Xu Patrice Godefroid Rupak Majumdar

Published in: ISSTA (2008)

Keyphrases

buffer overflow
software testing
neural network
test cases
total length
similarity measure
data sets
case study
multiscale
search algorithm
motion estimation
access control