C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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