Login / Signup
A Weighted Random Walk Approach for Conformance Testing of a System Specified as Communicating Finite State Machines.
Deukyoon Kang
Sungwon Kang
Myungchul Kim
Sangjo Yoo
Published in:
FORTE (1997)
Keyphrases
</>
random walk
finite state machines
model checking
finite state automata
markov chain
mutation testing
directed graph
test cases
link prediction
transition probabilities
test sequences
multi db
hidden markov models
flow graph
markov random walk
databases
test generation
reinforcement learning
clustering algorithm