@misc{indiciae41f27d8bcbf4,
  title = {Symbolic Execution for Deep Neural Networks},
  author = {Divya Gopinath and Kaiyuan Wang and Mengshi Zhang and Corina S. Pasareanu and Sarfraz Khurshid},
  year = {2018},
  url = {https://arxiv.org/abs/1807.10439},
  note = {Source identifier: 1807.10439}
}