| 2008 |
|---|
| 37 | EE | Julien Schmaltz,
Jan Tretmans:
On Conformance Testing for Timed Systems.
FORMATS 2008: 250-264 |
| 36 | EE | Jan Tretmans:
Model Based Testing with Labelled Transition Systems.
Formal Methods and Testing 2008: 1-38 |
| 2007 |
|---|
| 35 | | Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
Wolfgang Grieskamp:
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings
Springer 2007 |
| 34 | EE | Martijn Oostdijk,
Vlad Rusu,
Jan Tretmans,
René G. de Vries,
Tim A. C. Willemse:
Integrating Verification, Testing, and Learning for Cryptographic Protocols.
IFM 2007: 538-557 |
| 2006 |
|---|
| 33 | EE | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing.
FATES/RV 2006: 40-54 |
| 32 | EE | Lars Frantzen,
Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components.
FMCO 2006: 1-25 |
| 31 | | Jan Tretmans:
Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability.
MMB 2006: 99-100 |
| 2005 |
|---|
| 30 | | Ed Brinksma,
Wolfgang Grieskamp,
Jan Tretmans:
Perspectives of Model-Based Testing, 5.-10. September 2004
IBFI, Schloss Dagstuhl, Germany 2005 |
| 29 | | 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: 565-576 |
| 28 | EE | Machiel van der Bijl,
Arend Rensink,
Jan Tretmans:
Action Refinement in Conformance Testing.
TestCom 2005: 81-96 |
| 2004 |
|---|
| 27 | EE | 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: 1-25 |
| 26 | EE | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
Test Generation Based on Symbolic Specifications.
FATES 2004: 1-15 |
| 25 | EE | Ed Brinksma,
Wolfgang Grieskamp,
Jan Tretmans:
04371 Abstracts Collection - Perspectives of Model-Based Testing.
Perspectives of Model-Based Testing 2004 |
| 24 | EE | Ed Brinksma,
Wolfgang Grieskamp,
Jan Tretmans:
04371 Summary - Perspectives of Model-Based Testing.
Perspectives of Model-Based Testing 2004 |
| 2003 |
|---|
| 23 | EE | Machiel van der Bijl,
Arend Rensink,
Jan Tretmans:
Compositional Testing with ioco.
FATES 2003: 86-100 |
| 2002 |
|---|
| 22 | EE | Pieter W. M. Koopman,
Artem Alimarine,
Jan Tretmans,
Marinus J. Plasmeijer:
Gast: Generic Automated Software Testing.
IFL 2002: 84-100 |
| 21 | | Loe M. G. Feijs,
Nicolae Goga,
Sjouke Mauw,
Jan Tretmans:
Test Selection, Trace Distance and Heuristics.
TestCom 2002: 267-282 |
| 2001 |
|---|
| 20 | | 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 in System Design 19(2): 195-215 (2001) |
| 2000 |
|---|
| 19 | EE | Ed Brinksma,
Jan Tretmans:
Testing Transition Systems: An Annotated Bibliography.
MOVEP 2000: 187-195 |
| 18 | | Lex Heerink,
Jan Feenstra,
Jan Tretmans:
Formal Test Automation: The Conference Protocol with PHACT.
TestCom 2000: 211-220 |
| 17 | EE | René G. de Vries,
Jan Tretmans:
On-the-fly Conformance Testing using SPIN.
STTT 2(4): 382-393 (2000) |
| 1999 |
|---|
| 16 | EE | Jan Tretmans:
Testing Concurrent Systems: A Formal Approach.
CONCUR 1999: 46-65 |
| 15 | | 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: 179-196 |
| 14 | EE | 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: 1511-1526 |
| 1998 |
|---|
| 13 | | Ed Brinksma,
Lex Heerink,
Jan Tretmans:
Factorized Test Generation for Multi-Input/Output Transition Systems.
IWTCS 1998: 67-82 |
| 1997 |
|---|
| 12 | | Jan Tretmans:
Repetitive Quiescence in Implementation and Testing.
FBT 1997: 23-37 |
| 11 | | Lex Heerink,
Jan Tretmans:
Refusal Testing for Classes of Transition Systems with Inputs and Outputs.
FORTE 1997: 23-38 |
| 10 | | Pedro R. D'Argenio,
Joost-Pieter Katoen,
Theo C. Ruys,
Jan Tretmans:
The Bounded Retransmission Protocol Must Be on Time!
TACAS 1997: 416-431 |
| 1996 |
|---|
| 9 | | Jan Tretmans:
Test Generation with Inputs, Outputs, and Quiescence.
TACAS 1996: 127-146 |
| 8 | EE | Jan Tretmans:
Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation.
Computer Networks and ISDN Systems 29(1): 49-79 (1996) |
| 7 | | Jan Tretmans:
Test Generation with Inputs, Outputs and Repetitive Quiescence.
Software - Concepts and Tools 17(3): 103-120 (1996) |
| 1993 |
|---|
| 6 | | Jan Tretmans:
A Formal Approach to Conformance Testing.
Protocol Test Systems 1993: 257-276 |
| 1992 |
|---|
| 5 | | Jan Tretmans,
Louis Verhaard:
A Queue Model Relating Synchronous and Asynchronous Communication.
PSTV 1992: 131-145 |
| 4 | | Louis Verhaard,
Jan Tretmans,
Pim Kars,
Ed Brinksma:
On Asynchronous Testing.
Protocol Test Systems 1992: 55-66 |
| 1991 |
|---|
| 3 | | Ed Brinksma,
Jan Tretmans,
Louis Verhaard:
A Framework for Test Selection.
PSTV 1991: 233-248 |
| 2 | | Jan Tretmans,
Pim Kars,
Ed Brinksma:
Protocol Conformance Testing: A Formal Perspective on ISO IS-9646.
Protocol Test Systems 1991: 131-142 |
| 1989 |
|---|
| 1 | | Jan Tretmans:
Test Case Derivation from LOTOS Specifications.
FORTE 1989: 345-359 |
