Homepage
About SEG
SEG News
SEG Seminar
Research
Tools
Internal Site
People
Publication
Curriculum
Album
Hot Link
Contact SEG
[Accepted] [2026] [2025] [2024] [2023]
Selected Publications
    International Journal
  • Shuoxiao Zhang, Enyi Tang, Haoliang Cheng, Xinyu Gao, An Guo, Jianhua Zhao, Xin Chen, Linzhang Wang, Na Meng, Xuandong Li. BlockSOP: A blockchain-based software management platform for open collaborative development.  In  Journal of Systems and Software, download
  • Shuoxiao Zhang, Enyi Tang, Jianhua Zhao, Xin Chen, Linzhang Wang, Xuandong Li. Exploring the Effectiveness of Open-Source Donation Platform: An Empirical Study on Opencollective.  In  Journal of Software: Evolution and Process, download
  • Jiayi Wang,Yu Wang, Ke Wang, Lingzhang Wang. SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis.  In  TOSEM, download
  • Suwan Li, Lei Bu, Shangqing Liu, Guangdong Bai, Fuman Xie, Kai Chen, Chang Yue. VUI Testing of VPA Apps via Behavior Model-Enhanced LLM Agents.  In  TOSEM, download
  • Linna Xie, Chongmin Li, Yu Pei, Tian Zhang, Minxue Pan. Automated Program Repair for Introductory Programming Assignments via Bidirectional Refactoring.  In  ACM, download
  • Zewen Sun, Yujin Zhang, Yueyang Wang, Duanchen Xu, Yiyu Zhang, Yun Qi, Zhaokang Wang, Yue Li, Xuandong Li, Qingda Lu, Wenwen Peng, Shengjian Guo, Zhiqiang Zuo. Scaling Inter-procedural Dataflow Analysis on the Cloud.  In  ACM, download
  • Haibo Lin,Zhong Li,Ruihua Ji,Minxue Pan,Tian Zhang,Nan Wu,Xuandong Li. Decomposition then watermarking: Enhancing code traceability with dual-channel code watermarking.  In  ASE, download
  • Yufei Shi,Longlong Lu,Minxue Pan,Xuandong Li. Accelerating Timing Specifcation Verifcation of Interrupt-driven Real-time Systems.  In  , download
  • Chinese Journal
  • 赵祖威,汤恩义,李薛成,戴新宇,陈鑫,李宣东。软件供应链安全中的大语言模型生成代码逻辑性缺陷检测。 软件学报, download
  • International Conference & Workshop
  • Chun Li,Hui Li,ZhongLi,Minxue Pan,Xuandong Li. Enhancing Fault Localization in Industrial Software Systems via Contrastive Learning.  In  ICSE, download
  • CHI ZHANG,MANUEL RIGGER. Constant Optimization Driven Database System Testing.  In  SIGMOD, download
  • Chun Li,Hui Li,Zhong Li,Minxue Pan,Xuandong Li. Improving Graph Learning-Based Fault Localization with Tailored Semi-supervised Learning.  In  FSE, download
  • Shaoheng Cao,Minxue Pan,Yuanhong Lan,Xuandong Li. Intention-Based GUI Test Migration for Mobile Apps using Large Language Models.  In  ISSTA, download
  • Shaoheng Cao, Renyi Chen,Wenhua Yang, Minxue Pan, Xuandong Li. A Mixed-Methods Study of Model-Based GUI Testing in Real-World Industrial Setings.  In  FSE, download
  • Yuanhong Lan,Shaoheng Cao,Yifei Lu,Minxue Pan,Xuandong Li. NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android Apps.  In  ASE, download
  • Linna Xie, Zhong Li, Yu Pei, Zhongzhen Wen, Kui Liu, Tian Zhang, Xuandong Li. PReMM: LLM-Based Program Repair for Multi-method Bugs via Divide and Conquer.  In  OOPSLA, download
  • Heng Yong, Zhong Li, Minxue Pan, Tian Zhang, Jianhua Zhao, Xuandong Li. GVI: Guided Vulnerability Imagination for Boosting Deep Vulnerability Detectors.  In  ICSE, download
  • Yi Zhang,Yu Wang,Linzhang Wang,Ke Wang. Synchronized Behavior Checking: A Method for Finding Missed Compiler Optimizations.  In  OOPSLA, download
  • Qian Chen,Chenqi Cui,Fengjuan Gao,Yu Wang, Ke Wang, Lingzhang Wang. Solving Floating-Point Constraints with Continuous Optimization.  In  PLDI, download
  • Chaoyue Zhang, Longlong Lu, Yifei Lu, Minxue Pan, Xuandong Li. Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis.  In  OOPSLA, download