173 citations · 854 across the 53 of their papers we have counts for
5 papers · 1 filter
Coverage Guided Testing for Recurrent Neural Networks
Wei Huang, Youcheng Sun, Xingyu Zhao +4
Recurrent neural networks (RNNs) have been applied to a broad range of applications, including natural language processing, drug discovery, and video recognition. Their vulnerabili…
Towards Integrating Formal Verification of Autonomous Robots with Battery Prognostics and Health Management
Xingyu Zhao, Matt Osborne, Jenny Lantair +6
The battery is a key component of autonomous robots. Its performance limits the robot's safety and reliability. Unlike liquid-fuel, a battery, as a chemical device, exhibits compli…
Explaining Image Classifiers using Statistical Fault Localization
Youcheng Sun, Hana Chockler, Xiaowei Huang +1
The black-box nature of deep neural networks (DNNs) makes it impossible to understand why a particular output is produced, creating demand for "Explainable AI". In this paper, we s…
testRNN: Coverage-guided Testing on Recurrent Neural Networks
Wei Huang, Youcheng Sun, Xiaowei Huang +1
Recurrent neural networks (RNNs) have been widely applied to various sequential tasks such as text processing, video recognition, and molecular property prediction. We introduce th…
Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification
Jianlin Li, Pengfei Yang, Jiangchao Liu +3
Deep neural networks (DNNs) have been shown lack of robustness for the vulnerability of their classification to small perturbations on the inputs. This has led to safety concerns o…