Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng. Automatic Test Program Generation for Out-of-Order Superscalar Processors. In 21st IEEE Asian Test Symposium, ATS 2012, Niigata, Japan, November 19-22, 2012. pages 338-343, IEEE Computer Society, 2012. [doi]
Abstract is missing.