Conference , Workshops Proceedings

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, 23 to 25 November 2015

  • Économie Québec RT @economie_quebec: Avec la Stratégie numérique, le Québec met en route un véritable projet de société. Soyez des nôtres mercredi le 13 dé…
  • Dominique Anglade RT @DomAnglade: Le numérique transforme notre rapport au savoir et multiplie les manières d’approfondir nos connaissances. Au cœur de cette…