Home
>
About LRI
>
Personnel
> GAUDEL Marie-Claude
About LRI
Organisation chart
LRI members
Leadership
Activity report
Groups
Collaborations
Research results
Open positions
Teaching
Useful informations
Mrs GAUDEL Marie-Claude
Warning: this member left the laboratory on 30/09/2019
Professeur Emérite
Université Paris-Saclay
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
