Login / Signup
Path Exploration Strategy for Symbolic Execution based on Multi-strategy Active Learning.
Lianying He
Dalin Zhang
Dongqing Zhu
Junwen Zhang
Rui Wang
Jiqiang Liu
Published in:
Internetware (2024)
Keyphrases
</>
exploration strategy
active learning
symbolic execution
unknown environments
reinforcement learning
locally optimal
test data generation
static analysis
free space
test generation
multiple robots
source code
learning algorithm
data flow
metadata