Lars Frantzen

According to our database, Lars Frantzen authored at least 10 papers between 2004 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008.

Lars Frantzen, Mercedes G. Merayo, Manuel Núñez

J. Log. Algebraic Methods Program., 2009

2008

On-The-Fly Model-Based Testing of Web Services with Jambition.

Lars Frantzen, Maria de las Nieves Huerta, Zsolt Gere Kiss, Thomas Wallet

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

Model-Based Generation of Testbeds for Web Services.

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

Proceedings of the Testing of Software and Communicating Systems, 2008

The PLASTIC Framework and Tools for Testing Service-Oriented Applications.

Antonia Bertolino, Guglielmo De Angelis, Lars Frantzen, Andrea Polini

Proceedings of the Software Engineering, International Summer Schools, 2008

2006

Model-Based Testing of Environmental Conformance of Components.

Lars Frantzen, Jan Tretmans

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

A Symbolic Framework for Model-Based Testing.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

On-the-Fly Formal Testing of a Smart Card Applet.

Arjen van Weelden, Martijn Oostdijk, Lars Frantzen, Pieter W. M. Koopman, Jan Tretmans

Proceedings of the Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30, 2005

2004

Test Generation Based on Symbolic Specifications.

Lars Frantzen, Jan Tretmans, Tim A. C. Willemse

Proceedings of the Formal Approaches to Software Testing, 4th International Workshop, 2004

Audition of Web Services for Testing Conformance to Open Specified Protocols.

Antonia Bertolino, Lars Frantzen, Andrea Polini, Jan Tretmans

Proceedings of the Architecting Systems with Trustworthy Components, 2004

Tools for Test Case Generation.

Axel Belinfante, Lars Frantzen, Christian Schallhart

Proceedings of the Model-Based Testing of Reactive Systems, 2004