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 · 501 citations · Full text

Computing, Computer Science, Cybersecurity +16

Concolic testing for deep neural networks

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

Computing, Computer Science, Algorithms +13

Testing Deep Neural Networks

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

Computing, Computer Science, Artificial Intelligence +13

Structural Test Coverage Criteria for Deep Neural Networks

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

Computing, Computer Science, Artificial Intelligence +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

Computing, Computer Science, Algorithms +16