Modeling basic LOTOS by FSMs for conformance testing. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1995)

A Framework for Conformance Testing of Systems Communicating through Rendezvous. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (FTCS, 1996)

Test Generation for Specifications Modeled by Input/Output Automata. - Q. M. Tan; Alexandre Petrenko (IWTCS, 1998)