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: "ICSE"
  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: "FASE"
  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: "Ada-Europe"
  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: "CACM"
  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: "fortest"
  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: "issre"
  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: "utp"
  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: "fac"
  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"
  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: "ISSTA"
  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: "utp"
  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: "amast"
  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: "SCP"
  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: "pts"
  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: "ershov"
  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"
  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: "icfem"
  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: "ENTCS"
  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: "tap"
  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: "SCP"
  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: "psse"
  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: "am"
  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: "FASE"
  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: "TSE"
  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"
  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: "issre"
  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: "am"
  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: "jss"
  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: "icfpc"
  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: "Dagstuhl"
  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: "dlog"
  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: "ENTCS"
  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: "jss"
  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"
  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"
  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: "ASE"
  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"
  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: "utp"
  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: "tapsoft"
  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: "sigops"
  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"
  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: "DSVIS"
  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: "ifip11-9"
  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"
  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: "SPE"
  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: "CC"
  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"