@misc{indiciae26f3098745b0,
  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},
  url = {https://arxiv.org/abs/1805.00089},
  note = {Source identifier: 1805.00089}
}