Fuzz-Testing RISC-V Simulators

@inproceedings{pub10800,
    author = {

Herdt, Vladimir
 and 

Große, Daniel
 and 

Drechsler, Rolf
},
    title = {Fuzz-Testing RISC-V Simulators},
    booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020), March 19-20, Stuttgart, Germany},
    year = {2020}
}