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

Saved in:
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!
Description
Summary: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 first tool that implements a concolic testing technique for DNNs, and the first testing tool that provides users with the functionality of investigating particular parts of a DNN. The tool has been made publicly available and a demo video can be found at https://youtu.be/rliynbhoNLM.
ISSN:2574-1934
DOI:10.1109/ICSE-Companion.2019.00051