Path Exploration Based on Monte Carlo Tree Search for Symbolic Execution.

Chao-Chun Yeh Han-Lin Lu Jia-Jun Yeh Shih-Kun Huang

Published in: TAAI (2017)

Keyphrases

monte carlo tree search
symbolic execution
monte carlo
test generation
static analysis
test data generation
specification language
evaluation function
source code
monte carlo search
data flow
programming language
temporal difference
game tree
multi agent systems
search strategies