Mutation-Analysis Driven Functional Verification of a Soft Microprocessor
T. Xie, W. Müller, F. Letombe, in: Proceedings of SO, IEEE,  Niagara Falls, NY, USA , 2012.