13th International Workshop on Microprocessor Test and Verification, MTV 2012, Austin, TX, USA, December 10-13, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-4441-8