Concolic testing for deep neural networks.
Youcheng SunMin WuWenjie RuanXiaowei HuangMarta KwiatkowskaDaniel KroeningPublished in: ASE (2018)
Keyphrases
- neural network
- pattern recognition
- neural nets
- self organizing maps
- fuzzy logic
- deep learning
- test cases
- neural network model
- multilayer perceptron
- genetic algorithm
- competitive learning
- back propagation
- hopfield neural network
- auto associative
- multi layer perceptron
- database
- fuzzy neural network
- training algorithm
- fuzzy systems
- neural learning
- recurrent neural networks
- radial basis function
- test data
- artificial neural networks
- video sequences
- reinforcement learning
- information systems
- machine learning
- data mining