publications:
- title: "Toward Undoing in Composite Web Services"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11556169_3"
  links:
    doi: "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:
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "Cristina Gacek"
    link: "https://researchr.org/alias/cristina-gacek"
  - name: "Alexander B. Romanovsky"
    link: "https://researchr.org/alias/alexander-b.-romanovsky"
  volume: "3549"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-28968-2"
  kind: "inproceedings"
  key: "Gaudel04"
- title: "Uniform Monte-Carlo Model Checking"
  author:
  - name: "Johan Oudinet"
    link: "https://researchr.org/alias/johan-oudinet"
  - name: "Alain Denise"
    link: "https://researchr.org/alias/alain-denise"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Richard Lassaigne"
    link: "https://researchr.org/alias/richard-lassaigne"
  - name: "Sylvain Peyronnet"
    link: "https://researchr.org/alias/sylvain-peyronnet"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-19811-3_10"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-19811-3_10"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/OudinetDGLP11"
  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:
  - name: "Dimitra Giannakopoulou"
    link: "https://researchr.org/alias/dimitra-giannakopoulou"
  - name: "Fernando Orejas"
    link: "https://researchr.org/alias/fernando-orejas"
  volume: "6603"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-19810-6"
  kind: "inproceedings"
  key: "OudinetDGLP11"
- title: "Testing from Formal Specifications, a Generic Approach"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2043/20430035.htm"
  links:
    doi: "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:
  - name: "Dirk Craeynest"
    link: "https://researchr.org/alias/dirk-craeynest"
  - name: "Alfred Strohmeier"
    link: "https://researchr.org/alias/alfred-strohmeier"
  volume: "2043"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-42123-8"
  kind: "inproceedings"
  key: "Gaudel01"
- title: "Building a Foundation for the Future of Software Engineering (Introduction to the Special Issue)"
  author:
  - name: "Peter Freeman"
    link: "https://researchr.org/alias/peter-freeman"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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"
  kind: "article"
  key: "FreemanG91"
- title: "Testing Data Types Implementations from Algebraic Specifications"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Pascale Le Gall"
    link: "https://researchr.org/alias/pascale-le-gall"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78917-8_7"
  links:
    doi: "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:
  - name: "Robert M. Hierons"
    link: "https://researchr.org/alias/robert-m.-hierons"
  - name: "Jonathan P. Bowen"
    link: "http://www.jpbowen.com"
  - name: "Mark Harman"
    link: "https://researchr.org/alias/mark-harman"
  volume: "4949"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78916-1"
  kind: "inproceedings"
  key: "GaudelG08"
- title: "A Generic Method for Statistical Testing"
  author:
  - name: "Alain Denise"
    link: "https://researchr.org/alias/alain-denise"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Sandrine-Dominique Gouraud"
    link: "https://researchr.org/alias/sandrine-dominique-gouraud"
  year: "2004"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISSRE.2004.2"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "DeniseGG04"
- title: "Specification Coverage for Testing in ::::Circus::::"
  author:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16690-7_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16690-7_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/utp/CavalcantiG10"
  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:
  - name: "Shengchao Qin"
    link: "https://researchr.org/alias/shengchao-qin"
  volume: "6445"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16689-1"
  kind: "inproceedings"
  key: "CavalcantiG10"
- title: "Testing Algebraic Data Types and Processes: A Unifying Theory"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Perry R. James"
    link: "https://researchr.org/alias/perry-r.-james"
  year: "1998"
  doi: "http://link.springer.de/link/service/journals/00165/bibs/8010005/80100436.htm"
  links:
    doi: "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"
  kind: "article"
  key: "GaudelJ98"
