Login / Signup
testing from semi-independent communicating finite state machines with a slow environment.
Robert M. Hierons
Published in:
IEE Proc. Softw. Eng. (1997)
Keyphrases
</>
finite state machines
finite state automata
model checking
hidden markov models
mobile robot
high level
database systems
regular expressions
complex environments
mutation testing