Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach.
David LeeKrishan K. SabnaniDavid M. KristolSanjoy PaulPublished in: IEEE Trans. Commun. (1996)
Keyphrases
- random walk
- finite state machines
- model checking
- finite state automata
- transition probability matrix
- markov chain
- directed graph
- transition probabilities
- hidden markov models
- multi db
- mutation testing
- spectral methods
- markov random walk
- regular expressions
- web graph
- flow graph
- graph laplacian
- machine learning
- relational databases
- learning algorithm