Novel Strategy Generating Variable-length State Machine Test Paths

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

Finite State Machine is a popular modeling notation for various systems, especially software and electronic. Test paths can be automatically generated from the system model to test…