Concolic Testing for Deep Neural Networks.
Youcheng SunMin WuWenjie RuanXiaowei HuangMarta KwiatkowskaDaniel KroeningPublished in: CoRR (2018)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- genetic algorithm
- fuzzy logic
- back propagation
- radial basis function
- multilayer perceptron
- machine learning
- search algorithm
- neural learning
- activation function
- multi layer perceptron
- neural nets
- recurrent neural networks
- feed forward
- fault diagnosis
- test set
- similarity measure
- case study
- information systems
- search engine
- data mining