@article{Huang2020A,
title={A survey of safety and trustworthiness of deep neural networks},
author={Huang, Xiaowei and Kroening, Daniel and Ruan, Wenjie and Sharp, James and Sun, Youcheng and Thamo, Emese and Wu, Min and Yi, Xinping},
journal={arXiv preprint arXiv:1812.08342},
year={2018}
}