Three Generalizations to a Generic Integrated Test Generation Method for Finite State Machines
Monika Kapus-Kolar · The Computer Journal · 2008
In a previous paper, we proposed a generic test generation method for deterministic implementations of deterministic finite state machines. The method supports a wide class of testing strategies, multi-criteria optimization and integrated handling of all the usual optimization concerns. The present paper generalizes the method to an even wider class of strategies, to non-deterministic machines and to machines handling data.