1 citations · 1 across the 1 of their papers we have counts for
3 papers
cs.SE2021★ 1 cited
Self-Boosted Automated Program Repair
Samuel Benton, Mengshi Zhang, Xia Li +1
Program repair is an integral part of every software system's life-cycle but can be extremely challenging. To date, researchers have proposed various automated program repair (APR)…
cs.SE2018
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
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…