A test methodology for finite state machines using partial scan design.

Hyoung B. Min William A. Rogers

Published in: J. Electron. Test. (1992)

Keyphrases

finite state machines
design process
conceptual framework
design methodology
case study
finite state automata
high level
learning environment
data model
query language
software architecture
integrity constraints
design principles
functional decomposition