Tools for Test Case Generation. - Axel Belinfante; Lars Frantzen; Christian Schallhart (Model-Based Testing of Reactive Systems, 2004)

Audition of Web Services for Testing Conformance to Open Specified Protocols. - Antonia Bertolino; Lars Frantzen; Andrea Polini; Jan Tretmans (Architecting Systems with Trustworthy Components, 2004)

Test Generation Based on Symbolic Specifications. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES, 2004)

On-the-Fly Formal Testing of a Smart Card Applet. - Arjen van Weelden; Martijn Oostdijk; Lars Frantzen; Pieter W. M. Koopman; Jan Tretmans (SEC, 2005)

A Symbolic Framework for Model-Based Testing. - Lars Frantzen; Jan Tretmans; Tim A. C. Willemse (FATES/RV, 2006)

Model-Based Testing of Environmental Conformance of Components. - Lars Frantzen; Jan Tretmans (FMCO, 2006)

The PLASTIC Framework and Tools for Testing Service-Oriented Applications. - Antonia Bertolino; Guglielmo De Angelis; Lars Frantzen; Andrea Polini (ISSSE, 2008)

Model-Based Generation of Testbeds for Web Services. - Antonia Bertolino; Guglielmo De Angelis; Lars Frantzen; Andrea Polini (TestCom/FATES, 2008)

On-The-Fly Model-Based Testing of Web Services with Jambition. - Lars Frantzen; Maria de las Nieves Huerta; Zsolt Gere Kiss; Thomas Wallet (WS-FM, 2008)

A brief history of A-MOST Special Issue containing selected papers from A-MOST 2008. - Lars Frantzen; Mercedes G. Merayo; Manuel Núñez 001 (J. Log. Algebraic Methods Program., 2009)