@inproceedingsXie_Müller_Letombe_2012, place= Niagara Falls, NY, USA , title=Mutation-Analysis Driven Functional Verification of a Soft Microprocessor, DOI=10.1109/SOCC.2012.6398362, booktitle=Proceedings of SO, publisher=IEEE, author=Xie, Tao10.1109/SOCC.2012.6398362__and Müller, Wolfgang and Letombe, Florian, year=2012