| 2008 |
|---|
| 8 | EE | Antonia Bertolino,
Guglielmo De Angelis,
Lars Frantzen,
Andrea Polini:
The PLASTIC Framework and Tools for Testing Service-Oriented Applications.
ISSSE 2008: 106-139 |
| 7 | EE | Antonia Bertolino,
Guglielmo De Angelis,
Lars Frantzen,
Andrea Polini:
Model-Based Generation of Testbeds for Web Services.
TestCom/FATES 2008: 266-282 |
| 2006 |
|---|
| 6 | EE | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
A Symbolic Framework for Model-Based Testing.
FATES/RV 2006: 40-54 |
| 5 | EE | 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 | EE | 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 | EE | Lars Frantzen,
Jan Tretmans,
Tim A. C. Willemse:
Test Generation Based on Symbolic Specifications.
FATES 2004: 1-15 |
| 1 | EE | Axel Belinfante,
Lars Frantzen,
Christian Schallhart:
Tools for Test Case Generation.
Model-Based Testing of Reactive Systems 2004: 391-438 |
