DeepHC: Efficient Generating Tests with High Coverage for Deep Neural Networks. - Junyuan Teng; Tingting Yu; Rui Chen; Dongdong Gao; Chunpeng Jia (QRS Companion, 2023)