Microprocessor design verification by two-phase evolution of variable length tests | IEEE Conference Publication | IEEE Xplore