Wei Dong

Counterexample-Preserving Reduction for Symbolic Model Checking

Wanwei Liu, Rui Wang, Xianjin Fu et al. · Journal of Applied Mathematics · 2014 · 70 citations · Full text

Engineering, Automated Reasoning, Verification +15

Bridging pre-trained models and downstream tasks for source code understanding

Deze Wang, Zhouyang Jia, Shanshan Li et al. · Proceedings of the 44th International Conference on Software Engineering · 2022 · 67 citations

Artificial Intelligence, Llm Fine-tuning, Engineering +17

<scp>deGraphCS</scp> : Embedding Variable-based Flow Graph for Neural Code Search

Chen Zeng, Yue Yu, Shanshan Li et al. · ACM Transactions on Software Engineering and Methodology · 2022 · 46 citations

Engineering, Machine Learning, Source Code Analysis +17

One Adapter for All Programming Languages? Adapter Tuning for Code Search and Summarization

Deze Wang, Boxing Chen, Shanshan Li et al. · 2023 · 42 citations

Llm Fine-tuning, Engineering, Machine Learning +26

Regular property guided dynamic symbolic execution

Yufeng Zhang, Zhenbang Chen, Ji Wang et al. · International Conference on Software Engineering · 2015 · 32 citations

Engineering, Software Engineering, Symbolic Computation +19