R. Dssouli, K. Saleh, A. En-Nouaary, C. Bourhfir, (1998) "Test development for communication protocols: Towards automation", Tutorial To appear in a Special Issue of Computer Networks and ISDN Systems 98.

C. Bourhfir, R. Dssouli, El M. Aboulhamid and N. Rico, (1998) "A guided incremental test case generation procedure for conformance testing CEFSM specified protocols" IFIP International Workshop on Testing Communicating Systems IWTCS'98.16 pages. To appear in IWTCS proceedings edited by Chapman & Hall 98.

A. Petrenko, N. Yevtushenko, G. v. Bochmann, R. Dssouli, , (1997) "Testing in Context: a Framework and Test Derivation", a Special Issue on Protocol Engineering of Computer Communication, 1997.

C. Bourhfir, R. Dssouli, El M. Aboulhamid and N. Rico, (1997) "Automatic Executable Test Case Generation for Extended Finite State Machine Protocols" IFIP International Workshop on Testing Communicating Systems, IFIP IWTCS'97, Korea.

G. Luo, R. Dssouli, G. v. Bochmann, P. Ventakaram and A. Ghedamsi, (1994) "Test generation with respect to distributed interfaces", Computer Standards & Interfaces 16 (1994), pp. 119-132.

A. Petrenko, N. Yevtushenko and R. Dssouli, (1994) "Testing strategies for communicating FSMs", Proc. of the International Workshop on Protocol Test Systems (IWPTS'94), Tokyo, Japan, Nov. 1994.

A. Petrenko, G. v. Bochmann and R. Dssouli, (1993) "Conformance relations and test derivation", (invited paper), Proc. Int. Workshop on Protocol Test Systems (IFIP), O. Rafiq (ed.), North Holland Publ. 1993, pp.157-178.

C5.M. Dubuc, R. Dssouli and G. v. Bochmann, (1992) "TESTL: A tool for the analysis of test sequences based on finite-state model", IWPTS'92, IFIP Transactions, Protocol Test Systems IV, North Holland, pp.195-206.

G. v. Bochmann, A. Das, R. Dssouli, M. Dubuc, A. Ghedamsi and G. Luo, (1991) "Fault models in testing", Proceeding of IFIP International Workshop on Protocol Test Systems, Netherlands, Oct. 1991 (invited paper), pp. (II-17)-(II-32).