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

  • #ÉvénementPartenaire : Forum CIRANO-ADRIQ - Françoys Labonté siégera sur un panel autour de la formation et l'accom… https://t.co/QmyYdYO4Eg
  • TechnoMontreal RT @TechnoMontreal: Le ministre de @economie_quebec @MinFitzgibbon sera présent lors de l'événement Futur des technologies, pour soutenir l…