DeepConcolic: testing and debugging deep neural networks.

Youcheng Sun, Xiaowei Huang, Daniel Kroening, James Sharp, Matthew Hill, Rob Ashmore

Browse the full ICSE paper archive.