Login / Signup
Generating feasible protocol test sequences from EFSM models using Monte Carlo tree search.
Ting Shu
Yechao Huang
Zuohua Ding
Jinsong Xia
Mingyue Jiang
Published in:
Inf. Softw. Technol. (2021)
Keyphrases
</>
test sequences
finite state machines
monte carlo tree search
monte carlo
machine learning
databases
evaluation function
database
image sequences
reinforcement learning
xml schema
model construction