- title: "The atomic manifesto: a story in four quarks"
  author:
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "David B. Lomet"
    link: "https://researchr.org/alias/david-b.-lomet"
  - name: "Alexander B. Romanovsky"
    link: "https://researchr.org/alias/alexander-b.-romanovsky"
  - name: "Gerhard Weikum"
    link: "https://researchr.org/alias/gerhard-weikum"
  - name: "Alan Fekete"
    link: "https://researchr.org/alias/alan-fekete"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Henry F. Korth"
    link: "https://researchr.org/alias/henry-f.-korth"
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "J. Eliot B. Moss"
    link: "https://researchr.org/alias/j.-eliot-b.-moss"
  - name: "Ravi Rajwar"
    link: "https://researchr.org/alias/ravi-rajwar"
  - name: "Krithi Ramamritham"
    link: "https://researchr.org/alias/krithi-ramamritham"
  - name: "Brian Randell"
    link: "https://researchr.org/alias/brian-randell"
  - name: "Luís Rodrigues"
    link: "https://researchr.org/alias/lu%C3%ADs-rodrigues"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1058150.1058165"
  links:
    doi: "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"
  kind: "article"
  key: "JonesLRWFGKLMRRRR05"
- title: "Uniform random sampling of traces in very large models"
  author:
  - name: "Alain Denise"
    link: "https://researchr.org/alias/alain-denise"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Sandrine-Dominique Gouraud"
    link: "https://researchr.org/alias/sandrine-dominique-gouraud"
  - name: "Richard Lassaigne"
    link: "https://researchr.org/alias/richard-lassaigne"
  - name: "Sylvain Peyronnet"
    link: "https://researchr.org/alias/sylvain-peyronnet"
  year: "2006"
  doi: "http://doi.acm.org/10.1145/1145735.1145738"
  links:
    doi: "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:
  - name: "Johannes Mayer"
    link: "https://researchr.org/alias/johannes-mayer"
  - name: "Robert G. Merkel"
    link: "https://researchr.org/alias/robert-g.-merkel"
  publisher: "ACM"
  isbn: "1-59593-457-X"
  kind: "inproceedings"
  key: "DeniseGGLP06"
- title: "Unifying Theories in Isabelle/HOL"
  author:
  - name: "Abderrahmane Feliachi"
    link: "https://researchr.org/alias/abderrahmane-feliachi"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Burkhart Wolff"
    link: "https://researchr.org/alias/burkhart-wolff"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-16690-7_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-16690-7_9"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/utp/FeliachiGW10"
  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:
  - name: "Shengchao Qin"
    link: "https://researchr.org/alias/shengchao-qin"
  volume: "6445"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-16689-1"
  kind: "inproceedings"
  key: "FeliachiGW10"
- title: "A Formal Approach to Software Testing"
  author:
  - name: "Gilles Bernot"
    link: "https://researchr.org/alias/gilles-bernot"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Bruno Marre"
    link: "https://researchr.org/alias/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:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  - name: "Giuseppe Scollo"
    link: "https://researchr.org/alias/giuseppe-scollo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19797-4"
  kind: "inproceedings"
  key: "BernotGM91"
- title: "Foreword: Selected Papers of TAPSOFT 93"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1994"
  researchr: "https://researchr.org/publication/Gaudel94"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "23"
  number: "2-3"
  pages: "105"
  kind: "article"
  key: "Gaudel94"
- title: "Test Selection Based on ADT Specifications"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Gregor von Bochmann"
    link: "https://researchr.org/alias/gregor-von-bochmann"
  - name: "Rachida Dssouli"
    link: "https://researchr.org/alias/rachida-dssouli"
  - name: "Anindya Das"
    link: "https://researchr.org/alias/anindya-das"
  volume: "C-11"
  series: "IFIP Transactions"
  publisher: "North-Holland"
  isbn: "0-444-89980-4"
  kind: "inproceedings"
  key: "Gaudel92"
- title: "Algebraic Imperative Specifications"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1755/17550017.htm"
  links:
    doi: "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:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "Manfred Broy"
    link: "https://researchr.org/alias/manfred-broy"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/alexandre-v.-zamulin"
  volume: "1755"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67102-1"
  kind: "inproceedings"
  key: "GaudelZ99"
- title: "Testing Can Be Formal, Too"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Peter D. Mosses"
    link: "https://pdmosses.github.io"
  - name: "Mogens Nielsen"
    link: "https://researchr.org/alias/mogens-nielsen"
  - name: "Michael I. Schwartzbach"
    link: "http://www.brics.dk/~mis/"
  volume: "915"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-59293-8"
  kind: "inproceedings"
  key: "Gaudel95:0"
