Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring Finite State Machines Without Reset Using State Identification Sequences. Khaled El-Fakih; Gerassimos Barlas; Nina Yevtushenko. 27th IFIP International Conference on Testing Softw
HAL Archives-Ouvertes,
Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring Finite State Machines Without Reset Using State…