Youcheng Sun

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

Xiaowei Huang, Daniel Kroening, Wenjie Ruan et al. · Computer Science Review · 2020 · 480 citations

Ai Reliability, Deep Neural Networks, Engineering +10

Concolic testing for deep neural networks

Youcheng Sun, Min Wu, Wenjie Ruan et al. · 2018 · 325 citations · Full text

Convolutional Neural Network, Engineering, Combines Program Execution +18

Testing Deep Neural Networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening · arXiv (Cornell University) · 2018 · 175 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Engineering +16

Structural Test Coverage Criteria for Deep Neural Networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening et al. · ACM Transactions on Embedded Computing Systems · 2019 · 97 citations · Full text

Artificial Intelligence, Convolutional Neural Network, Deep Neural Networks +15

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

Wenjie Ruan, Min Wu, Youcheng Sun et al. · 2019 · 88 citations · Full text

Artificial Intelligence, Robustness Estimates, Engineering +17