Conference , Workshops Proceedings

From Passive to Active FSM Inference via Checking Sequence Construction

Petrenko, A., Avellaneda, F., Groz, R. et Oriat, C. "From Passive to Active FSM Inference via Checking Sequence Construction" dans Proceedings of the 29th IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS 2017), pp. 126-141 Volume 10533 part of the Lecture Notes in Computer Science book series. St. Petersburg, Russia, 9 to 11 October 2017

  • 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…