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

  • Le CRIM recrute! Conseiller en recrutement en TI
  • Chambly Express.ca RT @chamblyexpress: Un outil 2.0. pour lutter contre les changements climatiques #changements #climatiques #site #web #2019 #outil #techno…