Synchronizable Test Sequences of Finite State Machines.

Kuo-Chung Tai Yu-Chiou Young

Published in: Comput. Networks (1998)

Keyphrases

test sequences
finite state machines
mutation testing
test cases
bit rate
model checking
video sequences
finite state automata
test generation
digital circuits
image sequences
hidden markov models
multi agent systems
building blocks
formal specification