Conference , Workshops Proceedings

Generating Complete and Finite Test Suite for ioco: Is It Possible?

Simao, A. and Petrenko, A. "Generating Complete and Finite Test Suite for ioco: Is It Possible?" in Proceedings of 9th Workshop on Model-Based Testing (MBT 2014), Electronic Proceedings in Theoretical Computer Science (EPTCS) 141, pp. 56-70. Grenoble, France,  6 April 2014

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg