Xie, Tao, et al. “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor.”10.1109/SOCC.2012.6398362__Proceedings of SO, IEEE, 2012, doi:10.1109/SOCC.2012.6398362.
LibreCat: /record/36994
DOI: 10.1109/SOCC.2012.6398362

Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”10.1109/DATE.2010.5457130__Proceedings of DATE’10, IEEE, 2010, doi: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.”10.1109/DATE.2009.5090925__Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
LibreCat: /record/37066
DOI: 10.1109/DATE.2009.5090925