Back to INDEX

  Publications of Fabrice Ambert  

Articles in journal or book chapters
  1. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. Génie Logiciel, (93):43--48, June 2010. Note: Selected paper from the 7-th NEPTUNE Workshop. [bibtex]


  2. Bruno Legeard, L. Py, Fabrice Ambert, Fabrice Bouquet, and Fabien Peureux. Génération de tests à partir de spécifications : Concepts, méthodes et outils. Génie Logiciel, 67:27--36, December 2003. [bibtex]


Conference articles
  1. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Fabien Peureux, L. Py, and E. Torrebore. Automated Test Case and Test Driver Generation for Embedded Software. In CNAM, editor, ICSSEA - Int. Conf. on Software, System Engineering and Applications, pages 34--49, December 2004. [bibtex]


  2. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, and Fabien Peureux. Automated Boundary-Value Test Generation from Specifications - Method and Tools. In 4th Int. Conf. on Software Testing, ICSTEST 2003, Cologne, Germany, pages 52--68, April 2003. [bibtex]


  3. Fabrice Ambert, Sébastien Chemin, and Bruno Legeard. Intégration de domaines à variables dans un solveur de contraintes ensemblistes. In JFPLC'03, Journées Francophones de Programmation en Logiques et Contraintes, Amiens, France, pages 217--222, June 2003. Hermes. [bibtex]


  4. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, and Mark Utting. BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming. In Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR'02), Brnö, République Tchèque, pages 105--120, August 2002. Note: INRIA report. [bibtex]


Internal reports
  1. Fabrice Ambert, Fabrice Bouquet, Sébastien Chemin, Sébastien Guenaud, Bruno Legeard, Fabien Peureux, and Nicolas Vacelet. Projet BZ-Testing-Tools - Génération de tests aux limites à partir d'un modèle formel B ou Z - Annexes Techniques. Compte rendu d'avancement au 30 avril 2002, ANVAR, May 2002. Note: 150 pages. [bibtex]


  2. Fabrice Ambert, Fabrice Bouquet, Laetitia Gaspari, Bruno Legeard, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 2, RNTL INKA, Thales, February 2002. Note: 37 pages. [bibtex]


  3. Fabrice Ambert, Fabrice Bouquet, Bruno Legeard, Benoit Parreaux, J. Vincent, B. Bottela, and A. Gotlieb. Génération de tests dans le cas de structures dynamiques. Compte rendu d'avancement 1, RNTL INKA, Thales, July 2001. Note: 23 pages. [bibtex]


Other publications
  1. Jonathan Lasalle, Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. Using Topcased for Model-Based Testing. First TopCased Days, Toulouse, France, February 2011. [bibtex]


  2. Frédéric Fondement, Pierre-Alain Muller, Brice Wittman, Fabrice Ambert, Fabrice Bouquet, Jonathan Lasalle, Emilie Oudot, Fabien Peureux, Bruno Legeard, Marc Alter, and Claude Scherrer. VETESS : IDM, Test et SysML. 7-th Neptune Workshop. Environment with a Process and Tools Using Norms and Example, Toulouse, France, May 2010. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html