@article{concolictestingfordeepneuralnetworks,
  title = {Concolic Testing for Deep Neural Networks},
  author = {Youcheng Sun and Min Wu and Wenjie Ruan and Xiaowei Huang and Marta Kwiatkowska and Daniel Kroening},
  year = {2018},
  eprint = {1805.00089},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1805.00089v2},
}