Xiaowei Huang

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

Reachability Analysis of Deep Neural Networks with Provable Guarantees

Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska · 2018 · 229 citations · Full text

Computing, Computer Engineering, Computer Science +17

Testing Deep Neural Networks

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

Computing, Computer Science, Artificial Intelligence +13

Loss of microbial diversity weakens specific soil functions, but increases soil ecosystem stability

Xueling Yang, Jie Cheng, Ashley E. Franks et al. · Soil Biology and Biochemistry · 2022 · 137 citations

Life Sciences, Microbiology, Soil Sciences +16