Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GAUDEL Marie-Claude
About LRI
Mrs GAUDEL Marie-Claude

Warning: this member left the laboratory on 30/09/2019
GAUDEL Professeur Emérite
Université Paris-Saclay
Verification of Algorithms, Languages and Systems

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

Personal web page :
Email :

Research activities
   - Formal Model-Based Testing


Leadership positions
   - Digiteo Steering Committee Member

Principle investigator
   - Software Factory
   - ALL4TEC
   - CDIV

   - Uniform trace sampling in very large models
   - 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

Software & Patents
   - RUKIA: Random Uniform walK In Automata

   - University of York
   - International Joint Project MoBasT

Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - GAUDEL.08-03-1980

Contracts & Grants
   - WebMov
   - Software Factory
   - VERAP