- Radboud Repository
- →
- Browsing by Author
JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Author "Tretmans, G.J."
Now showing items 1-39 of 39
-
Model-Based Testing with TorXakis: The Mysteries of Dropbox Revisited Tretmans, G.J. ; van de Laar, Piërre2019, Article in monograph or in proceedings (Strahonja, V. (ed.), CECIIS : 30th Central European Conference on Information and Intelligent Systems, October 2-4, 2019, Varazdin, Croatia. Proceedings, pp. 247-258) -
Coverage-Based Testing with Symbolic Transition Systems 2019, Article in monograph or in proceedings (Beyer, D. (ed.), Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, pp. 64-82) -
Relating Alternating Relations for Conformance and Refinement 2019, Article in monograph or in proceedings (Ahrendt, W. (ed.), Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, pp. 246-264)
-
Matching implementations to specifications: the corner cases of ioco 2019, Article in monograph or in proceedings (Hung, C.-C. (ed.), SAC'19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, Limassol, Cyprus — April 08 - 12, 2019, pp. 2196-2205)
-
On the Existence of Practical Testers 2017, Article in monograph or in proceedings (Katoen, J.-P.; Langerak, R.; Rensink, A. (ed.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp. 87-106)
-
Approximate Active Learning of Nondeterministic Input Output Transition Systems Volpato, M.; Tretmans, J.2015, Article / Letter to editor (Electronic Communications of the Easst, vol. 72, (2015), pp. 1-15)
-
Active Learning of Nondeterministic Systems from an ioco Perspective Volpato, M.; Tretmans, J.2014, Part of book or chapter of book (Margaria, T.; Steffen, B. (ed.), Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp. 220-235)
-
Improving active mealy machine learning for protocol conformance testing Aarts, F.; Kuppens, H.; Tretmans, G.J. ; Vaandrager, F.W. ; Verwer, S.E.2014, Article / Letter to editor (Machine Learning, vol. 96, iss. 1-2, (2014), pp. 189-224)
-
Situation awareness with systems of systems Laar, P. van de; Tretmans, J. ; Borth, M.2013, Book (monograph) -
Towards quality of model-based testing in the ioco framework Volpato, M.; Tretmans, J.2013, Article in monograph or in proceedings (Carrozza, G. (ed.), Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation, pp. 41-46)
-
Introduction: Situation awareness, systems of systems, and maritime safety and security Tretmans, J. ; Laar, P. van de2013, Part of book or chapter of book (Laar, P. van de; Tretmans, J.; Borth, M. (ed.), Situation awareness with systems of systems, pp. 3-20)
-
State-of-the-Art Tools and Techniques for Quantitative Modeling and Analysis of Embedded Systems Bozga, M.; David, A.; Hartmanns, A.; Hermanns, H.; Larsen, K.G.; Legay, A.; Tretmans, J.2012, Article in monograph or in proceedings (Rosenstiel, W.; Thiele, L. (ed.), Design, Automation & Test in Europe, Dresden Germany, March 12-16, 2012, pp. 370-375)
-
Learning and Testing the Bounded Retransmission Protocol Aarts, Fides ; Kuppens, H.C.W. ; Tretmans, G.J. ; Vaandrager, F. ; Verwer, S.E.2012, Article in monograph or in proceedings (Heinz, J. (ed.), Proceedings of the Eleventh International Conference on Grammatical Inference, September 5-8, 2012 University of Maryland, College Park, United States, pp. 4-18)
-
Model-Based Testing of Electronic Passports 2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B.; Joubert, C. (ed.), Formal Methods for Industrial Critical Systems 2009,14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 207-209)
-
SINTER '09 : Proceedings of the 2009 ESEC/FSE Workshop on Software Integration and Evolution @ Runtime, 2009 Gross, H.-G.; Lormans, M.; Tretmans, J.2009, Book editorial
-
On conformance testing for timed systems 2008, Article in monograph or in proceedings (Cassez, Franck; Jard, Claude (ed.), Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 250-264)
-
Model Based Testing with Labelled Transition Systems 2008, Part of book or chapter of book (Hierons, R.M.; Harman, M. (ed.), Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers, pp. 1-38)
-
Tangram met Modellen naar Snellere Integratie en Test Engels, L.; Jong, I. de; Tretmans, J.2007, Article / Letter to editor (Bits & Chips, vol. 9, iss. 15-06-07, (2007), pp. 32-35)
-
The Tangram Transfer Projects: From Research to Practice Dongen, A.P.G.C. van; Tretmans, J.2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 199-207)
-
Testing of Software and Communicating Systems - 19th IFIP TC 6/WG 6.1 Int. Conference TestCom 2007, and 7th Int. Workshop FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Testing of Software and Communicating Systems: Hand-Outs for the Tutorial Day of TestCom/FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Integrating verification, testing and learning for cryptographic protocols Oostdijk, Martijn ; Rusu, Vlad; Tretmans, Jan ; Vries, Rene de; Willemse, Tim2007, Article in monograph or in proceedings (In proc. Integrated Formal Methods, pp. 538-557)
-
Testing of Software and Communicating Systems: Work-in Progress and Position Papers, Tool Demonstrations, and Tutorial Abstracts of TestCom/FATES 2007 Petrenko, A.; Veanes, M.; Tretmans, J. ; Grieskamp, W.2007, Book editorial
-
Tangram: An Overview of the Project and an Introduction to the Book 2007, Article in monograph or in proceedings (Tretmans, J. (ed.), Tangram: Model-Based Integration and Testing of Complex High-Tech Systems, pp. 1-20)
-
-
Model-Based Testing of Environmental Conformance of Components 2007, Article in monograph or in proceedings (Boer, F.S. de; Bonsangue, M.M.; Graf, S. (ed.), Formal Methods of Components and Objects -- FMCO 2006, pp. 1-25)
-
-
A Symbolic Framework for Model-Based Testing 2006, Article in monograph or in proceedings (Havelund, K.; Nunez, M.; Rosu, G. (ed.), Formal Approaches to Software Testing and Runtime Verification - FATES/RV'06, pp. 40-54)
-
Towards Model-Based Testing of Web Services Frantzen, L. ; Tretmans, J. ; Vries, R. de2006, Article in monograph or in proceedings (Bertolino, A.; Polini, A. (ed.), International Workshop on Web Services - Modeling and Testing (WS-MaTe2006), pp. 67-82)
-
Audition of Web Services for Testing Conformance to Open Specified Protocols Bertolino, A.; Frantzen, L. ; Polini, A.; Tretmans, J.2006, Article in monograph or in proceedings (Reussner, R.H.; Stafford, J.A.; Szyperski, C.A. (ed.), Architecting Systems with Trustworthy Components, pp. 1-25)
-
Action Refinement in Conformance Testing Bijl, M.; Rensink, A.; Tretmans, G.J.2005, Article in monograph or in proceedings (Khendek, F.; Dssouli, R. (ed.), TestCom 2005 -- 17th IFIP Int. Conference on Testing of Communicating Systems, pp. 81-96)
-
Vastleggen van Kwaliteit is Essentieel 2005, Article / Letter to editor (Automatisering Gids, vol. 39, iss. 11, (2005), pp. 13)
-
Vastleggen en Controleren van Kwaliteit Essentieel voor Outsourcing en Offshoring 2005, Article / Letter to editor (Automatisering Gids, vol. 38, iss. 16, (2005), pp. 13)
-
Test Generation Based on Symbolic Specifications 2005, Article in monograph or in proceedings (Grabowski, J.; Nielsen, B. (ed.), FATES 2004, pp. 1-15)
-
On-the-Fly Formal Testing of a Smart Card Applet 2005, Article in monograph or in proceedings (Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Proceedings of the 20th IFIP TC11 International Information Security Conference, pp. 564-576)
-
Compositional Testing with ioco Bijl, M. van der; Rensink, A.; Tretmans, G.J.2004, Article in monograph or in proceedings (Petrenko, A.; Ulrich, A. (ed.), Proceedings Formal Approaches to Software Testing (FATES 2003, pp. 86-100)
-
On-the-Fly Formal Testing of a Smart Card Applet Weelden, A. van ; Frantzen, L. ; Oostdijk, M.D. ; Koopman, P.; Tretmans, G.J.2004, External research report
-
GAST: Generic Automated Software Testing 2003, Part of book or chapter of book (Pena, Ricardo; Arts, Thomas (ed.), Implementation of Functional Languages: 14th International Workshop, IFL 2002 Madrid, Spain, September 16–18, 2002 Revised Selected Papers, pp. 84-100)
-
Cote de Resyste -- Automated Model Based Testing Tretmans, G.J. ; Brinksma, E.2002, Part of book or chapter of book (Schweizer, M. (ed.), Progress 2002 -- 3rd Workshop on Embedded Systems, pp. 246-255)
Now showing items 1-39 of 39
Search Repository
Browse
-
All of Repository
Upload Full Text