SCSE: Boosting Symbolic Execution via State Concretization.

Huibin Wang Chunqiang Li Jianyi Meng Xiaoyan Xiang

Published in: IEICE Trans. Inf. Syst. (2019)

Keyphrases

symbolic execution
case study
static analysis
test data generation
database
databases
real world
search algorithm
multi objective
state space