Symbolic Execution for Deep Neural Networks.

Divya Gopinath Kaiyuan Wang Mengshi Zhang Corina S. Pasareanu Sarfraz Khurshid

Published in: CoRR (2018)

Keyphrases

symbolic execution
neural network
static analysis
test generation
test data generation
source code
specification language
artificial neural networks
simulated annealing algorithm
artificial intelligence
genetic algorithm
test cases
data flow
case study
search algorithm
query language