On Functional Test Generation for Deep Neural Network IPs.
Bo LuoYu LiLingxiao WeiQiang XuPublished in: DATE (2019)
Keyphrases
- test generation
- neural network
- test cases
- test sequences
- symbolic execution
- design automation
- static analysis
- artificial neural networks
- back propagation
- quality assurance
- software testing
- mutation testing
- code coverage
- test data generation
- neural network model
- cooperative
- computer vision
- training process
- complex systems
- test set
- multi agent
- decision trees
- image processing
- database