- title: "Testing for Refinement in CSP"
  author:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76650-6_10"
  links:
    doi: "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:
  - name: "Michael Butler"
    link: "https://researchr.org/alias/michael-butler"
  - name: "Michael G. Hinchey"
    link: "https://researchr.org/alias/michael-g.-hinchey"
  - name: "María M. Larrondo-Petrie"
    link: "https://researchr.org/alias/mar%C3%ADa-m.-larrondo-petrie"
  volume: "4789"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76648-3"
  kind: "inproceedings"
  key: "CavalcantiG07"
- title: "Problems and Methods for Testing Infinite State Machines: Extended Abstract"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2004"
  doi: "http://dx.doi.org/10.1016/j.entcs.2004.04.005"
  links:
    doi: "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"
  kind: "article"
  key: "Gaudel04:0"
- title: "Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive Programs"
  author:
  - name: "A. Galves"
    link: "https://researchr.org/alias/a.-galves"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1998"
  tags:
  - "reactive programming"
  researchr: "https://researchr.org/publication/GalvesG98"
  cites: 0
  citedby: 0
  pages: "324-333"
  booktitle: "FTCS"
  kind: "inproceedings"
  key: "GalvesG98"
- title: "Checking Models, Proving Programs, and Testing Systems"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-21768-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-21768-5_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tap/Gaudel11"
  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:
  - name: "Martin Gogolla"
    link: "https://researchr.org/alias/martin-gogolla"
  - name: "Burkhart Wolff"
    link: "https://researchr.org/alias/burkhart-wolff"
  volume: "6706"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-21767-8"
  kind: "inproceedings"
  key: "Gaudel11"
- title: "How to Make Algebraic Specifications More Understandable: An Experiment with the PLUSS Specification Language"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "A. Mauboussin"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "BidoitGM89"
- title: "Logic Programming and Automatization of Software Test Strategies"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1986"
  tags:
  - "testing"
  - "logic programming"
  - "programming"
  - "logic"
  researchr: "https://researchr.org/publication/Gaudel86"
  cites: 0
  citedby: 0
  pages: "39-45"
  booktitle: "AIMSA"
  kind: "inproceedings"
  key: "Gaudel86"
- title: "Software Testing Based on Formal Specification"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-642-14335-9_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14335-9_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/psse/Gaudel07"
  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:
  - name: "Paulo Borba"
    link: "https://researchr.org/alias/paulo-borba"
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Augusto Sampaio"
    link: "https://researchr.org/alias/augusto-sampaio"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "6153"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14334-2"
  kind: "inproceedings"
  key: "Gaudel07"
- title: "How to Make Algebraic Specifications More Understandable?"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "A. Mauboussin"
    link: "https://researchr.org/alias/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:
  - name: "Martin Wirsing"
    link: "https://researchr.org/alias/martin-wirsing"
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  volume: "394"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-51698-0"
  kind: "inproceedings"
  key: "BidoitGM87"
- title: "Dynamic Systems with Implicit State"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Carole Khoury"
    link: "https://researchr.org/alias/carole-khoury"
  - name: "Alexandre V. Zamulin"
    link: "https://researchr.org/alias/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:
  - name: "Jean-Pierre Finance"
    link: "https://researchr.org/alias/jean-pierre-finance"
  volume: "1577"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-65718-5"
  kind: "inproceedings"
  key: "GaudelKZ99"
- title: "Exception Handling: Formal Specification and Systematic Program Construction"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Brigitte Biebow"
    link: "https://researchr.org/alias/brigitte-biebow"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Christian Gresse"
    link: "https://researchr.org/alias/christian-gresse"
  - name: "Gérard D. Guiho"
    link: "https://researchr.org/alias/g%C3%A9rard-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"
  kind: "article"
  key: "BidoitBGGG85"
- title: "Automation in Software Development (Panel)"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1986"
  researchr: "https://researchr.org/publication/Gaudel86%3A0"
  cites: 0
  citedby: 0
  pages: "173-174"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "Gaudel86:0"
