Lars Frantzen
Lars Frantzen
Affiliazione sconosciuta
Email verificata su frantzen.info - Home page
Titolo
Citata da
Citata da
Anno
Test generation based on symbolic specifications
L Frantzen, J Tretmans, TAC Willemse
International Workshop on Formal Approaches to Software Testing, 1-15, 2004
1902004
A symbolic framework for model-based testing
L Frantzen, J Tretmans, TAC Willemse
Formal approaches to software testing and runtime verification, 40-54, 2006
1252006
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
932006
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
902008
14 tools for test case generation
A Belinfante, L Frantzen, C Schallhart
Model-based testing of reactive systems, 391-438, 2005
762005
Towards model-based testing of web services
L Frantzen, J Tretmans, R Vries
Palermo, Italy:[Sn], 2006
672006
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
472008
The plastic framework and tools for testing service-oriented applications
A Bertolino, G De Angelis, L Frantzen, A Polini
Software Engineering, 106-139, 2007
402007
Model-based testing of environmental conformance of components
L Frantzen, J Tretmans
International Symposium on Formal Methods for Components and Objects, 1-25, 2006
332006
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 Nez
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, 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 Nez
Elsevier Incorporated, 2009
2009
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.
M Garca Merayo, L Frantzen, M Nuez Garca
Journal of Logic and Algebraic Programming 78 (6), 417-424, 2009
2009
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20