Login / Signup
Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection.
Yue Wang
Hao Sun
Qingkai Zeng
Published in:
SEKE (2015)
Keyphrases
</>
symbolic execution
source code
specification language
test data generation
test generation
general purpose
web services
decision trees
search algorithm
orders of magnitude