DeepConcolic: Testing and Debugging Deep Neural Networks

Deep neural networks (DNNs) have been deployed in a wide range of applications. We introduce a DNN testing and debugging tool, called DeepConcolic, which is able to detect errors with sufficient rigour so as to be applicable to the testing of DNNs in safety-related applications. DeepConcolic is the...

Full description

Bibliographic Details

Published in:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) pp. 111 - 114
Main Authors:	Sun, Youcheng, Huang, Xiaowei, Kroening, Daniel, Sharp, James, Hill, Matthew, Ashmore, Rob
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2019
Subjects:	concolic testing Debugging deep neural networks Engines Measurement Neurons Safety test coverage criteria Testing
ISSN:	2574-1934
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!