Login / Signup
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