Efficient checking sequences for testing finite state machines

Graph Theory with Applications

E. Kay, J. A. Bondy, U. S. R. Murty · Operational Research Quarterly (1970-1977) · 1977 · 3K citations

Computing, Computer Science, Mathematics +12

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Computing, Computer Science, Fault-tolerant Systems +15

Matching, Euler tours and the Chinese postman

Jack Edmonds, Ellis L. Johnson · Mathematical Programming · 1973 · 987 citations

Natural Sciences, History, Combinatorics +1

Introduction to the Theory of Finite-State Machines

J. E. Mezei, Arthur Gill · Mathematics of Computation · 1964 · 596 citations

Computing, Computer Science, Theory Of Computation +9

Test selection based on finite state models

Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek et al. · IEEE Transactions on Software Engineering · 1991 · 564 citations

Computing, Computer Engineering, Computer Science +16