"Hazard driven test generation for SMT processors."

Padmaraj Singh, Vijaykrishnan Narayanan, David L. Landis (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics