MC/DC coverage-oriented compiler optimization for symbolic execution. - Yijun Liu; Zhenbang Chen; Wei Dong 006; Chendong Feng (ICSE (Companion Volume), 2018)

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. - Meixi Liu; Weijiang Hong; Weiyu Pan; Chendong Feng; Zhenbang Chen; Ji Wang 001 (ASE, 2020)

A Robustness-Oriented Data Augmentation Method for DNN. - Meixi Liu; Weijiang Hong; Weiyu Pan; Chendong Feng (QRS Companion, 2021)