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
Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005
2072005
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
FATES/RV 4262, 40-54, 2006
1372006
Model-based generation of testbeds for web services
A Bertolino, G De Angelis, L Frantzen, A Polini
Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 …, 2008
1022008
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
982006
14 tools for test case generation
A Belinfante, L Frantzen, C Schallhart
Model-Based Testing of Reactive Systems: Advanced Lectures, 391-438, 2005
782005
Towards model-based testing of web services
L Frantzen, J Tretmans, R Vries
Palermo, Italy:[Sn], 2006
682006
On-the-fly model-based testing of web services with jambition
L Frantzen, M de las Nieves Huerta, ZG Kiss, T Wallet
Web Services and Formal Methods: 5th International Workshop, WS-FM 2008 …, 2009
522009
The plastic framework and tools for testing service-oriented applications
A Bertolino, G De Angelis, L Frantzen, A Polini
Software Engineering: International Summer Schools, ISSSE 2006-2008, Salerno …, 2009
512009
Model-based testing of environmental conformance of components
L Frantzen, J Tretmans
Formal Methods for Components and Objects: 5th International Symposium, FMCO …, 2007
332007
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
202005
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