Jan Tretmans

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Relating alternating relations for conformance and refinement	2024-04-19	Paper
Coverage-based testing with symbolic transition systems	2024-04-05	Paper
Goodbye ioco Lecture Notes in Computer Science	2023-07-26	Paper
Improving active Mealy machine learning for protocol conformance testing Machine Learning	2014-12-05	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2009-06-04	Paper
Integrating Verification, Testing, and Learning for Cryptographic Protocols Lecture Notes in Computer Science	2009-03-06	Paper
On Conformance Testing for Timed Systems Lecture Notes in Computer Science	2008-12-02	Paper
Model-Based Testing of Environmental Conformance of Components Formal Methods for Components and Objects	2008-09-17	Paper
Formal Approaches to Software Testing Lecture Notes in Computer Science	2005-12-02	Paper
scientific article; zbMATH DE number 1746452 (Why is no real title available?)	2002-05-28	Paper
Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods Formal Methods in System Design	2002-04-11	Paper
On-the-fly conformance testing using SPIN International Journal on Software Tools for Technology Transfer. STTT	2000-01-01	Paper
scientific article; zbMATH DE number 938070 (Why is no real title available?)	1996-10-22	Paper

Research outcomes over time

This page was built for person: Jan Tretmans