DeepConcolic: testing and debugging deep neural networks.

Youcheng Sun Xiaowei Huang Daniel Kroening James Sharp Matthew Hill Rob Ashmore

Published in: ICSE (Companion Volume) (2019)

Keyphrases

neural network
software testing
pattern recognition
neural network model
artificial neural networks
fuzzy logic
network architecture

test cases
computer vision
object oriented
back propagation
activation function
parallel programming

fault diagnosis
learning algorithm
real time
recurrent neural networks
neural nets
fault localization

fuzzy systems
self organizing maps
test set
evolutionary algorithm
search engine
genetic algorithm