OpenAlex | Marie-Claude Gaudel

Marie-Claude Gaudel

Author

Alternate names M. C. Gaudel, M Gaudel, M. ‐C. Gaudel, Marie‐Claude ‐Gaudel, M.‐C Gaudel +1 more

Institutions Université Paris Cité, Centre National de la Recherche Scientifique, Université Paris-Sud

Past institutions Université Paris-Sud, Centre National de la Recherche Scientifique, Université Paris Cité, Laboratoire de Recherche en Informatique, Université Paris-Saclay +5 more

ORCID: Yes

H-index: 21

I10-index: 40

Works count: 127

Citations count: 1,489

Testing can be formal, too

1995 · Marie-Claude Gaudel · Lecture notes in computer science

Test sets generation from algebraic specifications using logic programming

1986 · Luc Bougé, N. Choquet, et al. · Journal of Systems and Software

FME'96: Industrial Benefit and Advances in Formal Methods

1996 · Jan Van Leeuwen, Marie-Claude Gaudel, et al. · Lecture notes in computer science