Conference , Workshops Proceedings

Generating Reduced Tests for FSMs with Extra States

Simao, A., Petrenko, A. and Yevtushenko, N. "Generating Reduced Tests for FSMs with Extra States" in 21th IFIP International Conference on Testing of Communicating Systems / 9th International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES 2009), pp. 129–145. Eindhoven, The Netherlands
[Abstract]

  • Le CRIM est heureux d'être l'hôte du Montreal Apache Spark Meetup du 18 décembre : https://t.co/KPi5y7lMM3 https://t.co/W43EX2Isyl
  • L’Internet des Objets (IdO) en milieu manufacturier - Webinaire présenté par @economie_quebec en collaboration avec… https://t.co/LPz4Kb0SJG