Verifying Instruction Set Simulators using Coverage-guided Fuzzing | IEEE Conference Publication | IEEE Xplore