@inproceedings{BertolinoFPT04,
  title = {Audition of Web Services for Testing Conformance to Open Specified Protocols},
  author = {Antonia Bertolino and Lars Frantzen and Andrea Polini and Jan Tretmans},
  year = {2004},
  doi = {10.1007/11786160_1},
  url = {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 = {Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers},
  editor = {Ralf H. Reussner and Judith A. Stafford and Clemens A. Szyperski},
  volume = {3938},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-35800-5},
}

@article{FrantzenMN09,
  title = {A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008},
  author = {Lars Frantzen and Mercedes G. Merayo and Manuel Núñez},
  year = {2009},
  doi = {10.1016/j.jlap.2009.02.010},
  url = {http://dx.doi.org/10.1016/j.jlap.2009.02.010},
  tags = {history},
  researchr = {https://researchr.org/publication/FrantzenMN09},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {78},
  number = {6},
  pages = {417-424},
}

@inproceedings{BertolinoAFP08,
  title = {Model-Based Generation of Testbeds for Web Services},
  author = {Antonia Bertolino and Guglielmo De Angelis and Lars Frantzen and Andrea Polini},
  year = {2008},
  doi = {10.1007/978-3-540-68524-1_19},
  url = {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 = {Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings},
  editor = {Kenji Suzuki and Teruo Higashino and Andreas Ulrich and Toru Hasegawa},
  volume = {5047},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-68514-2},
}

@inproceedings{FrantzenTW06,
  title = {A Symbolic Framework for Model-Based Testing},
  author = {Lars Frantzen and Jan Tretmans and Tim A. C. Willemse},
  year = {2006},
  doi = {10.1007/11940197_3},
  url = {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 = {Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers},
  editor = {Klaus Havelund and Manuel Núñez and Grigore Rosu and Burkhart Wolff},
  volume = {4262},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-49699-8},
}

@inproceedings{FrantzenHKW08,
  title = {On-The-Fly Model-Based Testing of Web Services with Jambition},
  author = {Lars Frantzen and Maria de las Nieves Huerta and Zsolt Gere Kiss and Thomas Wallet},
  year = {2008},
  doi = {10.1007/978-3-642-01364-5_9},
  url = {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 = {Web Services and Formal Methods, 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers},
  editor = {Roberto Bruni and Karsten Wolf},
  volume = {5387},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-01363-8},
}

@inproceedings{FrantzenTW04,
  title = {Test Generation Based on Symbolic Specifications},
  author = {Lars Frantzen and Jan Tretmans and Tim A. C. Willemse},
  year = {2004},
  url = {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 = {Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers},
  editor = {Jens Grabowski and Brian Nielsen},
  volume = {3395},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-25109-X},
}

@inproceedings{FrantzenT06,
  title = {Model-Based Testing of Environmental Conformance of Components},
  author = {Lars Frantzen and Jan Tretmans},
  year = {2006},
  doi = {10.1007/978-3-540-74792-5_1},
  url = {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 = {Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {4709},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-74791-8},
}

@inproceedings{BelinfanteFS04,
  title = {Tools for Test Case Generation},
  author = {Axel Belinfante and Lars Frantzen and Christian Schallhart},
  year = {2004},
  doi = {10.1007/11498490_18},
  url = {http://dx.doi.org/10.1007/11498490_18},
  tags = {testing},
  researchr = {https://researchr.org/publication/BelinfanteFS04},
  cites = {0},
  citedby = {0},
  pages = {391-438},
  booktitle = {Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]},
  editor = {Manfred Broy and Bengt Jonsson and Joost-Pieter Katoen and Martin Leucker and Alexander Pretschner},
  volume = {3472},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-26278-4},
}

@inproceedings{WeeldenOFKT05,
  title = {On-the-Fly Formal Testing of a Smart Card Applet},
  author = {Arjen van Weelden and Martijn Oostdijk and Lars Frantzen and Pieter W. M. Koopman and Jan Tretmans},
  year = {2005},
  tags = {testing},
  researchr = {https://researchr.org/publication/WeeldenOFKT05},
  cites = {0},
  citedby = {0},
  pages = {565-576},
  booktitle = {Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan},
  editor = {Ryoichi Sasaki and Sihan Qing and Eiji Okamoto and Hiroshi Yoshiura},
  publisher = {Springer},
  isbn = {0-387-25658-X},
}

@inproceedings{BertolinoAFP08:0,
  title = {The PLASTIC Framework and Tools for Testing Service-Oriented Applications},
  author = {Antonia Bertolino and Guglielmo De Angelis and Lars Frantzen and Andrea Polini},
  year = {2008},
  doi = {10.1007/978-3-540-95888-8_5},
  url = {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 = {Software Engineering, International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures},
  editor = {Andrea De Lucia and Filomena Ferrucci},
  volume = {5413},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-95887-1},
}