Conference , Workshops Proceedings

Generating Checking Sequences for Nondeterministic Finite State Machines

Petrenko, A., Simao, A. and Yevtushenko, N. "Generating Checking Sequences for Nondeterministic Finite State Machines" in Proceedings of the IEEE Fifth International Conference on Software Testing, Verification and Validation. The Best Paper Award (ICST 2012). Hôtel Omni, Québec, Montréal, Canada, 17 to 21 April 2012

  • technopolys RT @technopolys_qc: Gestion de réunions : le CRIM et Luffa deviennent partenaires https://t.co/zkpnadMXGv
  • Réseau Action TI RT @ActionTI: Découvrez la programmation complète de #FemmesEnTI! Plus qu'une semaine pour réserver votre place ???? https://t.co/AMttjp1cha h…