Marie-Claude Gaudel

82 papers A* 5A 4B 5C 6Misc 3Journal 23Unranked 30

Year	Rank	Type	Title / Venue / Authors
2024	—	`ch.`	"Testing Can Be Formal Too": 30 Years Later. The French School of Programming Marie-Claude Gaudel
2024	—	`ch.`	Efficient Uniform Sampling of Traces in Presence of Infeasibilities. The Practice of Formal Methods (I) Marie-Claude Gaudel, Frédéric Voisin
2019	—	`conf`	Formal Specifications and Software Testing, a Fruitful Convergence. FM Workshops (2) Marie-Claude Gaudel
2018	J	`jnl`	Special section of Tests and Proofs 2016. Formal Aspects Comput. Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
2017	Misc	`conf`	Formal methods for software testing (invited paper). TASE Marie-Claude Gaudel
2017	J	`jnl`	Formal mutation testing for Circus. Inf. Softw. Technol. Alex D. B. Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simão
2016	C	`conf`	A Method for Pruning Infeasible Paths via Graph Transformations and Symbolic Execution. QRS Romain Aïssat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff
2015	J	`jnl`	Symbolic Test-generation in HOL-TESTGEN/CirTA A Case Study. Int. J. Softw. Informatics Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2015	J	`jnl`	Test selection for traces refinement. Theor. Comput. Sci. Ana Cavalcanti, Marie-Claude Gaudel
2014	B	`conf`	Data Flow Coverage for Circus-Based Testing. FASE Ana Cavalcanti, Marie-Claude Gaudel
2013	J	`jnl`	A new dichotomic algorithm for the uniform random generation of words in regular languages. Theor. Comput. Sci. Johan Oudinet, Alain Denise, Marie-Claude Gaudel
2013	J	`jnl`	Some approximations in Model Checking and Testing CoRR Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont
2013	C	`conf`	The Circus Testing Theory Revisited in Isabelle/HOL. ICFEM Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel, Burkhart Wolff
2013	—	`ed.`	Unifying Theories of Programming, 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers UTP Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi
2012	J	`jnl`	Coverage-biased random exploration of large models and application to testing. Int. J. Softw. Tools Technol. Transf. Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2012	J	`jnl`	Isabelle/Circus. Arch. Formal Proofs Abderrahmane Feliachi, Burkhart Wolff, Marie-Claude Gaudel
2012	—	`conf`	Isabelle/Circus: A Process Specification and Verification Environment. VSTTE Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2011	—	`conf`	Checking Models, Proving Programs, and Testing Systems. TAP@TOOLS Marie-Claude Gaudel
2011	C	`conf`	Conformance Relations for Distributed Testing Based on CSP. ICTSS Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons
2011	C	`conf`	Counting for Random Testing. ICTSS Marie-Claude Gaudel
2011	J	`jnl`	Editorial. Formal Aspects Comput. Ana Cavalcanti, Dennis Dams, Marie-Claude Gaudel
2011	J	`jnl`	Testing for refinement in Acta Informatica Ana Cavalcanti, Marie-Claude Gaudel
2011	B	`conf`	Uniform Monte-Carlo Model Checking. FASE Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
2010	—	`conf`	Specification Coverage for Testing in UTP Ana Cavalcanti, Marie-Claude Gaudel
2010	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings ICTAC Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock
2010	—	`conf`	Unifying Theories in Isabelle/HOL. UTP Abderrahmane Feliachi, Marie-Claude Gaudel, Burkhart Wolff
2008	—	`conf`	A Note on Traces Refinement and the UTP Ana Cavalcanti, Marie-Claude Gaudel
2008	—	`conf`	Coverage-biased Random Exploration of Models. MBT@ETAPS Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2008	—	`conf`	SoftwareTesting with Active Learning in a Graph. Evolutionary Test Generation Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel
2008	—	`conf`	Testing Data Types Implementations from Algebraic Specifications. Formal Methods and Testing Marie-Claude Gaudel, Pascale Le Gall
2008	J	`jnl`	Testing data types implementations from algebraic specifications CoRR Marie-Claude Gaudel, Pascale Le Gall
2007	A*	`conf`	A Machine Learning Approach for Statistical Software Testing. IJCAI Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
2007	—	`conf`	Software Testing Based on Formal Specification. PSSE Marie-Claude Gaudel
2007	C	`conf`	Testing for Refinement in CSP. ICFEM Ana Cavalcanti, Marie-Claude Gaudel
2006	J	`jnl`	Uniform Random Sampling of Traces in Very Large Models CoRR Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2006	—	`conf`	Uniform random sampling of traces in very large models. Random Testing Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2005	B	`conf`	Formal Methods and Testing: Hypotheses, and Correctness Approximations. FM Marie-Claude Gaudel
2005	J	`jnl`	The atomic manifesto: a story in four quarks. SIGMOD Rec. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2005	J	`jnl`	The atomic manifesto: a story in four quarks. ACM SIGOPS Oper. Syst. Rev. Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2004	A	`conf`	A Generic Method for Statistical Testing. ISSRE Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud
2004	—	`conf`	The Atomic Manifesto: a Story in Four Quarks. Atomicity in System Design and Execution Cliff B. Jones, David B. Lomet, Alexander B. Romanovsky, Gerhard Weikum, Alan D. Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogério de Lemos, J. Eliot B. Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luís E. T. Rodrigues
2004	B	`conf`	Toward Undoing in Composite Web Services. WADS Marie-Claude Gaudel
2003	—	`conf`	Problems and Methods for Testing Infinite State Machines: Extended Abstract. WMF Marie-Claude Gaudel
2002	A	`conf`	Testing Processes from Formal Specifications with Inputs, Outputs and Data Types. ISSRE Grégory Lestiennes, Marie-Claude Gaudel
2001	A*	`conf`	A New Way of Automating Statistical Testing Methods. ASE Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr
2001	Misc	`conf`	Testing from Formal Specifications, a Generic Approach. Ada-Europe Marie-Claude Gaudel
1999	—	`conf`	Algebraic Imperative Specifications. Ershov Memorial Conference Marie-Claude Gaudel, Alexandre V. Zamulin
1999	J	`jnl`	Development of an Atomic-Broadcast Protocol Using LOTOS. Softw. Pract. Exp. Perry R. James, Markus Endler, Marie-Claude Gaudel
1999	B	`conf`	Dynamic Systems with Implicit State. FASE Marie-Claude Gaudel, Carole Khoury, Alexandre V. Zamulin
1999	—	`ch.`	The Role of Formal Specifications. Algebraic Foundations of Systems Specification Marie-Claude Gaudel, Gilles Bernot
1998	—	`conf`	Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs. FTCS Antonio Galves, Marie-Claude Gaudel
1998	J	`jnl`	Testing Algebraic Data Types and Processes: A Unifying Theory. Formal Aspects Comput. Marie-Claude Gaudel, Perry R. James
1996	—	`conf`	A Proposal for a Glass-Box Approach for Subsumption Checking. Description Logics Quentin Elhaik, Marie-Christine Rousset, Marie-Claude Gaudel
1996	—	`ed.`	FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings FME Marie-Claude Gaudel, Jim Woodcock
1995	—	`conf`	A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State. Formal Methods for Industrial Applications Marie-Claude Gaudel, Pierre Dauchy, Carole Khoury
1995	—	`conf`	Formal Specification Techniques for Interactive Systems. DSV-IS Marie-Claude Gaudel
1995	—	`conf`	Testing Can Be Formal, Too. TAPSOFT Marie-Claude Gaudel
1994	J	`jnl`	Foreword: Selected Papers of TAPSOFT'93. Sci. Comput. Program. Marie-Claude Gaudel
1994	A*	`conf`	Formal Specification Techniques (Extended Abstract). ICSE Marie-Claude Gaudel
1993	—	`ed.`	TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings TAPSOFT Marie-Claude Gaudel, Jean-Pierre Jouannaud
1993	J	`jnl`	Using algebraic specifications in software testing: A case study on the software of an automatic subway. J. Syst. Softw. Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre
1992	A	`conf`	Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives. STACS Marie-Claude Gaudel
1992	—	`conf`	Test Selection Based on ADT Specifications. Protocol Test Systems Marie-Claude Gaudel
1991	—	`conf`	A Formal Approach to Software Testing. AMAST Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
1991	—	`conf`	Advantages and limits of formal approaches for ultra-high dependability. IWSSD Marie-Claude Gaudel
1991	J	`jnl`	Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue). Commun. ACM Peter A. Freeman, Marie-Claude Gaudel
1991	J	`jnl`	Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. Gilles Bernot, Marie-Claude Gaudel, Bruno Marre
1990	A*	`ed.`	Proceedings of the 12th International Conference on Software Engineering, Nice, France, March 26-30, 1990. ICSE François-Régis Valette, Peter A. Freeman, Marie-Claude Gaudel
1989	—	`conf`	From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. Algebraic Methods Anne Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein
1989	J	`jnl`	How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language. Sci. Comput. Program. Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin
1988	A	`conf`	A Theory of Software Reusability. ESOP Marie-Claude Gaudel, Th. Moineau
1987	—	`conf`	How to Make Algebraic Specifications More Understandable?. Algebraic Methods Michel Bidoit, Marie-Claude Gaudel, Anne Mauboussin
1986	—	`conf`	Automation in Software Development (Panel). IFIP Congress Marie-Claude Gaudel
1986	Misc	`conf`	Logic Programming and Automatization of Software Test Strategies. AIMSA Marie-Claude Gaudel
1986	J	`jnl`	Test sets generation from algebraic specifications using logic programming. J. Syst. Softw. Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
1985	—	`conf`	Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel
1985	J	`jnl`	Exception Handling: Formal Specification and Systematic Program Construction. IEEE Trans. Software Eng. Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
1984	A*	`conf`	Exception Handling: Formal Specification and Systematic Program Construction. ICSE Michel Bidoit, Brigitte Biebow, Marie-Claude Gaudel, Christian Gresse, Gérard D. Guiho
1982	—	`conf`	Correctness Proof of Programming Language Translations. Formal Description of Programming Concepts Marie-Claude Gaudel
1981	—	`conf`	Compiler Generation from Formal Definition of Programming Languages: A Survey. ICFPC Marie-Claude Gaudel
1980	—	`conf`	Specification of compilers as abstract data type representations. Semantics-Directed Compiler Generation Marie-Claude Gaudel
1977	—	`conf`	A Formal Approach to Translator Specification. IFIP Congress Marie-Claude Gaudel