Weiyu Pan

According to our database, Weiyu Pan authored at least 8 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Adaptive solving strategy synthesis for symbolic execution.

Zhenbang Chen, Guofeng Zhang, Zehua Chen, Ziqi Shuai, Weiyu Pan, Yufeng Zhang, Ji Wang

J. Softw. Evol. Process., April, 2024

2021

Optimal Conjunctive Normal Form Encoding for Symbolic Execution.

Weiyu Pan, Ziqi Shuai, Ke Ma, Luyao Liu

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A Robustness-Oriented Data Augmentation Method for DNN.

Meixi Liu, Weijiang Hong, Weiyu Pan, Chendong Feng

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Grammar-agnostic symbolic execution by token symbolization.

Weiyu Pan, Zhenbang Chen, Guofeng Zhang, Yunlai Luo, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Synthesize solving strategy for symbolic execution.

Zhenbang Chen, Zehua Chen, Ziqi Shuai, Guofeng Zhang, Weiyu Pan, Yufeng Zhang, Ji Wang

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

PALB2 as a potential prognostic biomarker for colorectal cancer.

Weiyu Pan, Kui Lu, Weixia Wang, Junxia Yao, Yingyong Hou

Comput. Biol. Chem., 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

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Synthesizing Smart Solving Strategy for Symbolic Execution.

Zehua Chen, Zhenbang Chen, Ziqi Shuai, Yufeng Zhang, Weiyu Pan

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020