Test Case Derivation from LOTOS Specifications. - Jan Tretmans (FORTE, 1989)

A Framework for Test Selection. - Ed Brinksma; Jan Tretmans; Louis Verhaard (PSTV, 1991)

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. - Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1991)

A Queue Model Relating Synchronous and Asynchronous Communication. - Jan Tretmans; Louis Verhaard (PSTV, 1992)

On Asynchronous Testing. - Louis Verhaard; Jan Tretmans; Pim Kars; Ed Brinksma (Protocol Test Systems, 1992)

A Formal Approach to Conformance Testing. - Jan Tretmans (Protocol Test Systems, 1993)

Test Generation with Inputs, Outputs, and Quiescence. - Jan Tretmans (TACAS, 1996)

Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. - Jan Tretmans (Comput. Networks ISDN Syst., 1996)

Test Generation with Inputs, Outputs and Repetitive Quiescence. - Jan Tretmans (Softw. Concepts Tools, 1996)

Repetitive Quiescence in Implementation and Testing. - Jan Tretmans (FBT, 1997)

Refusal Testing for Classes of Transition Systems with Inputs and Outputs. - Lex Heerink; Jan Tretmans (FORTE, 1997)

The Bounded Retransmission Protocol Must Be on Time! - Pedro R. D'Argenio; Joost-Pieter Katoen; Theo C. Ruys; Jan Tretmans (TACAS, 1997)

Factorized Test Generation for Multi-Input/Output Transition Systems. - Ed Brinksma; Lex Heerink; Jan Tretmans (IWTCS, 1998)

Testing Concurrent Systems: A Formal Approach. - Jan Tretmans (CONCUR, 1999)

Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. - Michel R. V. Chaudron; Jan Tretmans; Klaas Wijbrans (World Congress on Formal Methods, 1999)

Formal Test Automation: A Simple Experiment. - Axel Belinfante; Jan Feenstra; René G. de Vries; Jan Tretmans; Nicolae Goga; Loe M. G. Feijs; Sjouke Mauw; Lex Heerink (IWTCS, 1999)

Testing Transition Systems: An Annotated Bibliography. - Ed Brinksma; Jan Tretmans (MOVEP, 2000)

Formal Test Automation: The Conference Protocol with PHACT. - Lex Heerink; Jan Feenstra; Jan Tretmans (TestCom, 2000)

On-the-fly Conformance Testing using SPIN. - René G. de Vries; Jan Tretmans (Int. J. Softw. Tools Technol. Transf., 2000)

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. - Jan Tretmans; Klaas Wijbrans; Michel R. V. Chaudron (Formal Methods Syst. Des., 2001)

Gast: Generic Automated Software Testing. - Pieter W. M. Koopman; Artem Alimarine; Jan Tretmans; Marinus J. Plasmeijer (IFL, 2002)

Test Selection, Trace Distance and Heuristics. - Loe M. G. Feijs; Nicolae Goga; Sjouke Mauw; Jan Tretmans (TestCom, 2002)

Compositional Testing with ioco. - Machiel van der Bijl; Arend Rensink; Jan Tretmans (FATES, 2003)

Audition of Web Services for Testing Conformance to Open Specified Protocols. - Antonia Bertolino; Lars Frantzen; Andrea Polini; Jan Tretmans (Architecting Systems with Trustworthy Components, 2004)

04371 Summary - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

04371 Abstracts Collection - Perspectives of Model-Based Testing. - Ed Brinksma; Wolfgang Grieskamp; Jan Tretmans (Perspectives of Model-Based Testing, 2004)

Test Generation Based on Symbolic Specifications. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES, 2004)

Action Refinement in Conformance Testing. - Machiel van der Bijl; Arend Rensink; Jan Tretmans (TestCom, 2005)

On-the-Fly Formal Testing of a Smart Card Applet. - Arjen van Weelden; Martijn Oostdijk; Lars Frantzen; Pieter W. M. Koopman; Jan Tretmans (SEC, 2005)

A Symbolic Framework for Model-Based Testing. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES/RV, 2006)

Model-Based Testing of Environmental Conformance of Components. - Lars Frantzen; Jan Tretmans (FMCO, 2006)

Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. - Jan Tretmans (MMB, 2006)

