Weiyu Pan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 8

Top Topics

Test Generation

Static Analysis

Conjunctive Normal Form

Top Venues

Comput. Biol. Chem.

Publications

Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang
Adaptive solving strategy synthesis for symbolic execution. J. Softw. Evol. Process. 36 (4) (2024)
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng
A Robustness-Oriented Data Augmentation Method for DNN. QRS Companion (2021)
Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu
Optimal Conjunctive Normal Form Encoding for Symbolic Execution. SEKE (2021)
Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang
Grammar-agnostic symbolic execution by token symbolization. ISSTA (2021)
Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang
Synthesize solving strategy for symbolic execution. ISSTA (2021)
Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan
Synthesizing Smart Solving Strategy for Symbolic Execution. ASE (2020)
Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng, Zhenbang Chen, Ji Wang
Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN. ASE (2020)
Weiyu Pan, Kui Lu, Weixia Wang, Junxia Yao, Yingyong Hou
PALB2 as a potential prognostic biomarker for colorectal cancer. Comput. Biol. Chem. 87 (2020)