On reducing test length for FSMs with extra states
Adenilso da Silva Simão Alexandre Petrenko Nina Yevtushenko
Software testing, verification and reliability Malden, Ma : John Wiley and Sons, 2012 v. 22, n. 6, p. 435-454, sep 2012Malden, Ma 2012
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-2186277 )(Acessar)