contractors
industrial partners
 
Participants
University of Bordeaux I  
 
TAROT designation : U.B1
Address : Bordeaux
Country : France
Website : http://www.u-bordeaux1.fr

Contact : Richard Castanet, castanet@labri.fr


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