Test Generation for Precise Interrupts on Out-of-Order Microprocessors | IEEE Conference Publication | IEEE Xplore