Heon-Mo Koo, Prabhat Mishra, Jayanta Bhadra, Magdy S. Abadir. Directed Micro-architectural Test Generation for an Industrial Processor: A Case Study. In Magdy S. Abadir, Li-C. Wang, Jayanta Bhadra, editors, Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), Common Challenges and Solutions, 4-5 December 2006, Austin, Texas, USA. pages 33-36, IEEE Computer Society, 2006. [doi]