An Industrial Experiment in Automatic Generation of Executable Test Suites for a Cache Coherency Protocol. - Hakim Kahlouche; César Viho; Massimo Zendri (IWTCS, 1998)

Hardware Testing Using a Communication Protocol Conformance Testing Tool. - Hakim Kahlouche; César Viho; Massimo Zendri (TACAS, 1999)

System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation. - Hubert Garavel; César Viho; Massimo Zendri (Int. J. Softw. Tools Technol. Transf., 2001)