MTV 2008 Ninth International Workshop on Microprocessor Test and Verification : proceedings, 8-10 December 2008, Austin, Texas, USA / in co-operation with IEEE ... [et al.]. (IEEE Computer Society, 2009)