Concepedia

Marie-Claude Gaudel

MG

22

Publications

583

Citations

14

H-Index

1985

Active since

Affiliations

Université Paris-Sud(Current)

Université Paris Cité

Laboratoire de Recherche en Informatique

Centre National de la Recherche Scientifique

CEA Marcoule

Marie-Claude Gaudel is an author at Université Paris-Sud specializing in engineering, computer science, and formal methods.

ORCID

Top concepts

Publications per year

1985–2016

22

Publications

22

Test sets generation from algebraic specifications using logic programming

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

, , +9

Testing Algebraic Data Types and Processes: A Unifying Theory

Marie-Claude Gaudel, Perry R. James · Formal Aspects of Computing · 1998 · 56 citations · Full text

A Generic Method for Statistical Testing

Alain Denise, Marie-Claude Gaudel, Sandrine Gouraud · 2005 · 50 citations

, , +19

Using algebraic specifications in software testing: A case study on the software of an automatic subway

Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre · Journal of Systems and Software · 1993 · 41 citations

, , +18

How to make algebraic specifications more understandable: An experiment with the pluss specification language

Michel Bidoit, Marie-Claude Gaudel, A. Mauboussin · Science of Computer Programming · 1989 · 37 citations

, , +13

Rows per page

1–5 of 22