A Guided Incremental Test Case Generation Procedure for Conformance Testing for CEFSM Specified Protocols. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (IWTCS, 1998)

A test case generation tool for conformance testing of SDL systems. - C. Bourhfir; Rachida Dssouli; El Mostapha Aboulhamid; Nathalie Rico (SDL Forum, 1999)

Test development for communication protocols: towards automation. - Rachida Dssouli; Kassem Saleh; El Mostapha Aboulhamid; Abdeslam En-Nouaary; C. Bourhfir (Comput. Networks, 1999)

Test cases selection from SDL specifications. - C. Bourhfir; El Mostapha Aboulhamid; Ferhat Khendek; Rachida Dssouli (Comput. Networks, 2001)

A test case generation approach for conformance testing of SDL systems. - C. Bourhfir; El Mostapha Aboulhamid; Rachida Dssouli; Nathalie Rico (Comput. Commun., 2001)