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]

  • ????Dernières nouvelles du CRIM! Infolettre février 2018 par ici: https://t.co/WNwaHqDdm5
  • La Journée Techno fut couronnée de succès! L'événement a attiré une centaine de personnes du milieu de la recherche… https://t.co/N1ZNNK6mmk