Roland Groz, Adenilso Simao, Alexandre Petrenko, Catherine Oriat. Inferring finite state machines without reset using state identification sequences. In Proceedings of the International Conference on Testing Software and Systems, ICTSS 2015, Dubai, November 2015.
@InProceedings{GSPO15,
Author = {Groz, Roland and Simao, Adenilso and Petrenko, Alexandre and Oriat, Catherine},
Title = {Inferring finite state machines without reset using state identification sequences},
BookTitle = {Proceedings of the International Conference on Testing Software and Systems, ICTSS 2015},
Address = {Dubai},
Month = {November},
Year = {2015}
}
Get EndNote Reference (.ref)