Acte de conférence, colloque et atelier

Inferring Finite State Machines Without Reset Using a Characterizing W-set

Groz, R.,, Simao, A.,, Petrenko, A. and Oriat, C., "Inferring Finite State Machines Without Reset Using a Characterizing W-set" in Proceedings of the 27th IFIP International Conference on Testing Software and Systems (ICTSS 2015), pp. 161-177. Berlin Heidelberg: Springer-Verlag, LNCS 9447. Dubai, United Arab Emirates, du 23 au 25 novembre 2015