Functional versus random test generation for controllers and finite state machines
Margot Karam, G. Saucier · 2003
The authors present a functional test generation method for finite state machines based on state graph traversal and evaluates its efficiency by comparing it to random test generation and other methods on a set of benchmarks.>