Improving guide-based vulnerability detection with hybrid symbolic execution.

Yongji Ouyang Shuai Zeng Chao Yang Qingxian Wang

Published in: ICSAI (2014)

Keyphrases

symbolic execution
test data generation
static analysis
source code
relational databases
specification language
test generation
data sets
artificial intelligence
xml documents