[1] H. Kahlouche, C. Viho, M. Zendri , "An Industrial Experiment in Automatic0 Generation of Executable Test Suites for a Cache Coherency Protocol", in Proceeding of IWTCS'98 "International Workshop on Testing of Communicating Systems", Tomsk, Russia, September 1998
[2] C. Viho, H. Kahlouche, M. Zendri "Hardware testing using a communication protocol conformance testing tool", Submitted and accepted for pubblication (1998) in the Fifth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS '99),Amsterdam, the Netherland, March, 1999