Sébastien Chemin

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
L'outil BZ-Testing-Tools [LPU02, ABC+03, LPU04] est issu de travaux menés depuis 1995 au Laboratoire d'Informatique de l'Université de Franche-Comté (LIFC). Il est basé sur l'exécution symbolique du modèle [BLP02] qui permet de parcourir le graphe d'atteignabilité et ainsi de calculer les tests comme des séquences d'activation de stimuli sur le système sous(More)
  • 1