78 citations · 142 across the 17 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2023★ 1 cited
CertPri: Certifiable Prioritization for Deep Neural Networks via Movement Cost in Feature Space
Haibin Zheng, Jinyin Chen, Haibo Jin
Deep neural networks (DNNs) have demonstrated their outperformance in various software systems, but also exhibit misbehavior and even result in irreversible disasters. Therefore, i…
cs.SE2022
ActGraph: Prioritization of Test Cases Based on Deep Neural Network Activation Graph
Jinyin Chen, Jie Ge, Haibin Zheng
Widespread applications of deep neural networks (DNNs) benefit from DNN testing to guarantee their quality. In the DNN testing, numerous test cases are fed into the model to explor…