Français Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > GAUDEL Marie-Claude
About LRI
Mrs GAUDEL Marie-Claude
GAUDEL Professeur Emérite
Université Paris-Sud
Verification of Algorithms, Languages and Systems

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

Personal web page : http://www.lri.fr/~mcg
Email : Marie-Claude.Gaudel@lri.fr

Research activities
   - Formal Model-Based Testing

Publications




Leadership positions
   - Digiteo Steering Committee Member

Principle investigator
   - Software Factory
   - ALL4TEC
   - DIV.ROYAU
   - CDIV

Highlights
   - 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

Collaborations
   - University of York
   - International Joint Project MoBasT

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

Contracts & Grants
   - WebMov
   - Software Factory
   - VERAP