Survey of Research on Neural Network Verification and Testing Technology
LI Duo, DONG Chaoqun, SI Pinchao, HE Man, LIU Qianchao
Computer Engineering and Applications . 2021, (22): 53 -67 .  DOI: 10.3778/j.issn.1002-8331.2106-0342