DeepConcolic: testing and debugging deep neural networks

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore. DeepConcolic: testing and debugging deep neural networks. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 111-114, IEEE / ACM, 2019. [doi]

Abstract

Abstract is missing.