Marie-Claude Gaudel's Publications

2008

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. Technical Report 1494, LRI, Université Paris-Sud XI, June 2008. 26 pages, submitted. [ bib | pdf ]
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, and Sylvain Peyronnet. Coverage-biased random exploration of large models. In ETAPS Workshop on Model Based Testing, volume 220 of Electronic Notes in Theoretical Computer Science, pages 3-14, March 2008. invited lecture. [ bib | pdf ]
A. Cavalcanti and M.-C. Gaudel. A note on traces refinement and the conf relation in the Unifying Theories of Programming. In Unifying Theories of Programming 2008, 8th-10th September, Trinity College Dublin,, volume to appear of Lecture Notes in Computer Science. Springer Verlag, 2008. 20 pages. [ 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 ]
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 ]
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. Denise, M.-C. Gaudel, S.-D. Gouraud, R. Lassaigne, 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 ]

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 ]
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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]

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 ]