Lars Frantzen
Lars Frantzen
Unknown affiliation
Verified email at frantzen.info - Homepage
TitleCited byYear
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
1722004
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
Formal approaches to software testing and runtime verification, 40-54, 2006
1152006
Audition of web services for testing conformance to open specified protocols
A Bertolino, L Frantzen, A Polini, J Tretmans
Architecting Systems with Trustworthy Components, 1-25, 2006
872006
Model-based generation of testbeds for web services
A Bertolino, G De Angelis, L Frantzen, A Polini
Testing of Software and Communicating Systems, 266-282, 2008
862008
14 tools for test case generation
A Belinfante, L Frantzen, C Schallhart
Model-Based Testing of Reactive Systems, 391-438, 2005
682005
Towards model-based testing of web services
L Frantzen, J Tretmans, R Vries
Palermo, Italy:[Sn], 2006
622006
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
452008
The plastic framework and tools for testing service-oriented applications
A Bertolino, G De Angelis, L Frantzen, A Polini
Software Engineering, 106-139, 2007
362007
Model-based testing of environmental conformance of components
L Frantzen, J Tretmans
International Symposium on Formal Methods for Components and Objects, 1-25, 2006
282006
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
182005
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
182005
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
182005
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
92009
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
12007
From Algebraic Module Specifications to Component Concepts and Integrated Modeling Techniques
H Ehrig, L Frantzen, J Tenzer, D Parnitzke, M Klein, A Simon, U Wagner, ...
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
Journal of Logic and Algebraic Programming 78 (6), 417-424, 2009
2009
The system can't perform the operation now. Try again later.
Articles 1–20