Conference , Workshops Proceedings

Can a Model Checker Generate Tests ...

Boroday, S., Petrenko, A. and Groz, R. "Can a Model Checker Generate Tests for Non-Deterministic Systems?" in Proceedings of the Third Workshop on Model Based Testing (MBT 2007). Braga, Portugal

  • @Grenier_enbref parle du projet du @CRIM_ca et de @facilis_inc pour mettre à profit le potentiel de l'#IA et de la… https://t.co/rPxATgfpuu
  • Gilles Boulianne, #expert en reconnaissance de la #parole, sera au @DesjardinsLab jeudi prochain le 1er mars! À ne… https://t.co/kaAkHpPKr7