| 2000 |
|---|
| 5 | | Lex Heerink,
Jan Feenstra,
Jan Tretmans:
Formal Test Automation: The Conference Protocol with PHACT.
TestCom 2000: 211-220 |
| 1999 |
|---|
| 4 | | 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 |
| 1998 |
|---|
| 3 | | Ed Brinksma,
Lex Heerink,
Jan Tretmans:
Factorized Test Generation for Multi-Input/Output Transition Systems.
IWTCS 1998: 67-82 |
| 1997 |
|---|
| 2 | | Lex Heerink,
Jan Tretmans:
Refusal Testing for Classes of Transition Systems with Inputs and Outputs.
FORTE 1997: 23-38 |
| 1995 |
|---|
| 1 | | Lex Heerink,
Ed Brinksma:
Validation in context.
PSTV 1995: 221-236 |
