Jan Tretmans

According to our database, Jan Tretmans authored at least 59 papers between 1989 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing.

Tannaz Zameni, Petra van den Bos, Arend Rensink, Jan Tretmans

Proceedings of the IEEE International Conference on Software Analysis, 2024

Testing Compositionality.

Gijs van Cuyck, Lars van Arragon, Jan Tretmans

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Compositionality in Model-Based Testing.

Gijs van Cuyck, Lars van Arragon, Jan Tretmans

Proceedings of the Testing Software and Systems, 2023

From BDD Scenarios to Test Case Generation.

Tannaz Zameni, Petra van den Bos, Jan Tretmans, Johan Foederer, Arend Rensink

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2022

Goodbye ioco.

Jan Tretmans, Ramon Janssen

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2019

Coverage-Based Testing with Symbolic Transition Systems.

Petra van den Bos, Jan Tretmans

Proceedings of the Tests and Proofs - 13th International Conference, 2019

Matching implementations to specifications: the corner cases of ioco.

Ramon Janssen, Jan Tretmans

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Relating Alternating Relations for Conformance and Refinement.

Ramon Janssen, Frits W. Vaandrager, Jan Tretmans

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2017

On the Existence of Practical Testers.

Jan Tretmans

Proceedings of the ModelEd, TestEd, TrustEd, 2017

2015

Approximate Active Learning of Nondeterministic Input Output Transition Systems.

Michele Volpato, Jan Tretmans

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

2014

Improving active Mealy machine learning for protocol conformance testing.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Mach. Learn., 2014

Active Learning of Nondeterministic Systems from an ioco Perspective.

Michele Volpato, Jan Tretmans

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Towards quality of model-based testing in the ioco framework.

Michele Volpato, Jan Tretmans

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, 2013

Introduction: Situation Awareness, Systems of Systems, and Maritime Safety and Security.

Jan Tretmans, Piërre van de Laar

Proceedings of the Situation Awareness with Systems of Systems, 2013

2012

Learning and Testing the Bounded Retransmission Protocol.

Fides Aarts, Harco Kuppens, Jan Tretmans, Frits W. Vaandrager, Sicco Verwer

Proceedings of the Eleventh International Conference on Grammatical Inference, 2012

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

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

2011

Model-Based Testing and Some Steps towards Test-Based Modelling.

Jan Tretmans

Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Model-Based Testing of Industrial Transformational Systems.

Petur Olsen, Johan Foederer, Jan Tretmans

Proceedings of the Testing Software and Systems, 2011

2010

Model-Based Testing 2010: Short Abstracts.

Jan Tretmans, Florian Prester, Philipp Helle, Wladimir Schamai

Proceedings of the Sixth Workshop on Model-Based Testing, 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

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantitative system validation in model driven design.

Holger Hermanns, Kim Guldstrand Larsen, Jean-François Raskin, Jan Tretmans

Proceedings of the 10th International conference on Embedded software, 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

Proceedings of the Practical Software Testing: Tool Automation and Human Factors, 14.03., 2010

From POOSL to UPPAAL: Transformation and Quantitative Analysis.

Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Model-Based Testing of Electronic Passports.

Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

Model Based Testing with Labelled Transition Systems.

Jan Tretmans

Proceedings of the Formal Methods and Testing, 2008

On Conformance Testing for Timed Systems.

Julien Schmaltz, Jan Tretmans

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

2007

Integrating Verification, Testing, and Learning for Cryptographic Protocols.

Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.

Jan Tretmans

Proceedings of the Proceedings 13th GI/ITG Conference on Measuring, 2006

Model-Based Testing of Environmental Conformance of Components.

Lars Frantzen, Jan Tretmans

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

A Symbolic Framework for Model-Based Testing.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

Action Refinement in Conformance Testing.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, 2005

2004

Test Generation Based on Symbolic Specifications.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

04371 Abstracts Collection - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

04371 Summary - Perspectives of Model-Based Testing.

Ed Brinksma, Wolfgang Grieskamp, Jan Tretmans

Proceedings of the Perspectives of Model-Based Testing, 5.-10. September 2004, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.

Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Compositional Testing with ioco.

Machiel van der Bijl, Arend Rensink, Jan Tretmans

Proceedings of the Formal Approaches to Software Testing, 2003

2002

Test Selection, Trace Distance and Heuristics.

Loe M. G. Feijs, Nicolae Goga, Sjouke Mauw, Jan Tretmans

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Gast: Generic Automated Software Testing.

Pieter W. M. Koopman, Artem Alimarine, Jan Tretmans, Marinus J. Plasmeijer

Proceedings of the Implementation of Functional Languages, 14th International Workshop, 2002

2001

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

2000

On-the-fly Conformance Testing using SPIN.

René G. de Vries, Jan Tretmans

Int. J. Softw. Tools Technol. Transf., 2000

Formal Test Automation: The Conference Protocol with PHACT.

Lex Heerink, Jan Feenstra, Jan Tretmans

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Testing Transition Systems: An Annotated Bibliography.

Ed Brinksma, Jan Tretmans

Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

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

Proceedings of the Testing of Communicating Systems: Method and Applications, 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

Proceedings of the FM'99 - Formal Methods, 1999

Testing Concurrent Systems: A Formal Approach.

Jan Tretmans

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Factorized Test Generation for Multi-Input/Output Transition Systems.

Ed Brinksma, Lex Heerink, Jan Tretmans

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

1997

The Bounded Retransmission Protocol Must Be on Time!

Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, Jan Tretmans

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Refusal Testing for Classes of Transition Systems with Inputs and Outputs.

Lex Heerink, Jan Tretmans

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

Repetitive Quiescence in Implementation and Testing.

Jan Tretmans

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996

Test Generation with Inputs, Outputs and Repetitive Quiescence.

Jan Tretmans

Softw. Concepts Tools, 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 Quiescence.

Jan Tretmans

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1993

A Formal Approach to Conformance Testing.

Jan Tretmans

Proceedings of the Protocol Test Systems, 1993

1992

On Asynchronous Testing.

Louis Verhaard, Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, V, 1992

A Queue Model Relating Synchronous and Asynchronous Communication.

Jan Tretmans, Louis Verhaard

Proceedings of the Protocol Specification, 1992

1991

Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.

Jan Tretmans, Pim Kars, Ed Brinksma

Proceedings of the Protocol Test Systems, IV, 1991

A Framework for Test Selection.

Ed Brinksma, Jan Tretmans, Louis Verhaard

Proceedings of the Protocol Specification, 1991

1989

Test Case Derivation from LOTOS Specifications.

Jan Tretmans

Proceedings of the Formal Description Techniques, 1989