- title: "Exception Handling: Formal Specification and Systematic Program Construction"
  author:
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Brigitte Biebow"
    link: "https://researchr.org/alias/brigitte-biebow"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Christian Gresse"
    link: "https://researchr.org/alias/christian-gresse"
  - name: "Gérard D. Guiho"
    link: "https://researchr.org/alias/g%C3%A9rard-d.-guiho"
  year: "1984"
  tags:
  - "exceptions"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/BidoitBGGG84"
  cites: 0
  citedby: 0
  pages: "18-29"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "BidoitBGGG84"
- title: "Testing Processes from Formal Specifications with Inputs, Outputs and Data Types"
  author:
  - name: "Grégory Lestiennes"
    link: "https://researchr.org/alias/gr%C3%A9gory-lestiennes"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2002"
  doi: "http://csdl.computer.org/comp/proceedings/issre/2002/1763/00/17630003abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "LestiennesG02"
- title: "From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study"
  author:
  - name: "A. Mauboussin"
    link: "https://researchr.org/alias/a.-mauboussin"
  - name: "H. Perdrix"
    link: "https://researchr.org/alias/h.-perdrix"
  - name: "Michel Bidoit"
    link: "https://researchr.org/alias/michel-bidoit"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jacques Hagelstein"
    link: "https://researchr.org/alias/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:
  - name: "Jan A. Bergstra"
    link: "http://staff.science.uva.nl/~janb/"
  - name: "Loe M. G. Feijs"
    link: "https://researchr.org/alias/loe-m.-g.-feijs"
  volume: "490"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-53912-3"
  kind: "inproceedings"
  key: "MauboussinPBGH89"
- title: "Test sets generation from algebraic specifications using logic programming"
  author:
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "N. Choquet"
    link: "https://researchr.org/alias/n.-choquet"
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1986"
  doi: "http://dx.doi.org/10.1016/0164-1212(86)90004-X"
  links:
    doi: "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"
  kind: "article"
  key: "BougeCFG86"
- title: "Compiler Generation from Formal Definition of Programming Languages: A Survey"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Josep Díaz"
    link: "https://researchr.org/alias/josep-d%C3%ADaz"
  - name: "Isidro Ramos"
    link: "https://researchr.org/alias/isidro-ramos"
  volume: "107"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10699-5"
  kind: "inproceedings"
  key: "Gaudel81"
- title: "A Formal Specification of the Steam-Boiler Control Problem by Algebraic Specifications with Implicit State"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Pierre Dauchy"
    link: "https://researchr.org/alias/pierre-dauchy"
  - name: "Carole Khoury"
    link: "https://researchr.org/alias/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:
  - name: "Jean-Raymond Abrial"
    link: "https://researchr.org/alias/jean-raymond-abrial"
  - name: "Egon Börger"
    link: "https://researchr.org/alias/egon-b%C3%B6rger"
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  volume: "1165"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61929-1"
  kind: "inproceedings"
  key: "GaudelDK95"
- title: "A Proposal for a Glass-Box Approach for Subsumption Checking"
  author:
  - name: "Quentin Elhaik"
    link: "https://researchr.org/alias/quentin-elhaik"
  - name: "Marie-Christine Rousset"
    link: "https://researchr.org/alias/marie-christine-rousset"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Lin Padgham"
    link: "https://researchr.org/alias/lin-padgham"
  - name: "Enrico Franconi"
    link: "https://researchr.org/alias/enrico-franconi"
  - name: "Manfred Gehrke"
    link: "https://researchr.org/alias/manfred-gehrke"
  - name: "Deborah L. McGuinness"
    link: "https://researchr.org/alias/deborah-l.-mcguinness"
  - name: "Peter F. Patel-Schneider"
    link: "https://researchr.org/alias/peter-f.-patel-schneider"
  volume: "WS-96-05"
  series: "AAAI Technical Report"
  publisher: "AAAI Press"
  isbn: "1-57735-014-6"
  kind: "inproceedings"
  key: "ElhaikRG96"
- title: "Coverage-biased Random Exploration of Models"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Alain Denise"
    link: "https://researchr.org/alias/alain-denise"
  - name: "Sandrine-Dominique Gouraud"
    link: "https://researchr.org/alias/sandrine-dominique-gouraud"
  - name: "Richard Lassaigne"
    link: "https://researchr.org/alias/richard-lassaigne"
  - name: "Johan Oudinet"
    link: "https://researchr.org/alias/johan-oudinet"
  - name: "Sylvain Peyronnet"
    link: "https://researchr.org/alias/sylvain-peyronnet"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2008.11.002"
  links:
    doi: "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"
  kind: "article"
  key: "GaudelDGLOP08"
