publications:
- title: "Audition of Web Services for Testing Conformance to Open Specified Protocols"
  author:
  - name: "Antonia Bertolino"
    link: "https://researchr.org/alias/antonia-bertolino"
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Andrea Polini"
    link: "https://researchr.org/alias/andrea-polini"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11786160_1"
  links:
    doi: "http://dx.doi.org/10.1007/11786160_1"
  tags:
  - "protocol"
  - "web service"
  - "testing"
  - "source-to-source"
  - "web services"
  - "open-source"
  researchr: "https://researchr.org/publication/BertolinoFPT04"
  cites: 0
  citedby: 0
  pages: "1-25"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BertolinoFPT04"
- title: "A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008"
  author:
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Mercedes G. Merayo"
    link: "https://researchr.org/alias/mercedes-g.-merayo"
  - name: "Manuel Núñez"
    link: "https://researchr.org/alias/manuel-n%C3%A3%C2%BA%C3%A3%C2%B1ez"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.jlap.2009.02.010"
  links:
    doi: "http://dx.doi.org/10.1016/j.jlap.2009.02.010"
  tags:
  - "history"
  researchr: "https://researchr.org/publication/FrantzenMN09"
  cites: 0
  citedby: 0
  journal: "jlp"
  volume: "78"
  number: "6"
  pages: "417-424"
  kind: "article"
  key: "FrantzenMN09"
- title: "Model-Based Generation of Testbeds for Web Services"
  author:
  - name: "Antonia Bertolino"
    link: "https://researchr.org/alias/antonia-bertolino"
  - name: "Guglielmo De Angelis"
    link: "https://researchr.org/alias/guglielmo-de-angelis"
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Andrea Polini"
    link: "https://researchr.org/alias/andrea-polini"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-68524-1_19"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-68524-1_19"
  tags:
  - "rule-based"
  - "web service"
  - "web services"
  researchr: "https://researchr.org/publication/BertolinoAFP08"
  cites: 0
  citedby: 0
  pages: "266-282"
  booktitle: "pts"
  kind: "inproceedings"
  key: "BertolinoAFP08"
- title: "A Symbolic Framework for Model-Based Testing"
  author:
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11940197_3"
  links:
    doi: "http://dx.doi.org/10.1007/11940197_3"
  tags:
  - "rule-based"
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/FrantzenTW06"
  cites: 0
  citedby: 0
  pages: "40-54"
  booktitle: "fates"
  kind: "inproceedings"
  key: "FrantzenTW06"
- title: "On-The-Fly Model-Based Testing of Web Services with Jambition"
  author:
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Maria de las Nieves Huerta"
    link: "https://researchr.org/alias/maria-de-las-nieves-huerta"
  - name: "Zsolt Gere Kiss"
    link: "https://researchr.org/alias/zsolt-gere-kiss"
  - name: "Thomas Wallet"
    link: "https://researchr.org/alias/thomas-wallet"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01364-5_9"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01364-5_9"
  tags:
  - "rule-based"
  - "web service"
  - "testing"
  - "web services"
  researchr: "https://researchr.org/publication/FrantzenHKW08"
  cites: 0
  citedby: 0
  pages: "143-157"
  booktitle: "wsfm"
  kind: "inproceedings"
  key: "FrantzenHKW08"
- title: "Test Generation Based on Symbolic Specifications"
  author:
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  - name: "Tim A. C. Willemse"
    link: "https://researchr.org/alias/tim-a.-c.-willemse"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=1"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3395&spage=1"
  tags:
  - "rule-based"
  - "testing"
  - "C++"
  researchr: "https://researchr.org/publication/FrantzenTW04"
  cites: 0
  citedby: 0
  pages: "1-15"
  booktitle: "fates"
  kind: "inproceedings"
  key: "FrantzenTW04"
- title: "Model-Based Testing of Environmental Conformance of Components"
  author:
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-74792-5_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-74792-5_1"
  tags:
  - "rule-based"
  - "testing"
  researchr: "https://researchr.org/publication/FrantzenT06"
  cites: 0
  citedby: 0
  pages: "1-25"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "FrantzenT06"
- title: "Tools for Test Case Generation"
  author:
  - name: "Axel Belinfante"
    link: "https://researchr.org/alias/axel-belinfante"
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Christian Schallhart"
    link: "https://researchr.org/alias/christian-schallhart"
  year: "2004"
  doi: "http://dx.doi.org/10.1007/11498490_18"
  links:
    doi: "http://dx.doi.org/10.1007/11498490_18"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/BelinfanteFS04"
  cites: 0
  citedby: 0
  pages: "391-438"
  booktitle: "Dagstuhl"
  kind: "inproceedings"
  key: "BelinfanteFS04"
- title: "On-the-Fly Formal Testing of a Smart Card Applet"
  author:
  - name: "Arjen van Weelden"
    link: "https://researchr.org/alias/arjen-van-weelden"
  - name: "Martijn Oostdijk"
    link: "https://researchr.org/alias/martijn-oostdijk"
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Pieter W. M. Koopman"
    link: "https://researchr.org/alias/pieter-w.-m.-koopman"
  - name: "Jan Tretmans"
    link: "https://researchr.org/alias/jan-tretmans"
  year: "2005"
  tags:
  - "testing"
  researchr: "https://researchr.org/publication/WeeldenOFKT05"
  cites: 0
  citedby: 0
  pages: "565-576"
  booktitle: "sec"
  kind: "inproceedings"
  key: "WeeldenOFKT05"
- title: "The PLASTIC Framework and Tools for Testing Service-Oriented Applications"
  author:
  - name: "Antonia Bertolino"
    link: "https://researchr.org/alias/antonia-bertolino"
  - name: "Guglielmo De Angelis"
    link: "https://researchr.org/alias/guglielmo-de-angelis"
  - name: "Lars Frantzen"
    link: "http://www.frantzen.info/"
  - name: "Andrea Polini"
    link: "https://researchr.org/alias/andrea-polini"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-95888-8_5"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-95888-8_5"
  tags:
  - "application framework"
  - "testing"
  researchr: "https://researchr.org/publication/BertolinoAFP08%3A0"
  cites: 0
  citedby: 0
  pages: "106-139"
  booktitle: "issse"
  kind: "inproceedings"
  key: "BertolinoAFP08:0"