符号执行研究综述 (Survey of Symbolic Execution).

Zhibin Ye Bo Yan

Published in: 计算机科学 (2018)

Keyphrases

symbolic execution
static analysis
test data generation
test generation
source code
specification language
software systems
machine vision
database
data sets
artificial intelligence
decision trees
case study
test cases
data flow