| 2005 |
|---|
| 6 | EE | Henrik C. Bohnenkamp,
Axel Belinfante:
Timed Testing with TorX.
FM 2005: 173-188 |
| 2004 |
|---|
| 5 | EE | Axel Belinfante,
Lars Frantzen,
Christian Schallhart:
Tools for Test Case Generation.
Model-Based Testing of Reactive Systems 2004: 391-438 |
| 2002 |
|---|
| 4 | | René G. de Vries,
Axel Belinfante,
Jan Feenstra:
Automated Testing in Practice: The Highway Tolling System.
TestCom 2002: 219-234 |
| 2000 |
|---|
| 3 | | Lydie du Bousquet,
Solofo Ramangalahy,
Séverine Simon,
César Viho,
Axel Belinfante,
René G. de Vries:
Formal Test Automation: The Conference Protocol with TGV/TORX.
TestCom 2000: 221-228 |
| 1999 |
|---|
| 2 | | Axel Belinfante,
Jan Feenstra,
René G. de Vries,
Jan Tretmans,
Nicolae Goga,
Loe M. G. Feijs,
Sjouke Mauw,
Lex Heerink:
Formal Test Automation: A Simple Experiment.
IWTCS 1999: 179-196 |
| 1997 |
|---|
| 1 | | Peter van Eijk,
Axel Belinfante,
Henk Eertink,
Henk Alblas:
The Term Processor Generator Kimwitu.
TACAS 1997: 96-111 |
