Marie-Claude Gaudel's Publications

2012

Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff. Isabelle/Circus: A process specification and verification environment. In VSTTE proceedings, volume 7152 of Lecture Notes in Computer Science, pages 243-260, 2012. [ bib | pdf ]
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, and Sylvain Peyronnet. Coverage-biased random exploration of large models and application to testing. STTT, International Journal on Software Tools for Technology Transfer, 14(1):73-93, 2012. [ bib | pdf ]

2011

Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff. Isabelle/circus : a process specification and verification environment. Technical Report 1547, LRI, http://www.lri.fr/Rapports-internes, Université Paris-Sud XI, November 2011. [ bib | pdf ]
Marie-Claude Gaudel. Counting for random testing. In Burkhart Wolff and Fatiha Zaidi, editors, Testing Software and Systems, ICTSS 2011 proceedings, volume 7019 of Lecture Notes in Computer Science, pages 1-8. Springer Berlin / Heidelberg, 2011. [ bib | pdf ]
Ana Cavalcanti, Marie-Claude Gaudel, Robert Hierons, and Manuel Nunez. Conformance relations for distributed testing based on CSP. In Fatiha Zaidi and Burkhart Wolff, editors, Testing Software and Systems, ICTSS 2011 proceedings, volume 7019 of Lecture Notes in Computer Science, pages 48-63. Springer, 2011. [ bib ]
Marie-Claude Gaudel. Checking models, proving programs, and testing systems. In Martin Gogolla and Burkhart Wolff, editors, TAP 2011 proceedings, volume 6706 of Lecture Notes in Computer Science, pages 1-13. Springer, 2011. [ bib | pdf ]
Ana Cavalcanti and Marie-Claude Gaudel. Testing for refinement in Circus. Acta Informatica, 48(2):97-147, 2011. [ bib | pdf ]
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, and Sylvain Peyronnet. Uniform Monte-Carlo model checking. In Fundamental Approaches to Software Engineering - 14th International Conference, FASE 2011, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, volume 6603 of Lecture Notes in Computer Science, pages 127-140. Springer Verlag, 2011. [ bib | pdf ]

2010

Abderrahmane Feliachi, Marie-Claude Gaudel, and Burkhart Wolff. Unifying theories in Isabelle/HOL. In Unifying Theories of Programming 2010, volume 6445 of Lecture Notes in Computer Science, pages 188-206, Shanghai, China, November 2010. Springer Verlag. [ bib | pdf ]
Ana Cavalcanti and Marie-Claude Gaudel. Specification coverage for testing in Circus. In Unifying Theories of Programming 2010, volume 6445 of Lecture Notes in Computer Science, pages 1-45, Shanghai, China, November 2010. Springer Verlag. [ bib | pdf ]
Johan Oudinet, Alain Denise, and Marie-Claude Gaudel. A new dichotomic algorithm for the uniform random generation of words in regular languages. In Conference on random and exhaustive generation of combinatorial objects (GASCom), Montreal, Canada, September 2010. To appear. 10 pages. [ bib ]
Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, and Jim Woodcock, editors. Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings, volume 6255 of Lecture Notes in Computer Science. Springer, 2010. [ bib ]
Marie-Claude Gaudel. Software testing based on formal specification. In Paulo Borba, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcock, editors, Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, December 3-7, 2007, Revised Lectures, volume 6153 of Lecture Notes in Computer Science, pages 215-242. Springer, 2010. [ bib ]

2008

Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, and Sylvain Peyronnet. Coverage-biased random exploration of large models. In 4th ETAPS Workshop on Model Based Testing, volume 220, Issue 1, 10 of Electronic Notes in Theoretical Computer Science, pages 3-14, 2008. invited lecture. [ bib | pdf ]
Ana Cavalcanti and Marie-Claude Gaudel. A note on traces refinement and the conf relation in the Unifying Theories of Programming. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Trinity College, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers, volume 5713 of Lecture Notes in Computer Science, pages 42-61. Springer, 2008. [ bib | pdf ]

2007

Nicolas Baskiotis, Michèle Sebag, Marie-Claude Gaudel, and Sandrine-Dominique Gouraud. A machine learning approach for statistical software testing. In IJCAI, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pages 2274-2279, 2007. [ bib | pdf ]
A. Cavalcanti and M.-C. Gaudel. Testing for refinement in CSP. In Formal Methods and Software Engineering, ICFEM 2007, volume 4789 of Lecture Notes in Computer Science, pages 151-170. Springer Verlag, 2007. [ bib | pdf ]
M.-C. Gaudel and P. Le Gall. Testing data types implementations from algebraic specifications. In Formal Methods and Testing, R. Hierons, J. Bowen, and M. Harman,eds, volume 4949 of Lecture Notes in Computer Science. Springer-Verlag, 2007. 209-239. [ bib | pdf ]

2006

