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] |