Xie, Tao , Wolfgang Müller, and Florian Letombe. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.”https://doi.org/10.1109/SOCC.2012.6398362__In Proceedings of SO.https://doi.org/10.1109/SOCC.2012.6398362__Niagara Falls, NY, USA : IEEE, 2012.https://doi.org/10.1109/SOCC.2012.6398362 .
LibreCat: /record/36994
DOI: 10.1109/SOCC.2012.6398362

Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.”https://doi.org/10.1109/DATE.2010.5457130__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457130 .
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”https://doi.org/10.1109/DATE.2009.5090925__In Proceedings of DATE’09. Nice, France, 2009.https://doi.org/10.1109/DATE.2009.5090925 .
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925