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