On Functional Test Generation for Deep Neural Network IPs.
Bo LuoYu LiLingxiao WeiQiang XuPublished in: CoRR (2019)
Keyphrases
- test generation
- neural network
- test cases
- symbolic execution
- test sequences
- design automation
- quality assurance
- mutation testing
- static analysis
- neural network model
- back propagation
- software testing
- artificial neural networks
- database
- test set
- test data generation
- data sets
- information systems
- artificial intelligence