Subhasish Mitra David Lin Nagib Hakim Donald S. Gardner Bug localization techniques for effective post-silicon validation. 291 2012 ASP-DAC https://doi.org/10.1109/ASPDAC.2012.6164961 conf/aspdac/2012 db/conf/aspdac/aspdac2012.html#MitraLHG12