An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. - Cédric Besse; Ana R. Cavalli; David Lee 001 (ASE, 1999)

Partial Validation of a Design Specification with Respect to Requirements. - Cédric Besse; Ana R. Cavalli; Ferhat Khendek (APAQS, 2001)

Automated Generation of Interoperability Tests. - Cédric Besse; Ana R. Cavalli; Myungchul Kim; Fatiha Zaïdi (TestCom, 2002)