Dynamic Path Pruning in Symbolic Execution.

Ying-Shen Chen Wei-Ning Chen Che-Yu Wu Hsu-Chun Hsiao Shih-Kun Huang

Published in: DSC (2018)

Keyphrases

symbolic execution
test data generation
search space
static analysis
test generation
databases
neural network
data model
data sets
multi objective
source code
specification language