An improved state-counting-based construction of complete test suites for FSM implementations
Izboljšano na štetju stanj temelječe snovanje popolnih nizov preizkusov za izvedbe končnih avtomatov