Synthesize solving strategy for symbolic execution.

Zhenbang Chen Zehua Chen Ziqi Shuai Guofeng Zhang Weiyu Pan Yufeng Zhang Ji Wang

Published in: ISSTA (2021)

Keyphrases

symbolic execution
static analysis
test generation
test data generation
source code
data flow
orders of magnitude
databases
general purpose
error rate
pattern matching
search strategy