Back to INDEX   Publications of Sébastien Guenaud   Conference articles 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 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] 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