Back to INDEX   Publications of Franck Lebeau   Articles in journal or book chapters S. Colin, Franck Lebeau, and Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements. TSI, Technique et Science Informatiques, 25(1):103--132, 2006. [bibtex] Conference articles Fabrice Bouquet, Franck Lebeau, and Bruno Legeard. Test case and Test driver generation for automotive embedded systems. In 5th Int. Conf. on Software Testing, ICS-Test 2004, Düsseldorf, Germany, pages 37--53, April 2004. [bibtex] S. Colin, Franck Lebeau, and Bruno Legeard. Génération de tests à partir de statecharts fondée sur le calcul de comportements. In Jacques Julliand, editor, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'04, Besançon, France, pages 153--167, June 2004. [bibtex] Bruno Legeard, Fabrice Bouquet, and Franck Lebeau. Automated Test Generation and Execution for Automative Embedded Software. In INCOSE 2004, Annual Int. Symp., 4th European Systems Engineering Conference, pages 252--268, June 2004. [bibtex] Internal reports Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec Scade. Livrable Num. 2 969, PSA, April 2002. Note: 30 pages. [bibtex] Jacques Julliand, Franck Lebeau, and M.-P. Stuchlick. Formalisation et expressivité des propriétés vérifiables avec ObjectGéode et StateMate. Livrable Num. 1 969, PSA, December 2001. Note: 90 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