Inferring finite state machines without reset using state identification sequences
Roland Groz Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat; IFIP WG 6.1 International Conference on Testing Software and Systems - ICTSS (27. 2015 Sharjah and Dubai, United Arab Emirates)
Lecture Notes in Computer Science Cham : Springer v. 9447, p. 161-177, 2015Cham Springer 2015
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2797265 )(Acessar)