Tuna: A Static Analysis Approach to Optimizing Deep Neural Networks.
Yao WangXingyu ZhouYanming WangRui LiYong WuVin SharmaPublished in: CoRR (2021)
Keyphrases
- static analysis
- neural network
- dynamic analysis
- source code
- java card
- pattern recognition
- malicious code
- abstract interpretation
- symbolic execution
- artificial neural networks
- regular expressions
- fuzzy logic
- test suite
- test generation
- back propagation
- artificial intelligence
- test set
- neural network model
- programming language
- keywords
- genetic algorithm