Jan Tretmans

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 10

Top Topics

Coloured Petri Nets

Transition Systems

Sequence Diagrams

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Publications

Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Testing Compositionality. CoRR (2024)
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Compositionality in Model-Based Testing. ICTSS (2023)
Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink
From BDD Scenarios to Test Case Generation. ICSTW (2023)
Gijs van Cuyck, Lars van Arragon, Jan Tretmans
Compositionality in Model-Based Testing. CoRR (2023)
Jan Tretmans, Ramon Janssen
Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. CoRR (2019)
Petra van den Bos, Jan Tretmans
Coverage-Based Testing with Symbolic Transition Systems. TAP@FM (2019)
Ramon Janssen, Jan Tretmans
Matching implementations to specifications: the corner cases of ioco. SAC (2019)
Ramon Janssen, Frits W. Vaandrager, Jan Tretmans
Relating Alternating Relations for Conformance and Refinement. IFM (2019)
Jan Tretmans
On the Existence of Practical Testers. ModelEd, TestEd, TrustEd (2017)
Michele Volpato, Jan Tretmans
Approximate Active Learning of Nondeterministic Input Output Transition Systems. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Michele Volpato, Jan Tretmans
Active Learning of Nondeterministic Systems from an ioco Perspective. ISoLA (1) (2014)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Improving active Mealy machine learning for protocol conformance testing. Mach. Learn. 96 (1-2) (2014)
Michele Volpato, Jan Tretmans
Towards quality of model-based testing in the ioco framework. JAMAICA@ISSTA (2013)
Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer
Learning and Testing the Bounded Retransmission Protocol. ICGI (2012)
Marius Bozga, Alexandre David, Arnd Hartmanns, Holger Hermanns, Kim G. Larsen, Axel Legay, Jan Tretmans
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems. DATE (2012)
Petur Olsen, Johan Foederer, Jan Tretmans
Model-Based Testing of Industrial Transformational Systems. ICTSS (2011)
Jan Tretmans
Model-Based Testing and Some Steps towards Test-Based Modelling. SFM (2011)
Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans
Quantitative system validation in model driven design. EMSOFT (2010)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
From POOSL to UPPAAL: Transformation and Quantitative Analysis. ACSD (2010)
Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai
Model-Based Testing 2010: Short Abstracts. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. ISoLA (2) (2010)
Antonia Bertolino, Wolfgang Grieskamp, Robert M. Hierons, Yves Le Traon, Bruno Legeard, Henry Muccini, Amit M. Paradkar, David S. Rosenblum, Jan Tretmans
Model-Based Testing for the Cloud. Practical Software Testing: Tool Automation and Human Factors (2010)
Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur
Model-Based Testing of Electronic Passports. FMICS (2009)
Jan Tretmans
Model Based Testing with Labelled Transition Systems. Formal Methods and Testing (2008)
Julien Schmaltz, Jan Tretmans
On Conformance Testing for Timed Systems. FORMATS (2008)
Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
Integrating Verification, Testing, and Learning for Cryptographic Protocols. IFM (2007)
Lars Frantzen, Jan Tretmans
Model-Based Testing of Environmental Conformance of Components. FMCO (2006)
Jan Tretmans
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. MMB (2006)
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
A Symbolic Framework for Model-Based Testing. FATES/RV (2006)
Machiel van der Bijl, Arend Rensink, Jan Tretmans
Action Refinement in Conformance Testing. TestCom (2005)
Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
On-the-Fly Formal Testing of a Smart Card Applet. SEC (2005)
Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Summary - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Test Generation Based on Symbolic Specifications. FATES (2004)
Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans
04371 Abstracts Collection - Perspectives of Model-Based Testing. Perspectives of Model-Based Testing (2004)
Machiel van der Bijl, Arend Rensink, Jan Tretmans
Compositional Testing with ioco. FATES (2003)
Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer
Gast: Generic Automated Software Testing. IFL (2002)
Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans
Test Selection, Trace Distance and Heuristics. TestCom (2002)
Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. Formal Methods Syst. Des. 19 (2) (2001)
René G. de Vries, Jan Tretmans
On-the-fly Conformance Testing using SPIN. Int. J. Softw. Tools Technol. Transf. 2 (4) (2000)
Ed Brinksma, Jan Tretmans
Testing Transition Systems: An Annotated Bibliography. MOVEP (2000)
Lex Heerink, Jan Feenstra, Jan Tretmans
Formal Test Automation: The Conference Protocol with PHACT. TestCom (2000)
Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. World Congress on Formal Methods (1999)
Axel Belinfante, Jan Feenstra, René G. de Vries, Jan Tretmans, Nicolae Goga, Loe M. G. Feijs, Sjouke Mauw, Lex Heerink
Formal Test Automation: A Simple Experiment. IWTCS (1999)
Jan Tretmans
Testing Concurrent Systems: A Formal Approach. CONCUR (1999)
Ed Brinksma, Lex Heerink, Jan Tretmans
Factorized Test Generation for Multi-Input/Output Transition Systems. IWTCS (1998)
Jan Tretmans
Repetitive Quiescence in Implementation and Testing. FBT (1997)
Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans
The Bounded Retransmission Protocol Must Be on Time! TACAS (1997)
Lex Heerink, Jan Tretmans
Refusal Testing for Classes of Transition Systems with Inputs and Outputs. FORTE (1997)
Jan Tretmans
Test Generation with Inputs, Outputs and Repetitive Quiescence. Softw. Concepts Tools 17 (3) (1996)
Jan Tretmans
Test Generation with Inputs, Outputs, and Quiescence. TACAS (1996)
Jan Tretmans
Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. Comput. Networks ISDN Syst. 29 (1) (1996)
Jan Tretmans
A Formal Approach to Conformance Testing. Protocol Test Systems (1993)
Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma
On Asynchronous Testing. Protocol Test Systems (1992)
Jan Tretmans, Louis Verhaard
A Queue Model Relating Synchronous and Asynchronous Communication. PSTV (1992)
Jan Tretmans, Pim Kars, Ed Brinksma
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. Protocol Test Systems (1991)
Ed Brinksma, Jan Tretmans, Louis Verhaard
A Framework for Test Selection. PSTV (1991)
Jan Tretmans
Test Case Derivation from LOTOS Specifications. FORTE (1989)