Jan Tretmans

Available identifiers

zbMath Open tretmans.janMaRDI QIDQ239143

List of research outcomes

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	2023-07-26	Paper
Improving active Mealy machine learning for protocol conformance testing	2014-12-05	Paper
Formal Approaches to Software Testing	2009-06-04	Paper
Integrating Verification, Testing, and Learning for Cryptographic Protocols	2009-03-06	Paper
On Conformance Testing for Timed Systems	2008-12-02	Paper
Model-Based Testing of Environmental Conformance of Components	2008-09-17	Paper
Formal Approaches to Software Testing	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4532083	2002-05-28	Paper
Software engineering with formal methods: the development of a storm surge barrier control system revisiting seven myths of formal methods	2002-04-11	Paper
On-the-fly conformance testing using SPIN	2000-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4896913	1996-10-22	Paper

Research outcomes over time

This page was built for person: Jan Tretmans