Synthesizing Smart Solving Strategy for Symbolic Execution.

Zehua Chen Zhenbang Chen Ziqi Shuai Yufeng Zhang Weiyu Pan

Published in: ASE (2020)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
database
neural network
decision trees
evolutionary algorithm
source code
specification language
artificial intelligence
search algorithm
programming language
open source