| Test generation based on symbolic specifications L Frantzen, J Tretmans, TAC Willemse International Workshop on Formal Approaches to Software Testing, 1-15, 2004 | 224 | 2004 |
| A symbolic framework for model-based testing L Frantzen, J Tretmans, TAC Willemse International Workshop on Formal Approaches to Software Testing, 40-54, 2006 | 142 | 2006 |
| Model-based generation of testbeds for web services A Bertolino, G De Angelis, L Frantzen, A Polini International Workshop on Formal Approaches to Software Testing, 266-282, 2008 | 104 | 2008 |
| Audition of web services for testing conformance to open specified protocols A Bertolino, L Frantzen, A Polini, J Tretmans Architecting Systems with Trustworthy Components: International Seminar …, 2006 | 100 | 2006 |
| 14 tools for test case generation A Belinfante, L Frantzen, C Schallhart Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438, 2005 | 82 | 2005 |
| Towards model-based testing of web services L Frantzen, J Tretmans, R Vries Palermo, Italy:[Sn], 2006 | 68 | 2006 |
| The plastic framework and tools for testing service-oriented applications A Bertolino, G De Angelis, L Frantzen, A Polini International Summer School on Software Engineering, 106-139, 2006 | 54 | 2006 |
| On-the-fly model-based testing of web services with jambition L Frantzen, M de las Nieves Huerta, ZG Kiss, T Wallet International Workshop on Web Services and Formal Methods, 143-157, 2008 | 53 | 2008 |
| Model-based testing of environmental conformance of components L Frantzen, J Tretmans International Symposium on Formal Methods for Components and Objects, 1-25, 2006 | 39 | 2006 |
| On-the-fly formal testing of a smart card applet A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20 th …, 2005 | 21 | 2005 |
| Approaches for Analysing and Comparing Packet Filtering in Firewalls L Frantzen Master's thesis, Technical University of Berlin, 2003 | 4 | 2003 |
| A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008 L Frantzen, MG Merayo, M Núñez The Journal of Logic and Algebraic Programming 78 (6), 417-424, 2009 | 2 | 2009 |
| STSimulator V271007 L Frantzen A Library to Simulate Symbolic Transition Systems, 2007 | 2 | 2007 |
| From algebraic module specifications to component concepts and integrated modeling techniques H Ehrig Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2001 | 1 | 2001 |
| On-the-Fly Formal Testing of a Smart Card Applet L Frantzen, M Oostdijk, P Koopman, A Weelden, J Tretmans IFIP International Federation for Information Processing 181 (1), 2010 | | 2010 |
| Selected Papers from the 4th Workshop on Advances in Model-Based Testing (A-MOST 2008) L Frantzen, MG Merayo, M Núñez Elsevier Incorporated, 2009 | | 2009 |
| A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. M García Merayo, L Frantzen, M Nuñez García Elsevier, 2009 | | 2009 |
| On-The-Fly Model-Based Testing of Web Services with Jambition, Web Services and Formal Methods: 5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008 … L Frantzen, MLN Huerta, ZG Kiss, T Wallet Springer-Verlag, Berlin, Heidelberg, 2009 | | 2009 |
| On-the-fly formal testing of a smart card applet A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans IFIP International Information Security Conference, 565-576, 2005 | | 2005 |
| On-the-fly formal testing of a smart card applet A van Weelden, M Oostdijk, L Frantzen, P Koopman, J Tretmans IFIP International Information Security Conference, 565-576, 2005 | | 2005 |
Jan TretmansResearch Fellow, ESI (TNO), Eindhoven; and Assoc. Prof., Radboud University, NijmegenE-mail megerősítve itt: cs.ru.nl
