Efficient Multiplex Symbolic Execution with Adaptive Search Strategy.

Tianqi Zhang Yufeng Zhang Zhenbang Chen Ziqi Shuai Ji Wang

Published in: ASE (2020)

Keyphrases

search strategy
search strategies
effective pruning
search space
symbolic execution
search algorithm
high level
database
error rate
branch and bound
test data generation