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

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…