1. S. Ashford, Automatic test case generation using prolog, Technical report, National Physical Laboratory, NPL Report DITC 215/93, 1993.
2. Digital Television, MPEG-1, MPEG-2 and Principles of the DVB System;Benoit,1997
3. Proceedings of the TAPSOFT Joint Conference;Bougé,1985
4. The automated generation of test cases for compilers;Burgess;Software Testing, Verification and Reliability,1994
5. S.P. van de Burgt, J. Kroon, E. Kwast, H.J. Wilts, Automated protocol test suite production with the conformance kit, Technical Report, Report TI-PU-91-982, PTT Research, 1990.