Micro Architecture Coverage Directed Generation of Test Programs. - Shmuel Ur; Yaov Yadin (DAC, 1999)