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

  • Tout est prêt pour le cocktail réseautage du CRIM et de ?@Prompt_Innov? ! On vous y attend dès 18h ???? ???? ????… https://t.co/OgeCt5M06I
  • Nous vous attendons au CRIM dès 16h30! https://t.co/lzUop6L36A https://t.co/rhYtRbD9GI