Concolic Testing for Deep Neural Networks

Youcheng Sun‚ Min Wu‚ Wenjie Ruan‚ Xiaowei Huang‚ Marta Kwiatkowska and Daniel Kroening