Follow
Lars Frantzen
Lars Frantzen
Unknown affiliation
Verified email at frantzen.info - Homepage
Title
Cited by
Cited by
Year
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
2212004
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 40-54, 2006
1422006
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
1052008
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
992006
14 tools for test case generation
A Belinfante, L Frantzen, C Schallhart
Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438, 2005
812005
Towards model-based testing of web services
L Frantzen, J Tretmans, R Vries
Palermo, Italy:[Sn], 2006
682006
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
542006
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
522008
Model-based testing of environmental conformance of components
L Frantzen, J Tretmans
International Symposium on Formal Methods for Components and Objects, 1-25, 2006
382006
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
212005
Approaches for Analysing and Comparing Packet Filtering in Firewalls
L Frantzen
Master's thesis, Technical University of Berlin, 2003
42003
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
22009
STSimulator V271007
L Frantzen
A Library to Simulate Symbolic Transition Systems, 2007
22007
From algebraic module specifications to component concepts and integrated modeling techniques
H Ehrig
Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 2001
12001
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
The system can't perform the operation now. Try again later.
Articles 1–20