Marie-Claude Gaudel | Academic Influence

Marie-Claude Gaudel's AcademicInfluence.com Rankings

Marie-Claude Gaudel

Computer Science

#3736

World Rank

#3927

Historical Rank

Software Engineering

#203

World Rank

#205

Historical Rank

computer-science Degrees

Marie-Claude Gaudel

Mathematics

#6812

World Rank

#9366

Historical Rank

Measure Theory

#3816

World Rank

#4500

Historical Rank

mathematics Degrees

Download Badge

Computer Science
Mathematics

Marie-Claude Gaudel's Degrees

PhD Computer Science Paris-Saclay University
Doctorate Mathematics Paris-Saclay University

Similar Degrees You Can Earn

Best Online PhD of Computer Science (Doctorates) 2025

Why Is Marie-Claude Gaudel Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Marie-Claude Gaudel is a French computer scientist. She is a professor emerita at the University of Paris-Sud. She helped develop PLUSS language for software specifications and was involved in both theoretical and applied computer science. Gaudel is still active in professional societies.

(See a Problem?)

Marie-Claude Gaudel's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Software testing based on formal specifications: a theory and a tool (1991) (388)
Testing Can Be Formal, Too (1995) (309)
Test sets generation from algebraic specifications using logic programming (1986) (115)
FME'96: Industrial Benefit and Advances in Formal Methods (1996) (79)
Testing Algebraic Data Types and Processes: A Unifying Theory (1998) (70)
A generic method for statistical testing (2004) (67)
Using algebraic specifications in software testing: A case study on the software of an automatic subway (1993) (60)
TAPSOFT'93: Theory and Practice of Software Development (1993) (58)
Testing Data Types Implementations from Algebraic Specifications (2008) (49)
A new way of automating statistical testing methods (2001) (49)
How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language (1989) (41)
Testing for Refinement in CSP (2007) (37)
Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives (1992) (37)
Isabelle/Circus: A Process Specification and Verification Environment (2012) (37)
Testing for refinement in Circus (2011) (36)
Coverage-biased random exploration of large models and application to testing (2012) (32)
Testing processes from formal specifications with inputs, outputs and data types (2002) (31)
A Theory of Software Reusability (1988) (31)
Unifying Theories in Isabelle/HOL (2010) (29)
Exception Handling: Formal Specification and Systematic Program Construction (1984) (28)
A Machine Learning Approach for Statistical Software Testing (2007) (28)
Application of Prolog to Test Sets Generation from Algebraic Specifications (1985) (28)
Software Testing Based on Formal Specification (2007) (26)
Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings (2010) (26)
Formal specification techniques (1994) (23)
Comparison of Object-Oriented Formal Methods (1997) (23)
Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development (1993) (22)
Uniform Monte-Carlo Model Checking (2011) (21)
Uniform random sampling of traces in very large models (2006) (21)
Coverage-biased Random Exploration of Models (2008) (18)
A new dichotomic algorithm for the uniform random generation of words in regular languages (2013) (17)
A Note on Traces Refinement and the conf Relation in the Unifying Theories of Programming (2008) (17)
Testing from Formal Specifications, a Generic Approach (2001) (17)
The Circus Testing Theory Revisited in Isabelle/HOL (2013) (15)
Building a foundation for the future of software engineering (1991) (15)
Advantages and limits of formal approaches for ultra-high dependability (1991) (15)
Dynamic Systems with Implicit State (1999) (14)
The atomic manifesto: a story in four quarks (2005) (13)
Specification of compilers as abstract data type representations (1980) (12)
Specification Coverage for Testing in Circus (2010) (11)
Formal mutation testing for Circus (2017) (11)
How to Make Algebraic Specifications More Understandable? (1987) (11)
From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study (1989) (10)
Checking Models, Proving Programs, and Testing Systems (2011) (10)
Data Flow Coverage for Circus-Based Testing (2014) (10)
Correctness Proof of Programming Language Translations (1982) (9)
Generation of test data from algebraic specifications (1988) (9)
Test Selection Based on ADT Specifications (1992) (9)
A Formal Approach to Software Testing (1991) (9)
Conformance Relations for Distributed Testing Based on CSP (2011) (8)
Counting for Random Testing (2011) (8)
A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State (1995) (8)
Development of an Atomic-Broadcast Protocol Using LOTOS (1999) (8)
An Experiment on the Validation of a Speci cation by Heterogeneous Formal Means: the Transit Node (1995) (8)
Formal Methods and Testing: Hypotheses, and Correctness Approximations (2005) (8)
The Role of Formal Specifications (1999) (7)
From Requirements to Tests via Object-Oriented Design (1998) (7)
EXIST: Exploitation/Exploration Inference for Statistical Software Testing (2006) (7)
Operational Semantics for Circus (2008) (7)
Formal specification techniques (extended abstract) (1994) (6)
Final Version of DSoS Conceptual Model (CSDA1) (2003) (6)
Compiler Generation from Formal Definition of Programming Languages: A Survey (1981) (5)
Rare events in stochastic dynamical systems and failures in ultra-reliable reactive programs (1998) (5)
Toward Undoing in Composite Web Services (2004) (5)
Test selection for traces refinement (2015) (5)
Proceedings of the 2nd international workshop on Random testing: co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) (2007) (4)
Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract (1984) (4)
A Formal Approach to Translator Specification (1977) (3)
Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool (2016) (3)
Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study (2015) (3)
Algebraic Imperative Specifications (1999) (3)
22 – Algebraic specifications (1991) (3)
Selected papers of the colloquium on Formal approaches of software engineering (1994) (3)
Some approximations in Model Checking and Testing (2013) (2)
Formal methods for software testing (invited paper) (2017) (2)
A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution (2016) (2)
A Proposal for a Glass-Box Approach for Subsumption Checking (1996) (1)
Preface to the proceedings of the Second International Workshop on Random Testing (RT 2007), co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) (2007) (1)
Unifying Theories of Programming (2013) (1)
Formal Specification Techniques for Interactive Systems (1995) (1)
Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods (1996) (1)
SoftwareTesting with Active Learning in a Graph (2008) (1)
Drawing uniformly at random in dynamic sets of paths (2019) (1)
From an ERAE requirements specification to a PLUSS algebraic specification (1991) (1)
Dependable Systems of Systems Final Results on Architectures and Dependable Mechanisms for Dependable SoSs (2003) (1)
Automation in Software Development (Panel) (1986) (0)
Foreword: Selected Papers of TAPSOFT'93 (1994) (0)
Flow coverage for Circus-based testing (2014) (0)
Logic Programming and Automatization of Software Test Strategies (1986) (0)
Coverage-biased random exploration of large models and application to testing (2011) (0)
Isabelle/Circus (2012) (0)
Editorial (2011) (0)
Defining the Circus operational semantics in the K-framework (2017) (0)
Proceedings of Conference on Software : theory and practice : August 21-25, 2000, Beijing, China (2000) (0)
La compliance aux traitements antituberculeux préventifs en question (2012) (0)
Comparison of Object-Oriented Formal (2007) (0)
Development of an atomic‐broadcast protocol using LOTOS (0)
Approximations in Model-Checking and Testing (2013) (0)
Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France (2010) (0)
Problems and Methods for Testing Infinite State Machines: Extended Abstract (2004) (0)
Theoretical Aspects of Computing (2011) (0)
Special section of Tests and Proofs 2016 (2018) (0)
The atomic manifesto: a story in four quarks (2005) (0)
Proceedings of the 7th International colloquium conference on Theoretical aspects of computing (2010) (0)
Formal Specifications and Software Testing, a Fruitful Convergence (2019) (0)
Special section of Tests and Proofs 2016 (2018) (0)
2 Some Preliminaries on Random Testing and Random Walks (2011) (0)
Invited State-of-theArt Report - extended abstract (1994) (0)
[Compliance with antitubercular treatments and prevention]. (2012) (0)

This paper list is powered by the following services:

Other Resources About Marie-Claude Gaudel

en.wikipedia.org

What Schools Are Affiliated With Marie-Claude Gaudel?

Marie-Claude Gaudel is affiliated with the following schools:

Paris-Saclay University