Prioritized Variable-length Test Cases Generation for Finite State Machines

Vaclav Rechtberger, Miroslav Bures, Bestoun S. Ahmed +3

Model-based Testing (MBT) is an effective approach for testing when parts of a system-under-test have the characteristics of a finite state machine (FSM). Despite various strategie…