Integrating Verification, Testing, and Learning for Cryptographic Protocols. - Martijn Oostdijk; Vlad Rusu; Jan Tretmans; René G. de Vries; Tim A. C. Willemse (IFM, 2007)

On Conformance Testing for Timed Systems. - Julien Schmaltz; Jan Tretmans (FORMATS, 2008)

Model Based Testing with Labelled Transition Systems. - Jan Tretmans (Formal Methods and Testing, 2008)

Model-Based Testing of Electronic Passports. - Wojciech Mostowski; Erik Poll; Julien Schmaltz; Jan Tretmans; Ronny Wichers Schreur (FMICS, 2009)

From POOSL to UPPAAL: Transformation and Quantitative Analysis. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ACSD, 2010)

Model-Based Testing for the Cloud. - Antonia Bertolino; Wolfgang Grieskamp; Robert M. Hierons; Yves Le Traon; Bruno Legeard; Henry Muccini; Amit M. Paradkar; David S. Rosenblum; Jan Tretmans (Practical Software Testing: Tool Automation and Human Factors, 2010)

Quantitative system validation in model driven design. - Holger Hermanns; Kim Guldstrand Larsen; Jean-François Raskin; Jan Tretmans (EMSOFT, 2010)

UPPAAL in Practice: Quantitative Verification of a RapidIO Network. - Jiansheng Xing; Bart D. Theelen; Rom Langerak; Jaco van de Pol; Jan Tretmans; Jeroen Voeten (ISoLA (2), 2010)

Model-Based Testing 2010: Short Abstracts. - Jan Tretmans; Florian Prester; Philipp Helle; Wladimir Schamai (MBT@ETAPS, 2010)

Model-Based Testing of Industrial Transformational Systems. - Petur Olsen; Johan Foederer; Jan Tretmans (ICTSS, 2011)

Model-Based Testing and Some Steps towards Test-Based Modelling. - Jan Tretmans (SFM, 2011)

State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. - Marius Bozga; Alexandre David; Arnd Hartmanns; Holger Hermanns; Kim G. Larsen; Axel Legay; Jan Tretmans (DATE, 2012)

Learning and Testing the Bounded Retransmission Protocol. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (ICGI, 2012)

Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security. - Jan Tretmans; Piërre van de Laar (Situation Awareness with Systems of Systems, 2013)

Towards quality of model-based testing in the ioco framework. - Michele Volpato; Jan Tretmans (JAMAICA@ISSTA, 2013)

Active Learning of Nondeterministic Systems from an ioco Perspective. - Michele Volpato; Jan Tretmans (ISoLA (1), 2014)

Improving active Mealy machine learning for protocol conformance testing. - Fides Aarts; Harco Kuppens; Jan Tretmans; Frits W. Vaandrager; Sicco Verwer (Mach. Learn., 2014)

Approximate Active Learning of Nondeterministic Input Output Transition Systems. - Michele Volpato; Jan Tretmans (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015)

On the Existence of Practical Testers. - Jan Tretmans (ModelEd, TestEd, TrustEd, 2017)

Relating Alternating Relations for Conformance and Refinement. - Ramon Janssen; Frits W. Vaandrager; Jan Tretmans (IFM, 2019)

Matching implementations to specifications: the corner cases of ioco. - Ramon Janssen; Jan Tretmans (SAC, 2019)

Coverage-Based Testing with Symbolic Transition Systems. - Petra van den Bos; Jan Tretmans (TAP@FM, 2019)

Goodbye ioco. - Jan Tretmans; Ramon Janssen (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

From BDD Scenarios to Test Case Generation. - Tannaz Zameni; Petra van den Bos; Jan Tretmans; Johan Foederer; Arend Rensink (ICSTW, 2023)

Compositionality in Model-Based Testing. - Gijs van Cuyck; Lars van Arragon; Jan Tretmans (ICTSS, 2023)

Testing Compositionality. - Gijs van Cuyck; Lars van Arragon; Jan Tretmans (FACS, 2024)

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing. - Tannaz Zameni; Petra van den Bos; Arend Rensink; Jan Tretmans (SANER (Companion), 2024)