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