Multiplex Symbolic Execution: Exploring Multiple Paths by Solving Once.

Yufeng Zhang Zhenbang Chen Ziqi Shuai Tianqi Zhang Kenli Li Ji Wang

Published in: ASE (2020)

Keyphrases

multiple paths
symbolic execution
multipath
static analysis
test generation
specification language
source code
test data generation
ad hoc networks
search algorithm
data streams
computational complexity
wireless sensor networks
data flow
long distance