Boost Symbolic Execution Using Dynamic State Merging and Forking.

Chao Zhang Weiliang Yin Zhiqiang Lin

Published in: QuASoQ@APSEC (2018)

Keyphrases

symbolic execution
neural network
test data generation
static analysis
database
artificial intelligence
state space