@inproceedings{sun2018concolic,
  title = "Concolic Testing for Deep Neural Networks",
  author = "Sun, Youcheng and Wu, Min and Ruan, Wenjie and Huang, Xiaowei and Kwiatkowska, Marta and Kroening, Daniel",
  year = "2018",
  address = "New York, NY, USA",
  booktitle = "Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering",
  isbn = "9781450359375",
  keywords = "symbolic execution, neural networks, concolic testing",
  location = "Montpellier, France",
  pages = "109–119",
  publisher = "Association for Computing Machinery",
  series = "ASE 2018",
  url = "https://doi.org/10.1145/3238147.3238172",
  doi = "10.1145/3238147.3238172",
}