Synthesizing Smart Solving Strategy for Symbolic Execution. - Zehua Chen; Zhenbang Chen; Ziqi Shuai; Yufeng Zhang 001; Weiyu Pan (ASE, 2020)

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)

PALB2 as a potential prognostic biomarker for colorectal cancer. - Weiyu Pan; Kui Lu; Weixia Wang; Junxia Yao; Yingyong Hou (Comput. Biol. Chem., 2020)

Synthesize solving strategy for symbolic execution. - Zhenbang Chen; Zehua Chen; Ziqi Shuai; Guofeng Zhang 005; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

Grammar-agnostic symbolic execution by token symbolization. - Weiyu Pan; Zhenbang Chen; Guofeng Zhang 005; Yunlai Luo; Yufeng Zhang 001; Ji Wang 001 (ISSTA, 2021)

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

Optimal Conjunctive Normal Form Encoding for Symbolic Execution. - Weiyu Pan; Ziqi Shuai; Ke Ma; Luyao Liu (SEKE, 2021)

Adaptive solving strategy synthesis for symbolic execution. - Zhenbang Chen; Guofeng Zhang 005; Zehua Chen; Ziqi Shuai; Weiyu Pan; Yufeng Zhang 001; Ji Wang 001 (J. Softw. Evol. Process., 2024)