@INPROCEEDINGS{CamposA04, author = {Jorge Campos and Hussain Al-Asaad}, title = {Mutation-based Validation of High-level Microprocessor Implementations}, booktitle = {Proceedings of the 9th Workshop on High-Level Design Validation and Test}, year = {2004}, address = {}, month = {}, pages = {81-86} }