@inproceedings{Gaudel04, title = {Toward Undoing in Composite Web Services}, author = {Marie-Claude Gaudel}, year = {2004}, doi = {10.1007/11556169_3}, url = {http://dx.doi.org/10.1007/11556169_3}, tags = {web service, web services}, researchr = {https://researchr.org/publication/Gaudel04}, cites = {0}, citedby = {0}, pages = {59-68}, booktitle = {Architecting Dependable Systems III [the book is a result of the ICSE 2004 and DSN 2004 workshops]}, editor = {Rogério de Lemos and Cristina Gacek and Alexander B. Romanovsky}, volume = {3549}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-28968-2}, } @inproceedings{OudinetDGLP11, title = {Uniform Monte-Carlo Model Checking}, author = {Johan Oudinet and Alain Denise and Marie-Claude Gaudel and Richard Lassaigne and Sylvain Peyronnet}, year = {2011}, doi = {10.1007/978-3-642-19811-3_10}, url = {http://dx.doi.org/10.1007/978-3-642-19811-3_10}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/OudinetDGLP11}, cites = {0}, citedby = {0}, pages = {127-140}, booktitle = {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, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings}, editor = {Dimitra Giannakopoulou and Fernando Orejas}, volume = {6603}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-19810-6}, } @inproceedings{Gaudel01, title = {Testing from Formal Specifications, a Generic Approach}, author = {Marie-Claude Gaudel}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2043/20430035.htm}, tags = {testing, systematic-approach}, researchr = {https://researchr.org/publication/Gaudel01}, cites = {0}, citedby = {0}, pages = {35-48}, booktitle = {Reliable Software Technologies: Ada Europe 2001, 6th Ade-Europe International Conference Leuven, Belgium, May 14-18, 2001, Proceedings}, editor = {Dirk Craeynest and Alfred Strohmeier}, volume = {2043}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-42123-8}, } @article{FreemanG91, title = {Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue)}, author = {Peter Freeman and Marie-Claude Gaudel}, year = {1991}, tags = {software engineering}, researchr = {https://researchr.org/publication/FreemanG91}, cites = {0}, citedby = {0}, journal = {Communications of the ACM}, volume = {34}, number = {5}, pages = {30-33}, } @inproceedings{GaudelG08, title = {Testing Data Types Implementations from Algebraic Specifications}, author = {Marie-Claude Gaudel and Pascale Le Gall}, year = {2008}, doi = {10.1007/978-3-540-78917-8_7}, url = {http://dx.doi.org/10.1007/978-3-540-78917-8_7}, tags = {testing, data-flow, algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelG08}, cites = {0}, citedby = {0}, pages = {209-239}, booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers}, editor = {Robert M. Hierons and Jonathan P. Bowen and Mark Harman}, volume = {4949}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-78916-1}, } @inproceedings{DeniseGG04, title = {A Generic Method for Statistical Testing}, author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud}, year = {2004}, doi = {10.1109/ISSRE.2004.2}, url = {http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.2}, tags = {testing}, researchr = {https://researchr.org/publication/DeniseGG04}, cites = {0}, citedby = {0}, pages = {25-34}, booktitle = {15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France}, publisher = {IEEE Computer Society}, isbn = {0-7695-2215-7}, } @inproceedings{CavalcantiG10, title = {Specification Coverage for Testing in ::::Circus::::}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2010}, doi = {10.1007/978-3-642-16690-7_1}, url = {http://dx.doi.org/10.1007/978-3-642-16690-7_1}, tags = {test coverage, testing, coverage}, researchr = {https://researchr.org/publication/CavalcantiG10}, cites = {0}, citedby = {0}, pages = {1-45}, booktitle = {Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings}, editor = {Shengchao Qin}, volume = {6445}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16689-1}, } @article{GaudelJ98, title = {Testing Algebraic Data Types and Processes: A Unifying Theory}, author = {Marie-Claude Gaudel and Perry R. James}, year = {1998}, url = {http://link.springer.de/link/service/journals/00165/bibs/8010005/80100436.htm}, tags = {process algebra, testing, data-flow, algebra, type theory}, researchr = {https://researchr.org/publication/GaudelJ98}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {10}, number = {5-6}, pages = {436-451}, } @article{JonesLRWFGKLMRRRR05, title = {The atomic manifesto: a story in four quarks}, author = {Cliff B. Jones and David B. Lomet and Alexander B. Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogério de Lemos and J. Eliot B. Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luís Rodrigues}, year = {2005}, doi = {10.1145/1058150.1058165}, url = {http://doi.acm.org/10.1145/1058150.1058165}, researchr = {https://researchr.org/publication/JonesLRWFGKLMRRRR05}, cites = {0}, citedby = {0}, journal = {SIGMOD Record}, volume = {34}, number = {1}, pages = {63-69}, } @inproceedings{DeniseGGLP06, title = {Uniform random sampling of traces in very large models}, author = {Alain Denise and Marie-Claude Gaudel and Sandrine-Dominique Gouraud and Richard Lassaigne and Sylvain Peyronnet}, year = {2006}, doi = {10.1145/1145735.1145738}, url = {http://doi.acm.org/10.1145/1145735.1145738}, researchr = {https://researchr.org/publication/DeniseGGLP06}, cites = {0}, citedby = {0}, pages = {10-19}, booktitle = {Proceedings of the 1st International Workshop on Random Testing, RT 2006, Portland, Maine, July 20, 2006}, editor = {Johannes Mayer and Robert G. Merkel}, publisher = {ACM}, isbn = {1-59593-457-X}, } @inproceedings{FeliachiGW10, title = {Unifying Theories in Isabelle/HOL}, author = {Abderrahmane Feliachi and Marie-Claude Gaudel and Burkhart Wolff}, year = {2010}, doi = {10.1007/978-3-642-16690-7_9}, url = {http://dx.doi.org/10.1007/978-3-642-16690-7_9}, researchr = {https://researchr.org/publication/FeliachiGW10}, cites = {0}, citedby = {0}, pages = {188-206}, booktitle = {Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings}, editor = {Shengchao Qin}, volume = {6445}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16689-1}, } @inproceedings{BernotGM91, title = {A Formal Approach to Software Testing}, author = {Gilles Bernot and Marie-Claude Gaudel and Bruno Marre}, year = {1991}, tags = {testing, systematic-approach}, researchr = {https://researchr.org/publication/BernotGM91}, cites = {0}, citedby = {0}, pages = {243-253}, booktitle = {Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991}, editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo}, series = {Workshops in Computing}, publisher = {Springer}, isbn = {3-540-19797-4}, } @article{Gaudel94, title = {Foreword: Selected Papers of TAPSOFT 93}, author = {Marie-Claude Gaudel}, year = {1994}, researchr = {https://researchr.org/publication/Gaudel94}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {23}, number = {2-3}, pages = {105}, } @inproceedings{Gaudel92, title = {Test Selection Based on ADT Specifications}, author = {Marie-Claude Gaudel}, year = {1992}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/Gaudel92}, cites = {0}, citedby = {0}, pages = {31-40}, booktitle = {Protocol Test Systems, V, Proceedings of the IFIP TC6/WG6.1 Fifth International Workshop on Protocol Test Systems, Montreal, Quebec, Canada, 28-30 September, 1992}, editor = {Gregor von Bochmann and Rachida Dssouli and Anindya Das}, volume = {C-11}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-89980-4}, } @inproceedings{GaudelZ99, title = {Algebraic Imperative Specifications}, author = {Marie-Claude Gaudel and Alexandre V. Zamulin}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1755/17550017.htm}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelZ99}, cites = {0}, citedby = {0}, pages = {17-39}, booktitle = {Perspectives of System Informatics, Third International Andrei Ershov Memorial Conference, PSI 99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999, Proceedings}, editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin}, volume = {1755}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67102-1}, } @inproceedings{Gaudel95:0, title = {Testing Can Be Formal, Too}, author = {Marie-Claude Gaudel}, year = {1995}, tags = {testing}, researchr = {https://researchr.org/publication/Gaudel95%3A0}, cites = {0}, citedby = {0}, pages = {82-96}, booktitle = {TAPSOFT 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}, editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach}, volume = {915}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-59293-8}, } @inproceedings{CavalcantiG07, title = {Testing for Refinement in CSP}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2007}, doi = {10.1007/978-3-540-76650-6_10}, url = {http://dx.doi.org/10.1007/978-3-540-76650-6_10}, tags = {refinement, testing}, researchr = {https://researchr.org/publication/CavalcantiG07}, cites = {0}, citedby = {0}, pages = {151-170}, booktitle = {Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings}, editor = {Michael Butler and Michael G. Hinchey and María M. Larrondo-Petrie}, volume = {4789}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-76648-3}, } @article{Gaudel04:0, title = {Problems and Methods for Testing Infinite State Machines: Extended Abstract}, author = {Marie-Claude Gaudel}, year = {2004}, doi = {10.1016/j.entcs.2004.04.005}, url = {http://dx.doi.org/10.1016/j.entcs.2004.04.005}, tags = {testing, state machines, abstract machine}, researchr = {https://researchr.org/publication/Gaudel04%3A0}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {95}, pages = {53-62}, } @inproceedings{GalvesG98, title = {Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs}, author = {A. Galves and Marie-Claude Gaudel}, year = {1998}, tags = {reactive programming}, researchr = {https://researchr.org/publication/GalvesG98}, cites = {0}, citedby = {0}, pages = {324-333}, booktitle = {FTCS}, } @inproceedings{Gaudel11, title = {Checking Models, Proving Programs, and Testing Systems}, author = {Marie-Claude Gaudel}, year = {2011}, doi = {10.1007/978-3-642-21768-5_1}, url = {http://dx.doi.org/10.1007/978-3-642-21768-5_1}, tags = {meta programming, model checking, meta-model, testing, Meta-Environment}, researchr = {https://researchr.org/publication/Gaudel11}, cites = {0}, citedby = {0}, pages = {1-13}, booktitle = {Tests and Proofs - 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings}, editor = {Martin Gogolla and Burkhart Wolff}, volume = {6706}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-21767-8}, } @article{BidoitGM89, title = {How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language}, author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin}, year = {1989}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BidoitGM89}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {12}, number = {1}, pages = {1-38}, } @inproceedings{Gaudel86, title = {Logic Programming and Automatization of Software Test Strategies}, author = {Marie-Claude Gaudel}, year = {1986}, tags = {testing, logic programming, programming, logic}, researchr = {https://researchr.org/publication/Gaudel86}, cites = {0}, citedby = {0}, pages = {39-45}, booktitle = {AIMSA}, } @inproceedings{Gaudel07, title = {Software Testing Based on Formal Specification}, author = {Marie-Claude Gaudel}, year = {2007}, doi = {10.1007/978-3-642-14335-9_7}, url = {http://dx.doi.org/10.1007/978-3-642-14335-9_7}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/Gaudel07}, cites = {0}, citedby = {0}, pages = {215-242}, booktitle = {Testing Techniques in Software Engineering, Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures}, editor = {Paulo Borba and Ana Cavalcanti and Augusto Sampaio and Jim Woodcock}, volume = {6153}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14334-2}, } @inproceedings{BidoitGM87, title = {How to Make Algebraic Specifications More Understandable?}, author = {Michel Bidoit and Marie-Claude Gaudel and A. Mauboussin}, year = {1987}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/BidoitGM87}, cites = {0}, citedby = {0}, pages = {31-67}, booktitle = {Algebraic Methods: Theory, Tools and Applications [papers from a workshop in Passau, Germany, June 9-11, 1987]}, editor = {Martin Wirsing and Jan A. Bergstra}, volume = {394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-51698-0}, } @inproceedings{GaudelKZ99, title = {Dynamic Systems with Implicit State}, author = {Marie-Claude Gaudel and Carole Khoury and Alexandre V. Zamulin}, year = {1999}, researchr = {https://researchr.org/publication/GaudelKZ99}, cites = {0}, citedby = {0}, pages = {114-128}, booktitle = {Fundamental Approaches to Software Engineering, Second Internationsl Conference, FASE 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings}, editor = {Jean-Pierre Finance}, volume = {1577}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65718-5}, } @article{BidoitBGGG85, title = {Exception Handling: Formal Specification and Systematic Program Construction}, author = {Michel Bidoit and Brigitte Biebow and Marie-Claude Gaudel and Christian Gresse and Gérard D. Guiho}, year = {1985}, tags = {exceptions, systematic-approach}, researchr = {https://researchr.org/publication/BidoitBGGG85}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {11}, number = {3}, pages = {242-252}, } @inproceedings{Gaudel86:0, title = {Automation in Software Development (Panel)}, author = {Marie-Claude Gaudel}, year = {1986}, researchr = {https://researchr.org/publication/Gaudel86%3A0}, cites = {0}, citedby = {0}, pages = {173-174}, booktitle = {IFIP Congress}, } @inproceedings{BidoitBGGG84, title = {Exception Handling: Formal Specification and Systematic Program Construction}, author = {Michel Bidoit and Brigitte Biebow and Marie-Claude Gaudel and Christian Gresse and Gérard D. Guiho}, year = {1984}, tags = {exceptions, systematic-approach}, researchr = {https://researchr.org/publication/BidoitBGGG84}, cites = {0}, citedby = {0}, pages = {18-29}, booktitle = {ICSE}, } @inproceedings{LestiennesG02, title = {Testing Processes from Formal Specifications with Inputs, Outputs and Data Types}, author = {Grégory Lestiennes and Marie-Claude Gaudel}, year = {2002}, url = {http://csdl.computer.org/comp/proceedings/issre/2002/1763/00/17630003abs.htm}, tags = {testing, data-flow}, researchr = {https://researchr.org/publication/LestiennesG02}, cites = {0}, citedby = {0}, pages = {3-14}, booktitle = {13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-1763-3}, } @inproceedings{MauboussinPBGH89, title = {From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study}, author = {A. Mauboussin and H. Perdrix and Michel Bidoit and Marie-Claude Gaudel and Jacques Hagelstein}, year = {1989}, tags = {case study, algebraic specification, algebra}, researchr = {https://researchr.org/publication/MauboussinPBGH89}, cites = {0}, citedby = {0}, pages = {395-431}, booktitle = {Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]}, editor = {Jan A. Bergstra and Loe M. G. Feijs}, volume = {490}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-53912-3}, } @article{BougeCFG86, title = {Test sets generation from algebraic specifications using logic programming}, author = {Luc Bougé and N. Choquet and Laurent Fribourg and Marie-Claude Gaudel}, year = {1986}, doi = {10.1016/0164-1212(86)90004-X}, url = {http://dx.doi.org/10.1016/0164-1212(86)90004-X}, tags = {testing, algebraic specification, logic programming, algebra, programming, logic}, researchr = {https://researchr.org/publication/BougeCFG86}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {6}, number = {4}, pages = {343-360}, } @inproceedings{Gaudel81, title = {Compiler Generation from Formal Definition of Programming Languages: A Survey}, author = {Marie-Claude Gaudel}, year = {1981}, tags = {programming languages, survey, compiler, programming}, researchr = {https://researchr.org/publication/Gaudel81}, cites = {0}, citedby = {0}, pages = {96-114}, booktitle = {Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings}, editor = {Josep Díaz and Isidro Ramos}, volume = {107}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10699-5}, } @inproceedings{GaudelDK95, title = {A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State}, author = {Marie-Claude Gaudel and Pierre Dauchy and Carole Khoury}, year = {1995}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/GaudelDK95}, cites = {0}, citedby = {0}, pages = {233-264}, booktitle = {Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995)}, editor = {Jean-Raymond Abrial and Egon Börger and Hans Langmaack}, volume = {1165}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61929-1}, } @inproceedings{ElhaikRG96, title = {A Proposal for a Glass-Box Approach for Subsumption Checking}, author = {Quentin Elhaik and Marie-Christine Rousset and Marie-Claude Gaudel}, year = {1996}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/ElhaikRG96}, cites = {0}, citedby = {0}, pages = {111-115}, booktitle = {Proceedings of the 1996 International Workshop on Description Logics, November 2-4, 1996, Cambridge, MA, USA}, editor = {Lin Padgham and Enrico Franconi and Manfred Gehrke and Deborah L. McGuinness and Peter F. Patel-Schneider}, volume = {WS-96-05}, series = {AAAI Technical Report}, publisher = {AAAI Press}, isbn = {1-57735-014-6}, } @article{GaudelDGLOP08, title = {Coverage-biased Random Exploration of Models}, author = {Marie-Claude Gaudel and Alain Denise and Sandrine-Dominique Gouraud and Richard Lassaigne and Johan Oudinet and Sylvain Peyronnet}, year = {2008}, doi = {10.1016/j.entcs.2008.11.002}, url = {http://dx.doi.org/10.1016/j.entcs.2008.11.002}, tags = {meta-model, Meta-Environment, coverage}, researchr = {https://researchr.org/publication/GaudelDGLOP08}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {220}, number = {1}, pages = {3-14}, } @article{DauchyGM93, title = {Using algebraic specifications in software testing: A case study on the software of an automatic subway}, author = {Pierre Dauchy and Marie-Claude Gaudel and Bruno Marre}, year = {1993}, doi = {10.1016/0164-1212(93)90025-S}, url = {http://dx.doi.org/10.1016/0164-1212(93)90025-S}, tags = {case study, testing, algebraic specification, algebra}, researchr = {https://researchr.org/publication/DauchyGM93}, cites = {0}, citedby = {0}, journal = {Journal of Systems and Software}, volume = {21}, number = {3}, pages = {229-244}, } @inproceedings{Gaudel92:0, title = {Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives}, author = {Marie-Claude Gaudel}, year = {1992}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Gaudel92%3A0}, cites = {0}, citedby = {0}, pages = {3-18}, booktitle = {STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings}, editor = {Alain Finkel and Matthias Jantzen}, volume = {577}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-55210-3}, } @inproceedings{Gaudel05, title = {Formal Methods and Testing: Hypotheses, and Correctness Approximations}, author = {Marie-Claude Gaudel}, year = {2005}, doi = {10.1007/11526841_2}, url = {http://dx.doi.org/10.1007/11526841_2}, tags = {testing}, researchr = {https://researchr.org/publication/Gaudel05}, cites = {0}, citedby = {0}, pages = {2-8}, booktitle = {FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings}, editor = {John Fitzgerald and Ian J. Hayes and Andrzej Tarlecki}, volume = {3582}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-27882-6}, } @inproceedings{GouraudDGM01, title = {A New Way of Automating Statistical Testing Methods}, author = {Sandrine-Dominique Gouraud and Alain Denise and Marie-Claude Gaudel and B. Marr}, year = {2001}, url = {http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260005abs.htm}, tags = {testing}, researchr = {https://researchr.org/publication/GouraudDGM01}, cites = {0}, citedby = {0}, pages = {5-12}, booktitle = {16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-1426-X}, } @article{CavalcantiG11, title = {Testing for refinement in ::::Circus::::}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2011}, doi = {10.1007/s00236-011-0133-z}, url = {http://dx.doi.org/10.1007/s00236-011-0133-z}, tags = {refinement, testing}, researchr = {https://researchr.org/publication/CavalcantiG11}, cites = {0}, citedby = {0}, journal = {Acta Informatica}, volume = {48}, number = {2}, pages = {97-147}, } @inproceedings{CavalcantiG08, title = {A Note on Traces Refinement and the ::::conf:::: Relation in the Unifying Theories of Programming}, author = {Ana Cavalcanti and Marie-Claude Gaudel}, year = {2008}, doi = {10.1007/978-3-642-14521-6_4}, url = {http://dx.doi.org/10.1007/978-3-642-14521-6_4}, tags = {refinement, programming}, researchr = {https://researchr.org/publication/CavalcantiG08}, cites = {0}, citedby = {0}, pages = {42-61}, booktitle = {Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers}, editor = {Andrew Butterfield}, volume = {5713}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14520-9}, } @inproceedings{BougeCFG85, title = {Application of Prolog to Test Sets Generation from Algebraic Specifications}, author = {Luc Bougé and N. Choquet and Laurent Fribourg and Marie-Claude Gaudel}, year = {1985}, tags = {Prolog, testing, algebraic specification, algebra}, researchr = {https://researchr.org/publication/BougeCFG85}, cites = {0}, citedby = {0}, pages = {261-275}, booktitle = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering (CSE)}, editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher}, volume = {186}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-15199-0}, } @article{Rodrigues05, title = {The atomic manifesto: a story in four quarks}, author = {Cliff B. Jones and David B. Lomet and Alexander B. Romanovsky and Gerhard Weikum and Alan Fekete and Marie-Claude Gaudel and Henry F. Korth and Rogério de Lemos and J. Eliot B. Moss and Ravi Rajwar and Krithi Ramamritham and Brian Randell and Luís Rodrigues}, year = {2005}, doi = {10.1145/1055218.1055220}, url = {http://doi.acm.org/10.1145/1055218.1055220}, researchr = {https://researchr.org/publication/Rodrigues05}, cites = {0}, citedby = {0}, journal = {Operating Systems Review}, volume = {39}, number = {2}, pages = {41-46}, } @inproceedings{Gaudel94:0, title = {Formal Specification Techniques (Extended Abstract)}, author = {Marie-Claude Gaudel}, year = {1994}, url = {http://portal.acm.org/citation.cfm?id=257734.257771}, researchr = {https://researchr.org/publication/Gaudel94%3A0}, cites = {0}, citedby = {0}, pages = {223-227}, booktitle = {ICSE}, } @inproceedings{GaudelM88, title = {A Theory of Software Reusability}, author = {Marie-Claude Gaudel and Th. Moineau}, year = {1988}, tags = {reuse}, researchr = {https://researchr.org/publication/GaudelM88}, cites = {0}, citedby = {0}, pages = {115-130}, booktitle = {ESOP 88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings}, editor = {Harald Ganzinger}, volume = {300}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-19027-9}, } @inproceedings{Gaudel95, title = {Formal Specification Techniques for Interactive Systems}, author = {Marie-Claude Gaudel}, year = {1995}, researchr = {https://researchr.org/publication/Gaudel95}, cites = {0}, citedby = {0}, pages = {21-26}, booktitle = {Design, Specification and Verification of Interactive Systems 95, Proceedings of the Eurographics Workshop in Toulouse, France June 7-9, 1995}, editor = {Philippe A. Palanque and Rémi Bastide}, publisher = {Springer}, isbn = {3-211-82739-0}, } @inproceedings{Gaudel77, title = {A Formal Approach to Translator Specification}, author = {Marie-Claude Gaudel}, year = {1977}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/Gaudel77}, cites = {0}, citedby = {0}, pages = {123-127}, booktitle = {IFIP Congress}, } @inproceedings{BaskiotisSGG07, title = {A Machine Learning Approach for Statistical Software Testing}, author = {Nicolas Baskiotis and Michèle Sebag and Marie-Claude Gaudel and Sandrine-Dominique Gouraud}, year = {2007}, url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-366.pdf}, tags = {machine learning, testing, systematic-approach}, researchr = {https://researchr.org/publication/BaskiotisSGG07}, cites = {0}, citedby = {0}, pages = {2274-2279}, booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, editor = {Manuela M. Veloso}, } @article{JamesEG99, title = {Development of an Atomic-Broadcast Protocol Using LOTOS}, author = {Perry R. James and Markus Endler and Marie-Claude Gaudel}, year = {1999}, tags = {protocol}, researchr = {https://researchr.org/publication/JamesEG99}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {29}, number = {8}, pages = {699-719}, } @inproceedings{Gaudel80, title = {Specification of compilers as abstract data type representations}, author = {Marie-Claude Gaudel}, year = {1980}, tags = {data-flow, compiler}, researchr = {https://researchr.org/publication/Gaudel80}, cites = {0}, citedby = {0}, pages = {140-164}, booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980}, editor = {Neil D. Jones}, volume = {94}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-10250-7}, } @proceedings{tapsoft:1993, title = {TAPSOFT 93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}, year = {1993}, researchr = {https://researchr.org/publication/tapsoft%3A1993}, cites = {0}, citedby = {0}, booktitle = {TAPSOFT 93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}, conference = {tapsoft}, editor = {Marie-Claude Gaudel and Jean-Pierre Jouannaud}, volume = {668}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-56610-4}, } @proceedings{ictac-2010, title = {Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, year = {2010}, doi = {10.1007/978-3-642-14808-8}, url = {http://dx.doi.org/10.1007/978-3-642-14808-8}, researchr = {https://researchr.org/publication/ictac-2010}, cites = {0}, citedby = {0}, booktitle = {Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings}, conference = {ictac}, editor = {Ana Cavalcanti and David Déharbe and Marie-Claude Gaudel and Jim Woodcock}, volume = {6255}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-14807-1}, } @proceedings{fm:1996, title = {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}, year = {1996}, researchr = {https://researchr.org/publication/fm%3A1996}, cites = {0}, citedby = {0}, booktitle = {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}, conference = {FM}, editor = {Marie-Claude Gaudel and Jim Woodcock}, volume = {1051}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-60973-3}, }