A. Denise, M.-C. Gaudel, S.-D. Gouraud, R. Lasseigne, and S. Peyronnet. Uniform random sampling of traces in very large models. In 1st International ACM Workshop on Random Testing, pages 10 -19, July 2006. [ bib | pdf ]
M.-C. Gaudel. Validation et vérification. In Encyclopédie de l'informatique et des systèmes d'information, pages 1136-1150. Vuibert, 2006. [ bib ]
M.-C. Gaudel. Les objets à l'épreuve des faits. In Communication, Connaissance : supports et médiations à l'âge de l'information, J.-G. Ganascia, ed. CNRS Éditions, 2006. 4 pages. [ bib ]
G. Lestiennes and M.-C. Gaudel. Modélisation et test de systèmes comportant des actions prioritaires. Rapport LRI 1434, Université de Paris-Sud, march 2006. [ bib | pdf ]

2005

M.-C. Gaudel. Formal methods and testing: Hypotheses, and correctness approximations. In FM 2005: Formal Methods: International Symposium of Formal Methods, volume 3582 of Lecture Notes in Computer Science, pages 2-8. Springer Verlag, 2005. keynote talk. [ bib | pdf ]
G. Lestiennes and M.-C. Gaudel. Test de systèmes réactifs non réceptifs. Journal Europén des Systèmes automatisés, 36(1-2-3):255-270, 2005. proceedings of MSR'05. [ bib | pdf ]
M.-C. Gaudel. Toward undoing in composite web services. In Architecting Dependable Systems III, volume 3549 of Lecture Notes in Computer Science, pages 59-68. Springer Verlag, 2005. [ bib | pdf ]
C. Jones, D. Lomet, A. Romanovsky, G. Weikum, A. Fekete, M.-C. Gaudel, H. F. Korth, R. de Lemos, E. Moss, R. Rajwar, K. Ramamritham, B. Randell, and L. Rodrigues. The atomic manifesto: a story in four quarks. Journal of Universal Computer Science, 11(5):636-650, 2005. [ bib | pdf ]

2004

A. Denise, M.-C. Gaudel, and S.-D. Gouraud. A generic method for statistical testing. In IEEE Int. Symp. on Software Reliability Engineering (ISSRE), pages 25-34, 2004. [ bib | pdf ]

2002

G. Lestiennes and M.-C. Gaudel. Testing processes from formal specifications with inputs, outputs, and datatypes. In IEEE Int. Symp. on Software Reliability Engineering (ISSRE), pages 3-14, 2002. [ bib | pdf ]

2001

S.-D. Gouraud, A. Denise, M.-C. Gaudel, and B. Marre. A new way of automating statistical testing methods. In IEEE International Conference on Automated Software Engineering (ASE), pages 5-12, 2001. [ bib | pdf ]
Marie-Claude Gaudel. Testing from formal specifications, a generic approach. In Dirk Craeynest and Alfred Strohmeier, editors, Reliable SoftwareTechnologies � Ada-Europe 2001, volume 2043 of Lecture Notes in Computer Science, pages 35-48. Springer Berlin / Heidelberg, 2001. invited lecture. [ bib ]

1999

P. R. James, M. Endler, and M.-C. Gaudel. Development of an atomic broadcast protocol using LOTOS. Software Practice and Experience, 29(8):699-719, 1999. [ bib ]

1998

M.-C. Gaudel and P. R. James. Testing algebraic data types and processes: a unifying theory. Formal Aspects of Computing, 10(5-6):436-451, 1998. [ bib | pdf ]

1996

M.-C. Gaudel, P. Dauchy, and C. Khoury. A formal specification of the steam-boiler control problem by algebraic specifications with implicit state. In Formal Methods for Industrial Applications: specifying and programming the Steam Boiler Control, volume 1165 of Lecture Notes in Computer Science, pages 233-264. Springer-Verlag, 1996. [ bib | pdf ]

1995

M.-C. Gaudel. Testing can be formal, too. In TAPSOFT'95, International Joint Conference, Theory And Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 82-96, Aarhus, Denmark, 1995. Springer Verlag. [ bib | pdf ]
A. Arnold, M. Gaudel, and B. Marre. An experiment on the validation of a specification by heterogeneous formal means: The transit node. In 5th IFIP Working Conference on Dependable Computing for Critical Applications (DCCA5), pages 24-34, 1995. [ bib ]

1993

P. Dauchy, M.-C. Gaudel, and B. Marre. Using algebraic specifications in software testing : a case study on the software of an automatic subway. Journal of Systems and Software, 21(3):229-244, 1993. [ bib | pdf ]

1992

G. Bernot, M.-C. Gaudel, and B. Marre. A formal approach to software testing. In 2nd International Conference on Algebraic Methodology and Software Technology (AMAST), number 670 in Worshops in Computing Series, pages 243-253. Springer Verlag, 1992. [ bib | pdf ]

1991

G. Bernot, M.-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, 1991. [ bib | pdf ]

1986

L. Bougé, N.Choquet, L. Fribourg, and M.-C. Gaudel. Test set generation from algebraic specifications using logic programming. Journal of Systems and Software, 6(4):343-360, 1986. [ bib ]