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]

  • Notre #RapportAnnuel est en ligne! Découvrez les réalisations phares de l'année incluant une série d'interventions… https://t.co/GxLmYubAhr
  • CANARIE RT @CANARIE_Inc: VESTA recueille les données des systèmes d'apprentissage en ligne quand les élèves lisent l'écran, sont distraits ou pense…