Conference , Workshops Proceedings

Checking Sequence Generation Using State Distinguishing Subsequences

Simao, A. and Petrenko, A. "Checking Sequence Generation Using State Distinguishing Subsequences" in 5th Workshop on Advances in Model Based Testing (A-MOST 2009). Denver, USA
[Full text] [Abstract]

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