% csauthors.net - beta - BibTeX bibliography of Jan Tretmans
@inproceedings{conf/forte/Tretmans89,
title = {Test Case Derivation from LOTOS Specifications.},
year = {1989},
booktitle = {FORTE},
author = {{Jan Tretmans}},
publisher = {North-Holland},
booktitle = {Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989}
}
@inproceedings{conf/pstv/BrinksmaTV91,
title = {A Framework for Test Selection.},
year = {1991},
booktitle = {PSTV},
author = {{Ed Brinksma} and {Jan Tretmans} and {Louis Verhaard}},
publisher = {North-Holland},
booktitle = {Protocol Specification, Testing and Verification XI, Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Stockholm, Sweden, 18-20 June 1991}
}
@inproceedings{conf/pts/TretmansKB91,
title = {Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.},
year = {1991},
booktitle = {Protocol Test Systems},
author = {{Jan Tretmans} and {Pim Kars} and {Ed Brinksma}},
publisher = {North-Holland},
booktitle = {Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991}
}
@inproceedings{conf/pstv/TretmansV92,
title = {A Queue Model Relating Synchronous and Asynchronous Communication.},
year = {1992},
booktitle = {PSTV},
author = {{Jan Tretmans} and {Louis Verhaard}},
publisher = {North-Holland},
booktitle = {Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992}
}
@inproceedings{conf/pts/VerhaardTKB92,
title = {On Asynchronous Testing.},
year = {1992},
booktitle = {Protocol Test Systems},
author = {{Louis Verhaard} and {Jan Tretmans} and {Pim Kars} and {Ed Brinksma}},
publisher = {North-Holland},
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}
}
@inproceedings{conf/pts/Tretmans93,
title = {A Formal Approach to Conformance Testing.},
year = {1993},
booktitle = {Protocol Test Systems},
author = {{Jan Tretmans}},
publisher = {North-Holland},
booktitle = {Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 28-30 September, 1993}
}
@inproceedings{conf/tacas/Tretmans96,
title = {Test Generation with Inputs, Outputs, and Quiescence.},
year = {1996},
booktitle = {TACAS},
author = {{Jan Tretmans}},
publisher = {Springer},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second International Workshop, TACAS '96, Passau, Germany, March 27-29, 1996, Proceedings}
}
@article{journals/cn/Tretmans96,
title = {Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation.},
year = {1996},
journal = {Comput. Networks ISDN Syst.},
author = {{Jan Tretmans}}
}
@article{journals/stp/Tretmans96,
title = {Test Generation with Inputs, Outputs and Repetitive Quiescence.},
year = {1996},
journal = {Softw. Concepts Tools},
author = {{Jan Tretmans}}
}
@inproceedings{conf/fbt/Tretmans97,
title = {Repetitive Quiescence in Implementation and Testing.},
year = {1997},
booktitle = {FBT},
author = {{Jan Tretmans}},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
booktitle = {Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997}
}
@inproceedings{conf/forte/HeerinkT97,
title = {Refusal Testing for Classes of Transition Systems with Inputs and Outputs.},
year = {1997},
booktitle = {FORTE},
author = {{Lex Heerink} and {Jan Tretmans}},
publisher = {Chapman & Hall},
booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan}
}
@inproceedings{conf/tacas/DArgenioKRT97,
title = {The Bounded Retransmission Protocol Must Be on Time!},
year = {1997},
booktitle = {TACAS},
author = {{Pedro R. D'Argenio} and {Joost-Pieter Katoen} and {Theo C. Ruys} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS '97, Enschede, The Netherlands, April 2-4, 1997, Proceedings}
}
@inproceedings{conf/pts/BrinksmaHT98,
title = {Factorized Test Generation for Multi-Input/Output Transition Systems.},
year = {1998},
booktitle = {IWTCS},
author = {{Ed Brinksma} and {Lex Heerink} and {Jan Tretmans}},
publisher = {Kluwer},
booktitle = {Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia}
}
@inproceedings{conf/concur/Tretmans99,
title = {Testing Concurrent Systems: A Formal Approach.},
year = {1999},
booktitle = {CONCUR},
author = {{Jan Tretmans}},
publisher = {Springer},
booktitle = {CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings}
}
@inproceedings{conf/fm/ChaudronTW99,
title = {Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.},
year = {1999},
booktitle = {World Congress on Formal Methods},
author = {{Michel R. V. Chaudron} and {Jan Tretmans} and {Klaas Wijbrans}},
publisher = {Springer},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II}
}
@inproceedings{conf/pts/BelinfanteFVTGFMH99,
title = {Formal Test Automation: A Simple Experiment.},
year = {1999},
booktitle = {IWTCS},
author = {{Axel Belinfante} and {Jan Feenstra} and {René G. de Vries} and {Jan Tretmans} and {Nicolae Goga} and {Loe M. G. Feijs} and {Sjouke Mauw} and {Lex Heerink}},
publisher = {Kluwer},
booktitle = {Testing of Communicating Systems: Method and Applications, IFIP TC6 12th International Workshop on Testing Communicating Systems, September 1-3, 1999, Budapest, Hungary}
}
@inproceedings{conf/movep/BrinksmaT00,
title = {Testing Transition Systems: An Annotated Bibliography.},
year = {2000},
booktitle = {MOVEP},
author = {{Ed Brinksma} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000}
}
@inproceedings{conf/pts/HeerinkFT00,
title = {Formal Test Automation: The Conference Protocol with PHACT.},
year = {2000},
booktitle = {TestCom},
author = {{Lex Heerink} and {Jan Feenstra} and {Jan Tretmans}},
publisher = {Kluwer},
booktitle = {Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13th International Conference on Testing Communicating Systems (TestCom 2000), August 29 - September 1, 2000, Ottawa, Canada}
}
@article{journals/sttt/VriesT00,
title = {On-the-fly Conformance Testing using SPIN.},
year = {2000},
journal = {Int. J. Softw. Tools Technol. Transf.},
author = {{René G. de Vries} and {Jan Tretmans}}
}
@article{journals/fmsd/TretmansWC01,
title = {Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.},
year = {2001},
journal = {Formal Methods Syst. Des.},
author = {{Jan Tretmans} and {Klaas Wijbrans} and {Michel R. V. Chaudron}}
}
@inproceedings{conf/ifl/KoopmanATP02,
title = {Gast: Generic Automated Software Testing.},
year = {2002},
booktitle = {IFL},
author = {{Pieter W. M. Koopman} and {Artem Alimarine} and {Jan Tretmans} and {Marinus J. Plasmeijer}},
publisher = {Springer},
booktitle = {Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers}
}
@inproceedings{conf/pts/FeijsGMT02,
title = {Test Selection, Trace Distance and Heuristics.},
year = {2002},
booktitle = {TestCom},
author = {{Loe M. G. Feijs} and {Nicolae Goga} and {Sjouke Mauw} and {Jan Tretmans}},
publisher = {Kluwer},
booktitle = {Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems - TestCom 2002, Berlin, Germany, March 19-22, 2002}
}
@inproceedings{conf/fates/BijlRT03,
title = {Compositional Testing with ioco.},
year = {2003},
booktitle = {FATES},
author = {{Machiel van der Bijl} and {Arend Rensink} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003}
}
@inproceedings{conf/dagstuhl/BertolinoFPT04,
title = {Audition of Web Services for Testing Conformance to Open Specified Protocols.},
year = {2004},
booktitle = {Architecting Systems with Trustworthy Components},
author = {{Antonia Bertolino} and {Lars Frantzen} and {Andrea Polini} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Architecting Systems with Trustworthy Components, International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers}
}
@inproceedings{conf/dagstuhl/BrinksmaGT04,
title = {04371 Summary - Perspectives of Model-Based Testing.},
year = {2004},
booktitle = {Perspectives of Model-Based Testing},
author = {{Ed Brinksma} and {Wolfgang Grieskamp} and {Jan Tretmans}},
publisher = {IBFI, Schloss Dagstuhl, Germany},
booktitle = {Perspectives of Model-Based Testing, 5.-10. September 2004}
}
@inproceedings{conf/dagstuhl/BrinksmaGT04a,
title = {04371 Abstracts Collection - Perspectives of Model-Based Testing.},
year = {2004},
booktitle = {Perspectives of Model-Based Testing},
author = {{Ed Brinksma} and {Wolfgang Grieskamp} and {Jan Tretmans}},
publisher = {IBFI, Schloss Dagstuhl, Germany},
booktitle = {Perspectives of Model-Based Testing, 5.-10. September 2004}
}
@inproceedings{conf/fates/FrantzenTW04,
title = {Test Generation Based on Symbolic Specifications.},
year = {2004},
booktitle = {FATES},
author = {{Lars Frantzen} and {Jan Tretmans} and {Tim A. C. Willemse}},
publisher = {Springer},
booktitle = {Formal Approaches to Software Testing, 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers}
}
@inproceedings{conf/pts/BijlRT05,
title = {Action Refinement in Conformance Testing.},
year = {2005},
booktitle = {TestCom},
author = {{Machiel van der Bijl} and {Arend Rensink} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Testing of Communicating Systems, 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings}
}
@inproceedings{conf/sec/WeeldenOFKT05,
title = {On-the-Fly Formal Testing of a Smart Card Applet.},
year = {2005},
booktitle = {SEC},
author = {{Arjen van Weelden} and {Martijn Oostdijk} and {Lars Frantzen} and {Pieter W. M. Koopman} and {Jan Tretmans}},
publisher = {Springer},
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}
}
@inproceedings{conf/fates/FrantzenTW06,
title = {A Symbolic Framework for Model-Based Testing.},
year = {2006},
booktitle = {FATES/RV},
author = {{Lars Frantzen} and {Jan Tretmans} and {Tim A. C. Willemse}},
publisher = {Springer},
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}
}
@inproceedings{conf/fmco/FrantzenT06,
title = {Model-Based Testing of Environmental Conformance of Components.},
year = {2006},
booktitle = {FMCO},
author = {{Lars Frantzen} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures}
}
@inproceedings{conf/mmb/Tretmans06,
title = {Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.},
year = {2006},
booktitle = {MMB},
author = {{Jan Tretmans}},
publisher = {VDE Verlag},
booktitle = {Proceedings 13th GI/ITG Conference on Measuring, Modelling and Evaluation of Computer and Communication Systems, MMB 2006, March 27-29, 2006, Nürnberg, Germany}
}
@inproceedings{conf/ifm/OostdijkRTVW07,
title = {Integrating Verification, Testing, and Learning for Cryptographic Protocols.},
year = {2007},
booktitle = {IFM},
author = {{Martijn Oostdijk} and {Vlad Rusu} and {Jan Tretmans} and {René G. de Vries} and {Tim A. C. Willemse}},
publisher = {Springer},
booktitle = {Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings}
}
@inproceedings{conf/formats/SchmaltzT08,
title = {On Conformance Testing for Timed Systems.},
year = {2008},
booktitle = {FORMATS},
author = {{Julien Schmaltz} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings}
}
@inproceedings{conf/fortest/Tretmans08,
title = {Model Based Testing with Labelled Transition Systems.},
year = {2008},
booktitle = {Formal Methods and Testing},
author = {{Jan Tretmans}},
publisher = {Springer},
booktitle = {Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers}
}
@inproceedings{conf/fmics/MostowskiPSTS09,
title = {Model-Based Testing of Electronic Passports.},
year = {2009},
booktitle = {FMICS},
author = {{Wojciech Mostowski} and {Erik Poll} and {Julien Schmaltz} and {Jan Tretmans} and {Ronny Wichers Schreur}},
publisher = {Springer},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings}
}
@inproceedings{conf/acsd/XingTLPTV10,
title = {From POOSL to UPPAAL: Transformation and Quantitative Analysis.},
year = {2010},
booktitle = {ACSD},
author = {{Jiansheng Xing} and {Bart D. Theelen} and {Rom Langerak} and {Jaco van de Pol} and {Jan Tretmans} and {Jeroen Voeten}},
publisher = {IEEE Computer Society},
booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010}
}
@inproceedings{conf/dagstuhl/BertolinoGHTLMP10,
title = {Model-Based Testing for the Cloud.},
year = {2010},
booktitle = {Practical Software Testing: Tool Automation and Human Factors},
author = {{Antonia Bertolino} and {Wolfgang Grieskamp} and {Robert M. Hierons} and {Yves Le Traon} and {Bruno Legeard} and {Henry Muccini} and {Amit M. Paradkar} and {David S. Rosenblum} and {Jan Tretmans}},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03. - 19.03.2010}
}
@inproceedings{conf/emsoft/HermannsLRT10,
title = {Quantitative system validation in model driven design.},
year = {2010},
booktitle = {EMSOFT},
author = {{Holger Hermanns} and {Kim Guldstrand Larsen} and {Jean-François Raskin} and {Jan Tretmans}},
publisher = {ACM},
booktitle = {Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010}
}
@inproceedings{conf/isola/XingTLPTV10,
title = {UPPAAL in Practice: Quantitative Verification of a RapidIO Network.},
year = {2010},
booktitle = {ISoLA (2)},
author = {{Jiansheng Xing} and {Bart D. Theelen} and {Rom Langerak} and {Jaco van de Pol} and {Jan Tretmans} and {Jeroen Voeten}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II}
}
@inproceedings{journals/entcs/TretmansPHS10,
title = {Model-Based Testing 2010: Short Abstracts.},
year = {2010},
booktitle = {MBT@ETAPS},
author = {{Jan Tretmans} and {Florian Prester} and {Philipp Helle} and {Wladimir Schamai}},
publisher = {Elsevier},
booktitle = {Proceedings of the Sixth Workshop on Model-Based Testing, MBT@ETAPS 2010, Paphos, Cyprus, March 21, 2010}
}
@inproceedings{conf/pts/OlsenFT11,
title = {Model-Based Testing of Industrial Transformational Systems.},
year = {2011},
booktitle = {ICTSS},
author = {{Petur Olsen} and {Johan Foederer} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings}
}
@inproceedings{conf/sfm/Tretmans11,
title = {Model-Based Testing and Some Steps towards Test-Based Modelling.},
year = {2011},
booktitle = {SFM},
author = {{Jan Tretmans}},
publisher = {Springer},
booktitle = {Formal Methods for Eternal Networked Software Systems - 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures}
}
@inproceedings{conf/date/BozgaDHHLLT12,
title = {State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems.},
year = {2012},
booktitle = {DATE},
author = {{Marius Bozga} and {Alexandre David} and {Arnd Hartmanns} and {Holger Hermanns} and {Kim G. Larsen} and {Axel Legay} and {Jan Tretmans}},
publisher = {IEEE},
booktitle = {2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012}
}
@inproceedings{journals/jmlr/AartsKTVV12,
title = {Learning and Testing the Bounded Retransmission Protocol.},
year = {2012},
booktitle = {ICGI},
author = {{Fides Aarts} and {Harco Kuppens} and {Jan Tretmans} and {Frits W. Vaandrager} and {Sicco Verwer}},
publisher = {JMLR.org},
booktitle = {Proceedings of the Eleventh International Conference on Grammatical Inference, ICGI 2012, University of Maryland, College Park, USA, September 5-8, 2012}
}
@incollection{books/sp/awareness/TretmansL13,
title = {Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security.},
year = {2013},
booktitle = {Situation Awareness with Systems of Systems},
author = {{Jan Tretmans} and {Piërre van de Laar}},
publisher = {Springer},
booktitle = {Situation Awareness with Systems of Systems}
}
@inproceedings{conf/issta/VolpatoT13,
title = {Towards quality of model-based testing in the ioco framework.},
year = {2013},
booktitle = {JAMAICA@ISSTA},
author = {{Michele Volpato} and {Jan Tretmans}},
publisher = {ACM},
booktitle = {Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, JAMAICA 2013, Lugano, Switzerland, July 15, 2013}
}
@inproceedings{conf/isola/VolpatoT14,
title = {Active Learning of Nondeterministic Systems from an ioco Perspective.},
year = {2014},
booktitle = {ISoLA (1)},
author = {{Michele Volpato} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I}
}
@article{journals/ml/AartsKTVV14,
title = {Improving active Mealy machine learning for protocol conformance testing.},
year = {2014},
journal = {Mach. Learn.},
author = {{Fides Aarts} and {Harco Kuppens} and {Jan Tretmans} and {Frits W. Vaandrager} and {Sicco Verwer}}
}
@article{journals/eceasst/VolpatoT15,
title = {Approximate Active Learning of Nondeterministic Input Output Transition Systems.},
year = {2015},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
author = {{Michele Volpato} and {Jan Tretmans}}
}
@inproceedings{conf/birthday/Tretmans17,
title = {On the Existence of Practical Testers.},
year = {2017},
booktitle = {ModelEd, TestEd, TrustEd},
author = {{Jan Tretmans}},
publisher = {Springer},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday}
}
@inproceedings{conf/ifm/JanssenVT19,
title = {Relating Alternating Relations for Conformance and Refinement.},
year = {2019},
booktitle = {IFM},
author = {{Ramon Janssen} and {Frits W. Vaandrager} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings}
}
@inproceedings{conf/sac/JanssenT19,
title = {Matching implementations to specifications: the corner cases of ioco.},
year = {2019},
booktitle = {SAC},
author = {{Ramon Janssen} and {Jan Tretmans}},
publisher = {ACM},
booktitle = {Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 8-12, 2019}
}
@inproceedings{conf/tap/BosT19,
title = {Coverage-Based Testing with Symbolic Transition Systems.},
year = {2019},
booktitle = {TAP@FM},
author = {{Petra van den Bos} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Tests and Proofs - 13th International Conference, TAP@FM 2019, Porto, Portugal, October 9-11, 2019, Proceedings}
}
@inproceedings{conf/birthday/TretmansJ22,
title = {Goodbye ioco.},
year = {2022},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning},
author = {{Jan Tretmans} and {Ramon Janssen}},
publisher = {Springer},
booktitle = {A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday}
}
@inproceedings{conf/icst/ZameniBTFR23,
title = {From BDD Scenarios to Test Case Generation.},
year = {2023},
booktitle = {ICSTW},
author = {{Tannaz Zameni} and {Petra van den Bos} and {Jan Tretmans} and {Johan Foederer} and {Arend Rensink}},
publisher = {IEEE},
booktitle = {IEEE International Conference on Software Testing, Verification and Validation, ICST 2023 - Workshops, Dublin, Ireland, April 16-20, 2023}
}
@inproceedings{conf/pts/CuyckAT23,
title = {Compositionality in Model-Based Testing.},
year = {2023},
booktitle = {ICTSS},
author = {{Gijs van Cuyck} and {Lars van Arragon} and {Jan Tretmans}},
publisher = {Springer},
booktitle = {Testing Software and Systems - 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings}
}