industrial partners
University of Bordeaux I  
TAROT designation : U.B1
Address : Bordeaux
Country : France
Website :

Contact : Richard Castanet,

Significant recent publications :
  • R. Castanet and D. Rouillard, Generate certified test cases by combining theorem proving and reachability analysis. TESTCOM 2002, Berlin, Germany, March 2002, Kluwer Academic Publishers, pp249-266.

  • R. Castanet and D. Rouillard, Test generation for interworking systems. Computer Communications, Vol. 23, Issue 7, March 2000.

  • Accueil Plan du site Contact Plan d'accès Rechercher Mentions légales