- title: "Using algebraic specifications in software testing: A case study on the software of an automatic subway"
  author:
  - name: "Pierre Dauchy"
    link: "https://researchr.org/alias/pierre-dauchy"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Bruno Marre"
    link: "https://researchr.org/alias/bruno-marre"
  year: "1993"
  doi: "http://dx.doi.org/10.1016/0164-1212(93)90025-S"
  links:
    doi: "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"
  kind: "article"
  key: "DauchyGM93"
- title: "Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Alain Finkel"
    link: "https://researchr.org/alias/alain-finkel"
  - name: "Matthias Jantzen"
    link: "https://researchr.org/alias/matthias-jantzen"
  volume: "577"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-55210-3"
  kind: "inproceedings"
  key: "Gaudel92:0"
- title: "Formal Methods and Testing: Hypotheses, and Correctness Approximations"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11526841_2"
  links:
    doi: "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:
  - name: "John Fitzgerald"
    link: "https://researchr.org/alias/john-fitzgerald"
  - name: "Ian J. Hayes"
    link: "https://researchr.org/alias/ian-j.-hayes"
  - name: "Andrzej Tarlecki"
    link: "https://researchr.org/alias/andrzej-tarlecki"
  volume: "3582"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-27882-6"
  kind: "inproceedings"
  key: "Gaudel05"
- title: "A New Way of Automating Statistical Testing Methods"
  author:
  - name: "Sandrine-Dominique Gouraud"
    link: "https://researchr.org/alias/sandrine-dominique-gouraud"
  - name: "Alain Denise"
    link: "https://researchr.org/alias/alain-denise"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "B. Marr"
    link: "https://researchr.org/alias/b.-marr"
  year: "2001"
  doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260005abs.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "GouraudDGM01"
- title: "Testing for refinement in ::::Circus::::"
  author:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/s00236-011-0133-z"
  links:
    doi: "http://dx.doi.org/10.1007/s00236-011-0133-z"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/acta/CavalcantiG11"
  tags:
  - "refinement"
  - "testing"
  researchr: "https://researchr.org/publication/CavalcantiG11"
  cites: 0
  citedby: 0
  journal: "Acta Informatica"
  volume: "48"
  number: "2"
  pages: "97-147"
  kind: "article"
  key: "CavalcantiG11"
- title: "A Note on Traces Refinement and the ::::conf:::: Relation in the Unifying Theories of Programming"
  author:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-14521-6_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14521-6_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/utp/CavalcantiG08"
  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:
  - name: "Andrew Butterfield"
    link: "https://researchr.org/alias/andrew-butterfield"
  volume: "5713"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14520-9"
  kind: "inproceedings"
  key: "CavalcantiG08"
- title: "Application of Prolog to Test Sets Generation from Algebraic Specifications"
  author:
  - name: "Luc Bougé"
    link: "https://researchr.org/alias/luc-boug%C3%A9"
  - name: "N. Choquet"
    link: "https://researchr.org/alias/n.-choquet"
  - name: "Laurent Fribourg"
    link: "https://researchr.org/alias/laurent-fribourg"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  - name: "Christiane Floyd"
    link: "https://researchr.org/alias/christiane-floyd"
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "James W. Thatcher"
    link: "https://researchr.org/alias/james-w.-thatcher"
  volume: "186"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-15199-0"
  kind: "inproceedings"
  key: "BougeCFG85"
