Login / Signup
Symbolic execution for attribution and attack synthesis in neural networks.
Divya Gopinath
Corina S. Pasareanu
Kaiyuan Wang
Mengshi Zhang
Sarfraz Khurshid
Published in:
ICSE (Companion Volume) (2019)
Keyphrases
</>
symbolic execution
neural network
static analysis
test generation
test data generation
specification language
artificial neural networks
source code
data flow
genetic algorithm
data sets
training set
state space
test cases
heuristic search