An Improved Offline Symbolic Execution Approach.

Xiaolong Liu Zehui Wu Qiang Wei

Published in: CSAI/ICIMT (2018)

Keyphrases

symbolic execution
test generation
test data generation
static analysis
source code
specification language
data flow
multi objective
artificial intelligence
general purpose