@misc{indiciae15ae0da84e73,
  title = {Automated Testing for Deep Learning Systems with Differential Behavior Criteria},
  author = {Yuan Gao and Yiqiang Han},
  year = {2019},
  url = {https://arxiv.org/abs/1912.13258},
  note = {Source identifier: 1912.13258}
}