On adaptive experiments for nondeterministic finite state machines

Principles and methods of testing finite state machines-a survey

D. Lee, Mihalis Yannakakis · Proceedings of the IEEE · 1996 · 1.2K citations

Computing, Computer Engineering, Computer Science +13

Fault detecting experiments for sequential circuits

F. C. Hennine · 1964 · 428 citations

Engineering, Computer Engineering, Computer Science +10

Testing finite-state machines: state identification and verification

D. Lee, Mihalis Yannakakis · IEEE Transactions on Computers · 1994 · 296 citations

Computing, Computer Engineering, Computer Science +14

Protocol testing

Gregor von Bochmann, Alexandre Petrenko · 1994 · 227 citations · Full text

Computing, Computer Science, Computer Systems +12

FSM-based conformance testing methods: A survey annotated with experimental evaluation

Rita Dorofeeva, Khaled El‐Fakih, Stéphane Maag et al. · Information and Software Technology · 2010 · 149 citations

Computing, Computer Science, Formal Methods +4