1. ISO/IEC 9646 IT-OSI, OSI Conformance Testing Methodology and Framework
2. M. Törö. Decision on Tester Configuration for Multiparty Testing. Proc. of the 12th int. Workshop on Testing of Communicating Systems. Budapest, Hungary, 1999.
3. JC. Fernandez, C. Jard, T. Jéron and C. Viho. Using on-the-fly verification techniques for the generation of test suites, Conference on Computer-Aided Verification (CAV ‘86), New Brunswick, New Jersey, USA, Alur, A. and Henzinger, T. editors, Springer, LNCS 1102, july 1996.
4. JC. Fernandez, C. Jard, T. Jéron and C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology, Science of Computer Programming, Groote, J.-F. and Rem, M. editors}, Elsevier Science, number 29, pages 123–146, 1997
5. L. Doldi, V. Encontre, JC. Fernandez, T. Jéron, S. Le Bricquir, N. Texier and M. Phalippou. Assessment of Automatic Generation Methods of Conformance Test Suites in an Industrial Context, IFIP TC6 9th International Workshop on Testing of Communicating Systems, Baumgarten, B. and Burkhardt, H.-J. and Giessler, A., Chapman and Hall, september 1996.