Jim E. Smith, M. Bartley, Terence C. Fogarty: Microprocessor design verification by two-phase evolution of variable length tests. ICEC 1997: 453-458