62 citations · 140 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 44 cited
Symbolic Execution for Deep Neural Networks
Divya Gopinath, Kaiyuan Wang, Mengshi Zhang +2
Deep Neural Networks (DNN) are increasingly used in a variety of applications, many of them with substantial safety and security concerns. This paper introduces DeepCheck, a new ap…
cs.SE2018★ 62 cited
DeepRoad: GAN-based Metamorphic Autonomous Driving System Testing
Mengshi Zhang, Yuqun Zhang, Lingming Zhang +2
While Deep Neural Networks (DNNs) have established the fundamentals of DNN-based autonomous driving systems, they may exhibit erroneous behaviors and cause fatal accidents. To reso…