Detecting vulnerabilities in C programs using trace-based testing.

Dazhi Zhang Donggang Liu Yu Lei David Chenho Kung Christoph Csallner Wenhua Wang

Published in: DSN (2010)

Keyphrases

symbolic execution
automatic detection
operating system
test data
test generation
automatic programming
databases
genetic algorithm
learning algorithm
database systems
test set
information security
security issues
software testing