 | 2009 |
|---|
| 10 |       | 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. Algebr. Program. 78(6): 417-424 (2009) |
| 2008 |
|---|
| 9 | | Antonia Bertolino,
Guglielmo De Angelis,
Lars Frantzen,
Andrea Polini:
The PLASTIC Framework and Tools for Testing Service-Oriented Applications.
ISSSE 2008: 106-139 |
| 8 | | Antonia Bertolino,
Guglielmo De Angelis,
Lars Frantzen,
Andrea Polini:
Model-Based Generation of Testbeds for Web Services.
TestCom/FATES 2008: 266-282 |
| 7 | | 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: 143-157 |
| 2006 |
|---|
| 6 | | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing.
FATES/RV 2006: 40-54 |
| 5 | | Lars Frantzen,
Jan Tretmans:
Model-Based Testing of Environmental Conformance of Components.
FMCO 2006: 1-25 |
| 2005 |
|---|
| 4 |  | 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: 565-576 |
| 2004 |
|---|
| 3 | | 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: 1-25 |
| 2 | | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
Test Generation Based on Symbolic Specifications.
FATES 2004: 1-15 |
| 1 | | Axel Belinfante,
Lars Frantzen,
Christian Schallhart:
Tools for Test Case Generation.
Model-Based Testing of Reactive Systems 2004: 391-438 |
