| 1998 | ||
|---|---|---|
| 3 | Q. M. Tan, Alexandre Petrenko: Test Generation for Specifications Modeled by Input/Output Automata. IWTCS 1998: 83-100 | |
| 1996 | ||
| 2 | Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238 | |
| 1995 | ||
| 1 | Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152 | |
| 1 | Gregor von Bochmann | [1] [2] |
| 2 | Alexandre Petrenko | [1] [2] [3] |