2005 | ||
---|---|---|
3 | EE | Machiel van der Bijl, Arend Rensink, Jan Tretmans: Action Refinement in Conformance Testing. TestCom 2005: 81-96 |
2004 | ||
2 | EE | Machiel van der Bijl, Fabien Peureux: I/O-automata Based Testing. Model-Based Testing of Reactive Systems 2004: 173-200 |
2003 | ||
1 | EE | Machiel van der Bijl, Arend Rensink, Jan Tretmans: Compositional Testing with ioco. FATES 2003: 86-100 |
1 | Fabien Peureux | [2] |
2 | Arend Rensink | [1] [3] |
3 | Jan Tretmans | [1] [3] |