Reinforcement Learning Guided Symbolic Execution.

Jie Wu Chengyu Zhang Geguang Pu

Published in: SANER (2020)

Keyphrases

symbolic execution
reinforcement learning
static analysis
test generation
test data generation
source code
specification language
state space
data flow
test cases
learning algorithm
machine learning
database systems
search space
dynamic programming
database
error rate
software architecture
genetic algorithm
databases