T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,”10.1109/SOCC.2012.6398362__2012, doi:10.1109/SOCC.2012.6398362 .
LibreCat: /record/36994
DOI: 10.1109/SOCC.2012.6398362

J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,”10.1109/ISoLA.2006.37__Paphos, Cyprus, 2006, doi:10.1109/ISoLA.2006.37 .
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, and W. Rosenstiehl, “The Simulation Semantics of SystemC,”10.1109/DATE.2001.915002__presented at the10.1109/DATE.2001.915002__Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001, 2001, doi:10.1109/DATE.2001.915002 .
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002