1. C. Bourhfir, R. DssouIi, E. Aboulhamid, and N. Rico. A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols. In IWTCS’98, Tomsk, Russia, August 1998.
2. E. Brinksma. A theory for the derivation of tests. In Proc. IFIP WG6.1 8th Int. Symp. on Protocol Specification, Testing and Verification. North-Holland, 1988.
3. A. Cavalli, D. Lee, C. Rinderknecht, and Fatiha Zaidi. Hit-or-jump: An algorithm for embedded testing with applications to in services. In Tech. Memo, Bell Laboratories, May 1999.
4. P. Combes and B. Renard. Service validation, tutorial. In SDL Forum’97, France, 1997.
5. M. A. Fecko, U. Uyar, A. S. Sethi, and P. Amer. Issues in conformance testing: Multiple semicontrollable interfaces. In. Proceedings of FORTE/PSTV’98,Paris, France, November 1998.