1. V. Agrawal and R. Mercer. Deterministic versus random testing. Int. Test Conf., Los Angeles, CA, pp.718-718, September 1986.
2. G. Apostol (Brecis Communications, Inc.). Network processor designer tackles verification nightmare. EE Design, November5,2001.
3. L. Arditi, H. Boufaied, A. Cavanie, and V. Stehle. Coverage directed generation of system-level test cases for the validation of a DSP system. Int. Symp. on FME 2001: Formal Methods for Increasing Software Productivity, LNCS, Vol.1, 2001.
4. F. Baker. Requirements for IP Version 4 Routers. RFC1812, Internet Engineering Task Force (IETF), June 1995.
5. M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, and Y. Wolfsthal. A feasibility study in formal coverage driven test generation. Technical Report, IBM Haifa Laboratories, Haifa, Israel, June 1999. http://www.haifa.il.ibm.com/projects/verification/gtcb/.