An improved state-counting-based construction of complete test suites for FSM implementations - Kapus-Kolar, Monika (Elektrotehniški vestnik, 2016)
Keywords: preizkušanje; metode; končni avtomati