Finite State Machines.

Published in: Model-Based Testing of Reactive Systems (2004)

Keyphrases

finite state machines
model checking
finite state automata
state machine
regular expressions
state transition
digital circuits
mutation testing