Test Generation for Precise Interrupts on Out-of-Order Microprocessors. - Singh, Padmaraj; Landis, David L.; Narayanan, Vijaykrishnan (2009)