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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) S. 111 - 114
Hauptverfasser:	Sun, Youcheng, Huang, Xiaowei, Kroening, Daniel, Sharp, James, Hill, Matthew, Ashmore, Rob
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.05.2019
Schlagworte:	concolic testing Debugging deep neural networks Engines Measurement Neurons Safety test coverage criteria Testing
ISSN:	2574-1934
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!