@STRING{date	= {Design, Automation and Test in Europe} }
@InProceedings{HHL+:2017,
  author        = {Muhammad Hassan and Vladimir Herdt and Hoang M. Le and Mingsong Chen and Daniel Gro{\ss}e and Rolf Drechsler},
  title		= {Data Flow Testing for Virtual Prototypes},
  booktitle     = date,
  year		= {2017},
  pages         = {380--385}
}