Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > GAUDEL Marie-Claude
Présentation
Mme GAUDEL Marie-Claude
GAUDEL Professeur Emérite
Université Paris-Sud
Vérification d'Algorithmes, Langages et Systèmes

Tel : 0169156433
Fax :
Bureau : 42/PCRI-S

Page personnelle : http://www.lri.fr/~mcg
Courrier électronique : Marie-Claude.Gaudel@lri.fr

Activités de recherche
   - Test formel basé sur les modèles

Publications




Responsabilités administratives
   - Membre du comité de pilotage Digiteo

Responsabilités de contrats
   - Usine Logicielle
   - ALL4TEC
   - DIV.ROYAU
   - CDIV

Résultats majeurs
   - Exploration Uniforme de très grands modèles
   - Testing for refinement in Circus
   - Coverage-biased random explo-ration of large models and application to testing
   - Test selection for traces refinement, Ana Cavalcanti and Marie-Claude Gaudel
   - Formal mutation testing for Circus

Logiciels et brevets
   - RUKIA : Random Uniform walK In Automata

Collaborations
   - Université de York
   - International Joint Project MoBasT

Thèses et habilitations
Habilitation à diriger des recherches   - GAUDEL.08-03-1980

Participations à des contrats
   - WebMov
   - Usine Logicielle
   - VERAP