Principles and methods of testing finite state machines – a survey

David Lee and Mihalis Yannakakis
Proc. IEEE 84(8):1090–1123, 1996

Cites:

Reset sequences for monotonic automata

Fano Experimental Web Server, D. Eppstein, School of Information & Computer Science, UC Irvine