Proj CDeepFuzz Paper Reading: Symbolic execution for importance analysis and adversarial generation in neural networks

Abstract

本文: DeepCheck
Task: Testing DNNs with lightweight symbolic execution and program analysis
Method: use lightweight symbolic analysis to identify important input features and use those features to create adversarial inputs

实验：
数据集：MNIST image classification, a sentiment network