BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Italy
1 × Russia
1 × Spain
1 × USA
1 × United Kingdom
2 × The Netherlands
3 × Canada
3 × France
3 × Germany
Collaborated with:
E.Brinksma T.A.C.Willemse L.Heerink L.Frantzen M.v.d.Bijl A.Rensink P.Kars J.Feenstra L.M.G.Feijs N.Goga S.Mauw P.Olsen J.Foederer M.R.V.Chaudron K.Wijbrans R.G.d.Vries P.W.M.Koopman A.Alimarine M.J.Plasmeijer P.R.D'Argenio J.Katoen T.C.Ruys L.Verhaard M.Oostdijk V.Rusu M.Bozga A.David A.Hartmanns H.Hermanns K.G.Larsen A.Legay A.Belinfante
Talks about:
test (17) formal (5) model (5) base (5) protocol (4) system (4) generat (3) conform (3) autom (3) symbol (2)

Person: Jan Tretmans

DBLP DBLP: Tretmans:Jan

Facilitated 1 volumes:

TestCom/FATES 2007Ed

Contributed to:

DATE 20122012
ICTSS 20112011
SFM 20112011
IFM 20072007
FATES/RV 20062006
TestCom 20052005
FATES 20042004
FATES 20032003
IFL 20022002
TestCom 20022002
TestCom 20002000
World Congress on Formal Methods 19991999
IWTCS 19991999
IWTCS 19981998
TACAS 19971997
TACAS 19961996
IWPTS 19931993
IWPTS 19921992
IWPTS 19911991

Wrote 19 papers:

DATE-2012-BozgaDHHLLT #analysis #embedded #modelling #state of the art #tool support
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems (MB, AD, AH, HH, KGL, AL, JT), pp. 370–375.
ICTSS-2011-OlsenFT #industrial #modelling #testing
Model-Based Testing of Industrial Transformational Systems (PO, JF, JT), pp. 131–145.
SFM-2011-Tretmans #modelling #testing #towards
Model-Based Testing and Some Steps towards Test-Based Modelling (JT), pp. 297–326.
IFM-2007-OostdijkRTVW #encryption #learning #protocol #testing #verification
Integrating Verification, Testing, and Learning for Cryptographic Protocols (MO, VR, JT, RGdV, TACW), pp. 538–557.
FATES-RV-2006-FrantzenTW #framework #modelling #testing
A Symbolic Framework for Model-Based Testing (LF, JT, TACW), pp. 40–54.
TestCom-2005-BijlRT #consistency #refinement #testing
Action Refinement in Conformance Testing (MvdB, AR, JT), pp. 81–96.
FATES-2004-FrantzenTW #generative #specification #testing
Test Generation Based on Symbolic Specifications (LF, JT, TACW), pp. 1–15.
FATES-2003-BijlRT #composition #testing
Compositional Testing with ioco (MvdB, AR, JT), pp. 86–100.
IFL-2002-KoopmanATP #automation #named #testing
Gast: Generic Automated Software Testing (PWMK, AA, JT, MJP), pp. 84–100.
TestCom-2002-FeijsGMT #distance #heuristic #testing
Test Selection, Trace Distance and Heuristics (LMGF, NG, SM, JT), pp. 267–282.
TestCom-2000-HeerinkFT #automation #protocol #testing
Formal Test Automation: The Conference Protocol with PHACT (LH, JF, JT), pp. 211–220.
FM-v2-1999-ChaudronTW #design #formal method #lessons learnt
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System (MRVC, JT, KW), pp. 1511–1526.
IWTCS-1999-BelinfanteFVTGFMH #automation #empirical #testing
Formal Test Automation: A Simple Experiment (AB, JF, RGdV, JT, NG, LMGF, SM, LH), pp. 179–196.
IWTCS-1998-BrinksmaHT #generative #multi #testing
Factorized Test Generation for Multi-Input/Output Transition Systems (EB, LH, JT), pp. 67–82.
TACAS-1997-DArgenioKRT #bound #exclamation #protocol
The Bounded Retransmission Protocol Must Be on Time! (PRD, JPK, TCR, JT), pp. 416–431.
TACAS-1996-Tretmans #generative #testing
Test Generation with Inputs, Outputs, and Quiescence (JT), pp. 127–146.
IWPTS-1993-Tretmans #approach #consistency #formal method #testing
A Formal Approach to Conformance Testing (JT), pp. 257–276.
IWPTS-1992-VerhaardTKB #on the #testing
On Asynchronous Testing (LV, JT, PK, EB), pp. 55–66.
IWPTS-1991-TretmansKB #consistency #formal method #protocol #testing
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646 (JT, PK, EB), pp. 131–142.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.