Amandine Charbonnier

Learn More
(3)LEIRIOS Technologies 18 rueAlain Savary 25000Besançon France {charbonnier, Abstract :T hisp aperp resents an originalm odel-based testinga pproacht hatt akes a UMLb ehavioral view of thes ystemu ndert esta nd automaticallyg enerates test cases and executable test scriptso nt he basiso fm odel coverage criteria. Thisa pproach is embeddedi nt he LTGm(More)
Alveolar echinococcosis (AE) is an endemic zoonosis in France due to the cestode Echinococcus multilocularis. The French National Reference Centre for Alveolar Echinococcosis (CNR-EA), connected to the FrancEchino network, is responsible for recording all AE cases diagnosed in France. Administrative, epidemiological and medical information on the French AE(More)
  • Fabrice Ambert, Stéphane Blond, Fabrice Bouquet, Amandine Charbonnier, Sébastien Chemin, Séverine Colin +8 others
  • 2004
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