Chenand Dey. Software-based Diagnosis for Processors. ACM Press, 2002, doi:10.1145/513982.513986.