@STRING{dac	= {Design Automation Conf.} }
@inproceedings{HGLD:2019c,
  title     = {Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A {RISC-V} Case Study},
  author    = {Vladimir Herdt and Daniel Gro{\ss}e and Hoang M. Le and Rolf Drechsler},
  booktitle = dac,
  pages     = {188:1--188:6},
  year      = {2019}
}