Coverage-Guided Optimization of Concolic Testing for Deep Neural Networks. - Surui Shuai; Chen Yao; Waqas Rasheed; Songhua Li; Yuchen Xie (QRS Companion, 2025)