Lars Frantzen

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez
A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. J. Log. Algebraic Methods Program. 78 (6) (2009)
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
The PLASTIC Framework and Tools for Testing Service-Oriented Applications. ISSSE (2008)
Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet
On-The-Fly Model-Based Testing of Web Services with Jambition. WS-FM (2008)
Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini
Model-Based Generation of Testbeds for Web Services. TestCom/FATES (2008)
Lars Frantzen, Jan Tretmans
Model-Based Testing of Environmental Conformance of Components. FMCO (2006)
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
A Symbolic Framework for Model-Based Testing. FATES/RV (2006)
Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans
On-the-Fly Formal Testing of a Smart Card Applet. SEC (2005)
Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans
Audition of Web Services for Testing Conformance to Open Specified Protocols. Architecting Systems with Trustworthy Components (2004)
Axel Belinfante, Lars Frantzen, Christian Schallhart
Tools for Test Case Generation. Model-Based Testing of Reactive Systems (2004)
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse
Test Generation Based on Symbolic Specifications. FATES (2004)