Bibtex:

@inproceedings{shksha2018-conc,
  AUTHOR    = { Sun, Youcheng 
                and Huang, Xiaowei
                and Kroening, Daniel
                and Sharp, James
                and Hill, Matthew
                and Ashmore, Rob },
  TITLE     = { {DeepConcolic}: Testing and Debugging Deep Neural Networks },
  BOOKTITLE = { ICSE Demonstrations },
  YEAR      = { 2019 },
  PUBLISHER = { IEEE },
  PAGES     = { 111--114 },
}

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