"Quick detection of difficult bugs for effective post-silicon validation."

David Lin et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics