TY  - RPRT
TI  - Testing Deep Neural Networks
AU  - Youcheng Sun
AU  - Xiaowei Huang
AU  - Daniel Kroening
AU  - James Sharp
AU  - Matthew Hill
AU  - Rob Ashmore
PY  - 2019
UR  - https://arxiv.org/abs/1803.04792
ID  - 1803.04792
ER  -