| |
| 2002 | ||
|---|---|---|
| 3 | René G. de Vries, Axel Belinfante, Jan Feenstra: Automated Testing in Practice: The Highway Tolling System. TestCom 2002: 219-234 | |
| 2000 | ||
| 2 | Lex Heerink, Jan Feenstra, Jan Tretmans: Formal Test Automation: The Conference Protocol with PHACT. TestCom 2000: 211-220 | |
| 1999 | ||
| 1 | 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 | |
| 1 | Axel Belinfante | [1] [3] |
| 2 | Loe M. G. Feijs | [1] |
| 3 | Nicolae Goga | [1] |
| 4 | Lex Heerink | [1] [2] |
| 5 | Sjouke Mauw | [1] |
| 6 | Jan Tretmans | [1] [2] |
| 7 | René G. de Vries | [1] [3] |