| 2008 |
|---|
| 7 | EE | Jens R. Calame,
Jaco van de Pol:
Applying Model-Based Testing to HTML Rendering Engines - A Case Study.
TestCom/FATES 2008: 250-265 |
| 2007 |
|---|
| 6 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol,
Natalia Sidorova:
Bug Hunting with False Negatives.
IFM 2007: 98-117 |
| 5 | EE | Stefan Blom,
Jens R. Calame,
Bert Lisser,
Simona Orzan,
Jun Pang,
Jaco van de Pol,
Muhammad Torabi Dashti,
Anton Wijs:
Distributed Analysis with mu CRL: A Compendium of Case Studies.
TACAS 2007: 683-689 |
| 4 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol:
Automatic Model-Based Generation of Parameterized Test Cases Using Data Abstraction.
Electr. Notes Theor. Comput. Sci. 191: 25-48 (2007) |
| 2006 |
|---|
| 3 | EE | Jens R. Calame,
Nicolae Goga,
Natalia Ioustinova,
Jaco van de Pol:
TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking.
CCECE 2006: 620-623 |
| 2 | | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol:
Automatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen.
GI Jahrestagung (2) 2006: 257-261 |
| 2005 |
|---|
| 1 | EE | Jens R. Calame,
Natalia Ioustinova,
Jaco van de Pol,
Natalia Sidorova:
Data Abstraction and Constraint Solving for Conformance Testing.
APSEC 2005: 541-548 |
