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

  • ????Vous connaissez le @cooperathon? En collaboration avec @mtlnewtech, 12 organisations vous lancent défis d’innovati… https://t.co/JebU85JvOk
  • @inocanada - Deuxième appel à candidatures QUANTINO Vous avez une entreprise innovante en démarrage oeuvrant en opt… https://t.co/78cOFuEZq4