Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
Yizhou Chen, Zeyu Sun, Zhihao Gong, Dan Hao
IEEE/ACM 46th International Conference on Software Engineering (ICSE), 2024
Gpass: A Goal-Adaptive Neural Theorem Prover Based on Coq for Automated Formal Verification
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025
From Cryptic to Clear - Training on LLM Explanations to Detect Smart Contract Vulnerabilities
Yizhou Chen, Zeyu Sun, Guoqing Wang, Qingyuan Liang, Xiao Yu, Dan Hao
ACM Transactions on Software Engineering and Methodology (TOSEM), 2025
Improving Smart Contract Vulnerability Detection with Correlation-Driven Semi-Supervised Learning
Yizhou Chen, Zeyu Sun, Guoqing Wang, Dan Hao
IEEE Transactions on Software Engineering (TSE), 2025
Spotting Code Mutation for Predictive Mutation Testing
Yifan Zhao, Yizhou Chen, Zeyu Sun, Qingyuan Liang, Guoqing Wang, Dan Hao
39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024
Mutual Learning-based Framework for Enhancing Robustness of Code Models via Adversarial Training
Yangsen Wang, Yizhou Chen, Yifan Zhao, Zhihao Gong, Junjie Chen, Dan Hao
39th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024
A Vulnerability Detection Framework by Focusing on Critical Execution Paths
Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
Information and Software Technology (IST), 2024
A Vulnerability Detection Framework with Enhanced Graph Feature Learning
Jianxin Cheng, Yizhou Chen, Yongzhi Cao, Hanpin Wang
Journal of Systems and Software (JSS), 2024
A Comparative Study of Rule-based and Learning-based Mutation Techniques
Zhihao Gong, Yizhou Chen, Junjie Chen, Dan Hao
Journal of Software (JOS), 2024
Do Advanced Language Models Eliminate the Need for Prompt Engineering in Software Engineering?
Guoqing Wang, Zeyu Sun, Sixiang Ye, Zhihao Gong, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao
ACM Transactions on Software Engineering and Methodology (TOSEM), 2024
Grammar-based Code Representation: Is It a Worthy Pursuit for LLMs?
Qingyuan Liang, Zhao Zhang, Zeyu Sun, Zheng Lin, Qi Luo, Yueyi Xiao, Yizhou Chen, Yuqun Zhang, Haotian Zhang, Lu Zhang, Bin Chen, Yingfei Xiong
Findings of the Association for Computational Linguistics: ACL 2025 (Findings of ACL), 2025
Commit Artifact Preserving Build Prediction
Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Qingyuan Liang, Dan Hao
33rd ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA), 2024
Directional Diffusion-style Code Editing Pre-training
Qingyuan Liang, Zeyu Sun, Qihao Zhu, Junhao Hu, Yifan Zhao, Yizhou Chen, Mingxuan Zhu, Guoqing Wang, Lu Zhang
IEEE Transactions on Software Engineering (TSE), 2025
Bipartite-grammar Aware Pretraining for XML-SQL Code Updating
Qingyuan Liang, Zeyu Sun, Yifan Zhao, Zhihao Gong, Guoqing Wang, Yizhou Chen, Lu Zhang, Guangtai Liang, Qianxiang Wang
ACM Transactions on Software Engineering and Methodology (TOSEM), 2025
Condor: A Code Discriminator Integrating General Semantics with Code Details
Qingyuan Liang, Zhao Zhang, Chen Liu, Zeyu Sun, Wenjie Zhang, Yizhou Chen, Zixiao Zhao, Qi Luo, Wentao Wang, Yanjie Jiang, Yingfei Xiong, Lu Zhang
IEEE Transactions on Software Engineering (TSE), 2025
Beyond the Sum of Parts: Leveraging Entanglement for Bug Inducing Commit Localization
Guoqing Wang, Zeyu Sun, Yizhou Chen, Yifan Zhao, Haiyang Shen, Qingyuan Liang, Dan Hao
IEEE Transactions on Software Engineering (TSE), 2025
