DeepGauge swMATH ID: 42700 Software Authors: Lei Ma, Felix Juefei-Xu, Fuyuan Zhang, Jiyuan Sun, Minhui Xue, Bo Li, Chunyang Chen, Ting Su, Li Li, Yang Liu, Jianjun Zhao, Yadong Wang Description: DeepGauge: Multi-Granularity Testing Criteria for Deep Learning Systems. Deep learning (DL) defines a new data-driven programming paradigm that constructs the internal system logic of a crafted neuron network through a set of training data. We have seen wide adoption of DL in many safety-critical scenarios. However, a plethora of studies have shown that the state-of-the-art DL systems suffer from various vulnerabilities which can lead to severe consequences when applied to real-world applications. Currently, the testing adequacy of a DL system is usually measured by the accuracy of test data. Considering the limitation of accessible high quality test data, good accuracy performance on test data can hardly provide confidence to the testing adequacy and generality of DL systems. Unlike traditional software systems that have clear and controllable logic and functionality, the lack of interpretability in a DL system makes system analysis and defect detection difficult, which could potentially hinder its real-world deployment. In this paper, we propose DeepGauge, a set of multi-granularity testing criteria for DL systems, which aims at rendering a multi-faceted portrayal of the testbed. The in-depth evaluation of our proposed testing criteria is demonstrated on two well-known datasets, five DL systems, and with four state-of-the-art adversarial attack techniques against DL. The potential usefulness of DeepGauge sheds light on the construction of more generic and robust DL systems. Homepage: https://arxiv.org/abs/1803.07519 Related Software: DeepXplore; TensorFuzz; Adam; DeepMutation; Scikit; DLFuzz; ImageNet; AI2; Reluplex; DeepFool; DeepHunter; PyTorch; Python; ML4ML; NeuroDiff; ReluDiff; POPQORN; DiffRNN; DL2; Marabou Cited in: 3 Publications all top 5 Cited by 13 Authors 1 Deshmukh, Jyotirmoy V. 1 Giunchiglia, Eleonora 1 Huang, Xiaowei 1 Kröning, Daniel 1 Lukasiewicz, Thomas 1 Mohammadinejad, Sara 1 Paulsen, Brandon 1 Ruan, Wenjie 1 Sharp, James D. 1 Sun, Youcheng 1 Thamo, Emese 1 Wang, Chao 1 Yi, Xinping Cited in 2 Serials 1 The Journal of Artificial Intelligence Research (JAIR) 1 Computer Science Review Cited in 1 Field 3 Computer science (68-XX) Citations by Year