Coverage-Guided Optimization of Concolic Testing for Deep Neural Networks.

Surui Shuai, Chen Yao, Waqas Rasheed, Songhua Li, Yuchen Xie

Browse the full QRS paper archive.