Login / Signup
Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model.
Che-Hua Shih
Juinn-Dar Huang
Jing-Yang Jou
Published in:
HLDVT (2005)
Keyphrases
</>
finite state machines
computational model
databases
neural network
probability distribution
model checking
objective function
domain knowledge
probabilistic model
mathematical model
communication protocol
finite state automata
hidden markov models
data exchange
regular expressions