Search the dblp DataBase
Jan Tretmans :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Jan Tretmans Testing Concurrent Systems: A Formal Approach. [Citation Graph (0, 0)][DBLP ] CONCUR, 1999, pp:46-65 [Conf ] Ed Brinksma , Wolfgang Grieskamp , Jan Tretmans 04371 Summary - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP ] Perspectives of Model-Based Testing, 2004, pp:- [Conf ] Ed Brinksma , Wolfgang Grieskamp , Jan Tretmans 04371 Abstracts Collection - Perspectives of Model-Based Testing. [Citation Graph (0, 0)][DBLP ] Perspectives of Model-Based Testing, 2004, pp:- [Conf ] Antonia Bertolino , Lars Frantzen , Andrea Polini , Jan Tretmans Audition of Web Services for Testing Conformance to Open Specified Protocols. [Citation Graph (0, 0)][DBLP ] Architecting Systems with Trustworthy Components, 2004, pp:1-25 [Conf ] Machiel van der Bijl , Arend Rensink , Jan Tretmans Compositional Testing with ioco. [Citation Graph (0, 0)][DBLP ] FATES, 2003, pp:86-100 [Conf ] Lars Frantzen , Jan Tretmans , Tim A. C. Willemse Test Generation Based on Symbolic Specifications. [Citation Graph (0, 0)][DBLP ] FATES, 2004, pp:1-15 [Conf ] Lars Frantzen , Jan Tretmans , Tim A. C. Willemse A Symbolic Framework for Model-Based Testing. [Citation Graph (0, 0)][DBLP ] FATES/RV, 2006, pp:40-54 [Conf ] Jan Tretmans Repetitive Quiescence in Implementation and Testing. [Citation Graph (0, 0)][DBLP ] FBT, 1997, pp:23-37 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:1511-1526 [Conf ] Lex Heerink , Jan Tretmans Refusal Testing for Classes of Transition Systems with Inputs and Outputs. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:23-38 [Conf ] Jan Tretmans Test Case Derivation from LOTOS Specifications. [Citation Graph (0, 0)][DBLP ] FORTE, 1989, pp:345-359 [Conf ] Pieter W. M. Koopman , Artem Alimarine , Jan Tretmans , Marinus J. Plasmeijer Gast: Generic Automated Software Testing. [Citation Graph (0, 0)][DBLP ] IFL, 2002, pp:84-100 [Conf ] Ed Brinksma , Jan Tretmans Testing Transition Systems: An Annotated Bibliography. [Citation Graph (0, 0)][DBLP ] MOVEP, 2000, pp:187-195 [Conf ] Ed Brinksma , Jan Tretmans , Louis Verhaard A Framework for Test Selection. [Citation Graph (0, 0)][DBLP ] PSTV, 1991, pp:233-248 [Conf ] Jan Tretmans , Louis Verhaard A Queue Model Relating Synchronous and Asynchronous Communication. [Citation Graph (0, 0)][DBLP ] PSTV, 1992, pp:131-145 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] IWTCS, 1999, pp:179-196 [Conf ] Machiel van der Bijl , Arend Rensink , Jan Tretmans Action Refinement in Conformance Testing. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:81-96 [Conf ] Loe M. G. Feijs , Nicolae Goga , Sjouke Mauw , Jan Tretmans Test Selection, Trace Distance and Heuristics. [Citation Graph (0, 0)][DBLP ] TestCom, 2002, pp:267-282 [Conf ] Ed Brinksma , Lex Heerink , Jan Tretmans Factorized Test Generation for Multi-Input/Output Transition Systems. [Citation Graph (0, 0)][DBLP ] IWTCS, 1998, pp:67-82 [Conf ] Lex Heerink , Jan Feenstra , Jan Tretmans Formal Test Automation: The Conference Protocol with PHACT. [Citation Graph (0, 0)][DBLP ] TestCom, 2000, pp:211-220 [Conf ] Jan Tretmans A Formal Approach to Conformance Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1993, pp:257-276 [Conf ] Jan Tretmans , Pim Kars , Ed Brinksma Protocol Conformance Testing: A Formal Perspective on ISO IS-9646. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1991, pp:131-142 [Conf ] Louis Verhaard , Jan Tretmans , Pim Kars , Ed Brinksma On Asynchronous Testing. [Citation Graph (0, 0)][DBLP ] Protocol Test Systems, 1992, pp:55-66 [Conf ] Arjen van Weelden , Martijn Oostdijk , Lars Frantzen , Pieter W. M. Koopman , Jan Tretmans On-the-Fly Formal Testing of a Smart Card Applet. [Citation Graph (0, 0)][DBLP ] SEC, 2005, pp:565-576 [Conf ] Pedro R. D'Argenio , Joost-Pieter Katoen , Theo C. Ruys , Jan Tretmans The Bounded Retransmission Protocol Must Be on Time! [Citation Graph (0, 0)][DBLP ] TACAS, 1997, pp:416-431 [Conf ] Jan Tretmans Test Generation with Inputs, Outputs, and Quiescence. [Citation Graph (0, 0)][DBLP ] TACAS, 1996, pp:127-146 [Conf ] Jan Tretmans Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1996, v:29, n:1, pp:49-79 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2001, v:19, n:2, pp:195-215 [Journal ] Jan Tretmans Test Generation with Inputs, Outputs and Repetitive Quiescence. [Citation Graph (0, 0)][DBLP ] Software - Concepts and Tools, 1996, v:17, n:3, pp:103-120 [Journal ] René G. de Vries , Jan Tretmans On-the-fly Conformance Testing using SPIN. [Citation Graph (0, 0)][DBLP ] STTT, 2000, v:2, n:4, pp:382-393 [Journal ] Martijn Oostdijk , Vlad Rusu , Jan Tretmans , René G. de Vries , Tim A. C. Willemse Integrating Verification, Testing, and Learning for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] IFM, 2007, pp:538-557 [Conf ] Model-Based Testing of Environmental Conformance of Components. [Citation Graph (, )][DBLP ] On Conformance Testing for Timed Systems. [Citation Graph (, )][DBLP ] Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability. [Citation Graph (, )][DBLP ] Model-Based Testing of Electronic Passports. [Citation Graph (, )][DBLP ] Model Based Testing with Labelled Transition Systems. [Citation Graph (, )][DBLP ] Search in 0.005secs, Finished in 0.284secs