- title: "The atomic manifesto: a story in four quarks"
  author:
  - name: "Cliff B. Jones"
    link: "https://researchr.org/alias/cliff-b.-jones"
  - name: "David B. Lomet"
    link: "https://researchr.org/alias/david-b.-lomet"
  - name: "Alexander B. Romanovsky"
    link: "https://researchr.org/alias/alexander-b.-romanovsky"
  - name: "Gerhard Weikum"
    link: "https://researchr.org/alias/gerhard-weikum"
  - name: "Alan Fekete"
    link: "https://researchr.org/alias/alan-fekete"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Henry F. Korth"
    link: "https://researchr.org/alias/henry-f.-korth"
  - name: "Rogério de Lemos"
    link: "https://researchr.org/alias/rog%C3%A9rio-de-lemos"
  - name: "J. Eliot B. Moss"
    link: "https://researchr.org/alias/j.-eliot-b.-moss"
  - name: "Ravi Rajwar"
    link: "https://researchr.org/alias/ravi-rajwar"
  - name: "Krithi Ramamritham"
    link: "https://researchr.org/alias/krithi-ramamritham"
  - name: "Brian Randell"
    link: "https://researchr.org/alias/brian-randell"
  - name: "Luís Rodrigues"
    link: "https://researchr.org/alias/lu%C3%ADs-rodrigues"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1055218.1055220"
  links:
    doi: "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"
  kind: "article"
  key: "Rodrigues05"
- title: "Formal Specification Techniques (Extended Abstract)"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1994"
  doi: "http://portal.acm.org/citation.cfm?id=257734.257771"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Gaudel94:0"
- title: "A Theory of Software Reusability"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Th. Moineau"
    link: "https://researchr.org/alias/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:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "300"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19027-9"
  kind: "inproceedings"
  key: "GaudelM88"
- title: "Formal Specification Techniques for Interactive Systems"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Philippe A. Palanque"
    link: "https://researchr.org/alias/philippe-a.-palanque"
  - name: "Rémi Bastide"
    link: "https://researchr.org/alias/r%C3%A9mi-bastide"
  publisher: "Springer"
  isbn: "3-211-82739-0"
  kind: "inproceedings"
  key: "Gaudel95"
- title: "A Formal Approach to Translator Specification"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  year: "1977"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Gaudel77"
  cites: 0
  citedby: 0
  pages: "123-127"
  booktitle: "IFIP Congress"
  kind: "inproceedings"
  key: "Gaudel77"
- title: "A Machine Learning Approach for Statistical Software Testing"
  author:
  - name: "Nicolas Baskiotis"
    link: "https://researchr.org/alias/nicolas-baskiotis"
  - name: "Michèle Sebag"
    link: "https://researchr.org/alias/mich%C3%A8le-sebag"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Sandrine-Dominique Gouraud"
    link: "https://researchr.org/alias/sandrine-dominique-gouraud"
  year: "2007"
  doi: "http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-366.pdf"
  links:
    doi: "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:
  - name: "Manuela M. Veloso"
    link: "https://researchr.org/alias/manuela-m.-veloso"
  kind: "inproceedings"
  key: "BaskiotisSGG07"
- title: "Development of an Atomic-Broadcast Protocol Using LOTOS"
  author:
  - name: "Perry R. James"
    link: "https://researchr.org/alias/perry-r.-james"
  - name: "Markus Endler"
    link: "https://researchr.org/alias/markus-endler"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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"
  kind: "article"
  key: "JamesEG99"
- title: "Specification of compilers as abstract data type representations"
  author:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  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:
  - name: "Neil D. Jones"
    link: "http://www.diku.dk/hjemmesider/ansatte/neil/"
  volume: "94"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-10250-7"
  kind: "inproceedings"
  key: "Gaudel80"
- 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:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jean-Pierre Jouannaud"
    link: "https://researchr.org/alias/jean-pierre-jouannaud"
  volume: "668"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-56610-4"
  kind: "proceedings"
  key: "tapsoft:1993"
- title: "Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14808-8"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14808-8"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ictac/2010"
  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:
  - name: "Ana Cavalcanti"
    link: "https://researchr.org/alias/ana-cavalcanti"
  - name: "David Déharbe"
    link: "https://researchr.org/alias/david-d%C3%A9harbe"
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "6255"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14807-1"
  kind: "proceedings"
  key: "ictac-2010"
- 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:
  - name: "Marie-Claude Gaudel"
    link: "http://www.lri.fr/~mcg/"
  - name: "Jim Woodcock"
    link: "https://researchr.org/alias/jim-woodcock"
  volume: "1051"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-60973-3"
  kind: "proceedings"
  key: "fm:1996"