Software Vulnerability Detection Using Backward Trace Analysis and Symbolic Execution.

Hongzhe Li Taebeom Kim Munkhbayar Bat-Erdene Heejo Lee

Published in: ARES (2013)

Keyphrases

static analysis
symbolic execution
databases
database systems
evolutionary algorithm
source code
test cases