Login / Signup
Dynamic Test Generation to Find Integer Bugs in x86 Binary Linux Programs.
David Molnar
Xue Cong Li
David A. Wagner
Published in:
USENIX Security Symposium (2009)
Keyphrases
</>
test generation
test cases
symbolic execution
static analysis
test sequences
operating system
data sets
database
databases
open source
software testing
real world
video sequences
software systems