2013 14th International Workshop on Microprocessor Test and Verification Journal uri icon