@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{LHGD:2018,
  author        = {Hoang M. Le and Vladimir Herdt and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {Resiliency Evaluation via Symbolic Fault Injection on Intermediate Code},
  booktitle     = date,
  pages         = {845--850},
  year		= {2018},
}