Concolic testing for deep neural networks
Open Access
- 3 September 2018
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 109-119
Abstract
No abstract availableKeywords
All Related Versions
This publication has 14 references indexed in Scilit:
- DeepGauge: multi-granularity testing criteria for deep learning systems2018
- Automatically generating search heuristics for concolic testing2018
- AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation2018
- Lipschitz properties for deep convolutional networks2018
- A Mathematical Theory of Deep Convolutional Neural Networks for Feature ExtractionIEEE Transactions on Information Theory, 2017
- DeepXplore2017
- Heuristics for Scalable Dynamic Test Generation2008
- CUTEACM SIGSOFT Software Engineering Notes, 2005
- DART2005
- Test input generation with java PathFinderACM SIGSOFT Software Engineering Notes, 2004