Bibtex:

@inproceedings{sbkhwsgdbr2017,
  AUTHOR    = { Sun, Youcheng
                and Brain, Martin
                and Kroening, Daniel
                and Hawthorn, Andrew
                and Wilson, Thomas
                and Schanda, Florian
                and Guzm{\'a}n Jim{\'e}nez, Francisco Javier
                and Daniel, Simon
                and Bryan, Chris
                and Broster, Ian },
  TITLE     = { Functional Requirements-Based Automated Testing for Avionics },
  BOOKTITLE = { International Conference on Engineering of Complex Computer Systems (ICECCS) },
  YEAR      = { 2017 },
  PUBLISHER = { IEEE },
  PAGES     = { 170--173 },
  ISBN      = { 978-1-5386-2431-9 },
}

We welcome feedback and comments at kroening@cs.cmu.edu.
Last modified by Daniel Kröning.