James J. Sharp

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

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

DeepConcolic: Testing and Debugging Deep Neural Networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening et al. · 2019 · 69 citations

Computing, Computer Science, Embedded Systems +9

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. · arXiv (Cornell University) · 2018 · 54 citations · Full text

Computing, Computer Science, Cybersecurity +16

Structural Test Coverage Criteria for Deep Neural Networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening et al. · 2019 · 34 citations · Full text

Computing, Computer Science, Artificial Intelligence +15