@STRING{date	= {Design, Automation and Test in Europe} }
@inproceedings{HGLD:2019,
  title     = {Verifying Instruction Set Simulators using Coverage-guided Fuzzing},
  author    = {Vladimir Herdt and Daniel Gro{\ss}e and Hoang M. Le and Rolf Drechsler},
  booktitle = date,
  pages     = {360--365},
  year      = {2019}
}