A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. - Xiaowei Huang 001; Daniel Kroening; Wenjie Ruan; James Sharp; Youcheng Sun; Emese Thamo; Min Wu 011; Xinping Yi (Comput. Sci. Rev., 2020)