# Shing-Chi CHEUNG 張成志 Chair Professor ![Shing-Chi CHEUNG](../portraits/scc.jpg) [官方档案](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) · [个人主页](https://cse.hkust.edu.hk/~scc/) · [HTML](../../index.html#faculty-scc) ## 学术指标 | 指标 | 数值 | | --- | ---: | | [累计引用](https://openalex.org/A5034057959) | 8,888 | | h-index | 48 | | i10-index | 183 | | 2024–2026 收录论文 | 71 | | 在组成员 | 15 | | 产业合作机构 | 1 | 数据日期：2026-10-17。[指标定义与分位标准](../../index.html#standards)。 ## 教育与履历 ### 教育 - [University of Hong Kong](https://cse.hkust.edu.hk/~scc/) · BEng, Electrical Engineering - 1994 · [Imperial College London / University of London](https://cse.hkust.edu.hk/~scc/) · PhD, Computing ### 任职与研究经历 - 1994– · [HKUST CSE](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) · Faculty; currently Chair Professor ## 研究方向 ### [Software testing and analysis](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) ### [AI and mobile software development](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) ### [Generative and spreadsheet programming](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) ### [Software analytics](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) ### [Cybersecurity](https://cse.hkust.edu.hk/admin/people/faculty/profile/scc) 长期测试、fault localization、mobile/web、smart contract 与 spreadsheet；当前主线使用静态分析、验证、经验研究与 agentic AI 处理软件工程真实问题。 ### 测试/分析基础、实证故障与 AI 工具结合 MR-Adopt 用 LLM 后接 data-flow 与 oracle；Opera 复用 library tests 找 compiler frontend bugs；MASLeak 分析协作系统边界。 ## 实验室与成员 [CASTLE Research Group](https://cse.hkust.edu.hk/~scc/) HKUST Department of Computer Science and Engineering Clear Water Bay, Hong Kong Software testing and analysis,AI and mobile software development,Generative and spreadsheet programming,Software analytics,Cybersecurity ### 在组成员（15） | 成员与公开档案 | 身份与时间 | 教育背景 | 研究与经历 | 量化记录 | | --- | --- | --- | --- | --- | | [Meiziniu Li](https://maybelee.github.io/) · [GitHub](https://github.com/maybeLee) | PhD；Computer Science and Engineering | 2020 · [HUST](https://maybelee.github.io/) · BSc, AI and Automation | LLM-driven software testing；TensorFlow/PyTorch library analysis；PhD student working on deep learning library testing；曾随 UIUC Lingming Zhang 访问研究 | [GitHub 关注](https://github.com/maybeLee) 10；[Stars](https://github.com/maybeLee) 14 | | [Tsz-On Li](https://cse.hkust.edu.hk/~scc/pg.html) | PhD；Computer Science and Engineering | | neural-symbolic test generation；PhD student working on neural-symbolic test generation | — | | [Xiao Chen](https://cse.hkust.edu.hk/~scc/pg.html) | PhD；Computer Science and Engineering | | neural-symbolic code analysis and test update；PhD student working on neural-symbolic code analysis and test update | — | | [Xiaolei Li](https://cse.hkust.edu.hk/~scc/pg.html) | PhD；Computer Science and Engineering | | neural-symbolic fault detection for mobile apps；PhD student working on neural-symbolic fault detection for mobile apps | — | | [Songqiang Chen](https://imcsq.github.io/) · [DBLP](https://dblp.org/pid/257/0002) · [ORCID](https://orcid.org/0000-0002-1220-8728) | PhD；Computer Science and Engineering | [Wuhan University](https://imcsq.github.io/) · Bachelor；[Wuhan University](https://imcsq.github.io/) · Master | AI4SE、SE4AI、metamorphic testing；PhD student working on neural-symbolic software engineering；本科和硕士导师 Xiaoyuan Xie | [DBLP 近三年](https://dblp.org/pid/257/0002) 30 | | [Weiqi Lu](https://cse.hkust.edu.hk/~scc/pg.html) | PhD；Computer Science and Engineering | | neural-symbolic fault detection for data visualization software；PhD student working on neural-symbolic fault detection for data visualization software | — | | [Dongze Li](https://github.com/dlibk) | PhD；Computer Science and Engineering | | intelligent software engineering；PhD student working on intelligent software engineering | [GitHub 关注](https://github.com/dlibk) 0；[Stars](https://github.com/dlibk) 0 | | [Jingyi Chen](https://jingyi-a-chen.github.io/) · [GitHub](https://github.com/jingyi-a-chen) | PhD；Computer Science and Engineering | 2024 · [Nankai University](https://jingyi-a-chen.github.io/assets/js/content.js) · BS, Computer Science and Technology；2024– · [The Hong Kong University of Science and Technology](https://jingyi-a-chen.github.io/assets/js/content.js) · PhD, Computer Science and Engineering（在读） · 导师 Shing-Chi Cheung；Jiasi Shen | AI for Software Engineering、检索增强代码生成；PhD student | [GitHub 关注](https://github.com/jingyi-a-chen) 1；[Stars](https://github.com/jingyi-a-chen) 1 | | [Zongyi Lyu](https://zongyilyu.github.io/) · [简历](https://zongyilyu.github.io/docs/CV.pdf) · [GitHub](https://github.com/zongyiLyu) | PhD；Computer Science and Engineering | 2024 · [Harbin Institute of Technology, Shenzhen](https://zongyilyu.github.io/) · Bachelor | SE for AI、coding-agent testing、causality-based analysis；PhD student；本科导师 Cuiyun Gao | [GitHub 关注](https://github.com/zongyiLyu) 1；[Stars](https://github.com/zongyiLyu) 0 | | [Xiaohan Zhong, Elaine](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；Computer Science and Engineering | | software engineering and Generative AI；MPhil student working on software engineering and Generative AI | — | | [Hau Ching Lo, Yoanna](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；Computer Science and Engineering | | software engineering and Generative AI；MPhil student working on software engineering and Generative AI | — | | [Zhengdong Huang](https://facultyprofiles.hkust.edu.hk/profiles.php?profile=shing-chi-cheung-sccheung) | PhD；Computer Science and Engineering | | | — | | [Yuanmin Xie](https://facultyprofiles.hkust.edu.hk/profiles.php?profile=shing-chi-cheung-sccheung) | PhD；Computer Science and Engineering | | | — | | [Yu Hang Chow](https://facultyprofiles.hkust.edu.hk/profiles.php?profile=shing-chi-cheung-sccheung) | MPhil；Computer Science and Engineering | | | — | | [Tsz Tou Chui](https://facultyprofiles.hkust.edu.hk/profiles.php?profile=shing-chi-cheung-sccheung) | MPhil；Computer Science and Engineering | | | — | ### 校友与去向（53） | 成员与公开档案 | 身份与时间 | 教育背景 | 研究与经历 | 量化记录 | | --- | --- | --- | --- | --- | | [Wing-Kwong Chan, Ricky](http://www.cs.cityu.edu.hk/~wkchan/) · [DBLP](https://dblp.org/pid/c/WingKwonChan) · [ORCID](https://orcid.org/0000-0001-7726-6235) | Postdoc；2005–2006 | 2004 · [University of Hong Kong](http://www.cs.cityu.edu.hk/~wkchan/) · PhD | Associate Professor, City University of Hong Kong；PhD 2004, HKU | [DBLP 近三年](https://dblp.org/pid/c/WingKwonChan) 18 | | [Lu Liu](https://liuluuuu.github.io/) · [简历](https://liuluuuu.github.io/assets/LuLiu_CV.pdf) · [GitHub](https://github.com/Liuluuuu) | PhD；2026；Computer Science and Engineering | 2026 · [HKUST](https://liuluuuu.github.io/) · PhD | Enhancing Smart Contract Security: Empirical Characterization, Fault Analysis, and Vulnerability Detection Huawei；Huawei；PhD 2026 | [GitHub 关注](https://github.com/Liuluuuu) 4；[Stars](https://github.com/Liuluuuu) 6 | | [Congying Xu](https://scholar.google.com/citations?user=dnXxgFYAAAAJ) | PhD；2026；Computer Science and Engineering | 2026 · [HKUST](https://scholar.google.com/citations?user=dnXxgFYAAAAJ) · PhD | Automated and Effective Metamorphic Testing: Relation Discovery, Deduction, and Generation；PhD 2026 | — | | [Haoyang Ma](https://haoyang9804.github.io/) | PhD；2025；Computer Science and Engineering | 2025 · [HKUST](https://haoyang9804.github.io/) · PhD | Fault Characterization and Testing for Domain-Specific Compilers ByteDance；ByteDance；PhD 2025 | — | | [Hengcheng Zhu](https://scholar.henryhc.net/) · [DBLP](https://dblp.org/pid/262/9474) · [ORCID](https://orcid.org/0000-0002-3082-5957) | PhD；2025；Computer Science and Engineering | 2025 · [HKUST](https://scholar.henryhc.net/) · PhD | Towards Emulating Interactions for Effective Software Testing；PhD 2025 | [DBLP 近三年](https://dblp.org/pid/262/9474) 21 | | [Jiarong Wu](https://www.researchgate.net/profile/Jiarong-Wu) | PhD；2025；Computer Science and Engineering | 2025 · [HKUST](https://www.researchgate.net/profile/Jiarong-Wu) · PhD | Towards Bridging Human Requirements and Program Synthesis Huawei；Huawei；PhD 2025 | — | | [Wuqi Zhang](https://troublor.xyz/) | PhD；2024；Computer Science and Engineering | 2024 · [HKUST](https://troublor.xyz/) · PhD | Defect Detection for Smart Contracts and Blockchain Applications MegaETH；MegaETH；PhD 2024 | — | | [Ka Wing Yoyo Yeung](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2024；Computer Science and Engineering | 2024 · [HKUST](https://cse.hkust.edu.hk/~scc/pg.html) · MPhil | Incorporating Domain-Specific Insights for Automated Test Generation；MPhil 2024 | — | | [Jialun Cao](https://arabelatso.github.io/about/) | PhD；2024；Computer Science and Engineering | 2024 · [HKUST](https://arabelatso.github.io/about/) · PhD | Towards Automatic Testing and Fault Localization in Natural Language Processing Systems Research Assistant Professor, HKUST；Research Assistant Professor, HKUST；PhD 2024 | — | | [Jiajun Hu](http://home.cse.ust.hk/~jhuao/) | PhD；2024；Computer Science and Engineering | 2024 · [HKUST](http://home.cse.ust.hk/~jhuao/) · PhD | Towards Automated Testing of WebViews in Android Applications Huawei (Hong Kong)；Huawei (Hong Kong)；PhD 2024 | — | | [Huaxun Huang](https://huaxunhuang.github.io/) · [GitHub](https://github.com/huaxunhuang) | PhD；2023；Computer Science and Engineering | 2023 · [HKUST](https://huaxunhuang.github.io/) · PhD | Towards Automatic Detection and Repair of Compatibility Issues in Android Apps Xiamen University；Xiamen University；PhD 2023 | [GitHub 关注](https://github.com/huaxunhuang) 3；[Stars](https://github.com/huaxunhuang) 0 | | [Yongqiang Tian](http://home.cse.ust.hk/~ytianas/) | Dual-PhD；2023；Computer Science and Engineering | 2023 · [HKUST](http://home.cse.ust.hk/~ytianas/) · PhD | Assessing the Reliability of Deep Learning Applications Monash University；Monash University；Dual-PhD 2023 | — | | [Ching Hang Mak, David](https://cse.hkust.edu.hk/~parreaux/author/david-ching-hang-mak/) | MPhil；2023；Computer Science and Engineering | 2023 · [HKUST](https://cse.hkust.edu.hk/~parreaux/author/david-ching-hang-mak/) · MPhil | Test Dependency Minimization for Java Programs PhD student, HKUST；PhD student, HKUST；MPhil 2023 | — | | [Yuqing Quan](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2023；Computer Science and Engineering | 2023 · [HKUST](https://cse.hkust.edu.hk/~scc/pg.html) · MPhil | Restation: Effective Identifying Dependencies between Restful APIs via Dynamic Analysis；MPhil 2023；共同指导 | — | | [Hang Xu](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2020 | | Coverage-Directed Differential Testing of EVM Implementations Tencent；Tencent；MPhil 2020 | — | | [Lili Wei](https://liliweise.github.io/) · [GitHub](https://github.com/liliweise) | PhD；2020 | | Taming Fragmentation-Induced Compatibility Issues in Android Applications McGill University；McGill University；PhD 2020 | [GitHub 关注](https://github.com/liliweise) 36；[Stars](https://github.com/liliweise) 4 | | [Mijung Kim](https://mjkim720.github.io/) | PhD；2019 | | Towards Practical Automated Software Testing UNIST；UNIST；PhD 2019 | — | | [Ming Wen](https://justinwm.github.io/) · [DBLP](https://dblp.org/pid/99/1109-1) · [ORCID](https://orcid.org/0000-0001-5588-9618) | PhD；2019 | | Utilizing Code Change Information for Better Automated Debugging Huazhong University of Science and Technology (HUST)；Huazhong University of Science and Technology (HUST)；PhD 2019 | [DBLP 近三年](https://dblp.org/pid/99/1109-1) 28 | | [King Sun Chan](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2018 | | Assessing Relative Code Complexity Introduced by Optional Features to a Software Product Line；MPhil 2018 | — | | [Rongxin Wu](http://home.cse.ust.hk/~wurongxin/) | PhD；2017 | | Automated Techniques for Diagnosing Crashing Bugs Xiamen University；Xiamen University；PhD 2017 | — | | [Valerio Terragni](http://home.cse.ust.hk/~vterragni/) | PhD；2017 | | Towards Effective Regression Testing of Concurrent Programs University of Auckland；University of Auckland；PhD 2017 | — | | [Yepang Liu](http://www.cse.ust.hk/~andrewust/) | PhD；2015 | | Automated Analysis of Energy Efficiency and Execution Performance for Mobile Applications Southern University of Science and Technology (SUSTech)；Southern University of Science and Technology (SUSTech)；PhD 2015 | — | | [Wanjun Chen, Melody](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2015 | | Automatic Spreadsheet Cell Clustering and Smell Detection using Strong and Weak Features Goldman Sachs；Goldman Sachs；MPhil 2015 | — | | [Yueqi Li](https://www.linkedin.com/in/yueqi-li-17184b14) | PhD；2015 | | Scalable Symbolic Analysis of Large Real World Programs Using API Abstraction and Execution Histories Entrepreneur；Entrepreneur；PhD 2015；MPhil 2010 MPhil 2010 | — | | [Qiaona Hong](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2013 | | The Anatomy of Developer Social Networks Bank of America；Bank of America；MPhil 2013 | — | | [Tate Poon](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2012 | | A Study of Eliminating Irrelevant Access Patterns for Fault Localization in Concurrent Programs OGCIO；OGCIO；MPhil 2012 | — | | [Liping Gao](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2011 | | Failure Proximity for Context-Aware Applications Sogou Tech；Sogou Tech；MPhil 2011 | — | | [Cham-ho Ting, Ivan](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2010 | | Testing Strategy in Discovering Faults in Workflow；MPhil 2010 | — | | [Xinming Wang, Rubin](https://cse.hkust.edu.hk/~scc/pg.html) | PhD；2010 | | Automatic Localization of Code Omission Faults Lakala Finance；Lakala Finance；PhD 2010 | — | | [Zhifeng Lai](http://www.cse.ust.hk/%7Ezflai/) | PhD；2010 | | Effective Detection of Atomic-Set Serializability Violation in Multithreaded Programs AIA；AIA；PhD 2010 | — | | [Dongming Xu](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2009 | | On the testing of the RFID security；MPhil Computer Science and Technology 2009 | — | | [Chunlin Zhu](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2009 | | Classify and Rank Daikon Invariants on Embedded Systems CMB Capital International ( 招银国际 )；)；MPhil 2009 | — | | [Chunyang YE, Jerry](https://sites.google.com/site/cyye76/publications) | PhD；2008 | | Atomicity Analysis for Service Composition Professor, Hainan University；Professor, Hainan University；PhD 2008 | — | | [Chang XU](http://cs.nju.edu.cn/changxu/) | PhD；2008 | | Inconsistency Detection and Resolution for Context-Aware Pervasive Computing Professor, Department of Computer Science, Nanjing University； Nanjing University；PhD 2008 | — | | [Tsz Hin NG, Sam](http://www.cse.ust.hk/%7Ecssam) | PhD；2008 | | The Effects of Pre-deploying Design Patterns on Software Changes PCCW；PCCW；PhD 2008 | — | | [Mian Qin](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2008 | | Wireless Sensor Network Fault Localization；Thesis: Wireless Sensor Network Fault Localization；MPhil 2008 | — | | [Yuet-Mei LO, Cindy](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2005 | | Business Process Atomicity Analysis Supporting Late Task Property Bindings；MPhil 2005 | — | | [Yu-Ho YIU, Matt](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2005 | | HSBC；MSc 2005 | — | | [Wing-Leung CHAN, Christina](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2004 | | MSc 2004 | — | | [Sze-Chit HO, Cedric](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2004 | | A Framework for the Verification of Watermarking Protocols. Google, Mountain View, USA；Google, Mountain View, USA；MPhil 2004 | — | | [Chin-Ching TSOI, Lancelot](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2004 | | Pacific Supernet；MSc 2004 | — | | [Sze-Wan LEE, Yoki](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2003 | | Project Manager, PeopleSoft；MSc 2003 | — | | [Kelvin LEUNG](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2002 | | MSc 2002 | — | | [Hanif CURREEM](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2002 | | Digital Copyright Management. ABN AMRO；ABN AMRO；MPhil 2002 | — | | [Zhengdong Xu](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2001 | | Testing of Distributed Multimedia Systems.；MPhil 2001 | — | | [Ting-Pong IP, Vincent](https://cse.hkust.edu.hk/~scc/pg.html) | MSc；2000 | | Cathay Pacific；MSc 2000 | — | | [Ka-Cheong WONG](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；2000 | | Digital Rights Protection Against Watermark Attacks. AsiaPacific.net；AsiaPacific.net；MPhil 2000 | — | | [Man-Yee CHAN](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；1999 | | Extending White Box Testing to Database Applications.；to Database Applications.；MPhil 1999 | — | | [Chi-Yung LAM](http://www.cs.ust.hk/%7Echiyung) | MPhil；1999 | | Modeling and Analyzing Web-Based Information Systems.；Web-Based Information Systems.；MPhil 1999 | — | | [Kam-Fai LEUNG](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；1998 | | A Framework for the Flexible Coupling of Groupware Widgets. Standard Chartered Bank；Standard Chartered Bank；MPhil 1998 | — | | [Kwok-Hung CHEUNG, Herman](http://www.pithk.com) | MPhil；1998 | | Compositional Analysis of Distributed Software Systems. Enterpreneur；Enterpreneur；MPhil 1998 | — | | [Kam-Keung WONG](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；1997 | | Distributed Multimedia Authoring using Software Structures.；MPhil 1997 | — | | [Chun-Man LO](https://cse.hkust.edu.hk/~scc/pg.html) | MPhil；1996 | | Verification of Dense Real-Time Distributed Systems by Using Discrete-Time Methods.；MPhil 1996 | — | ## 业界合作 学校项目记录列有企业资助的研究项目。 - **[Microsoft Research Asia](https://facultyprofiles.hkust.edu.hk/profiles.php?profile=shing-chi-cheung-sccheung) · 资助研究项目**。参与项目 EXPLAINABLE AI: A Hybrid Approach with Visualization, Model, Knowledge and Metamorphic Relation（2020 - 2024） ## 学术贡献与服务 软件测试与分析资深教师，培养与领域服务有明确记录。 - [IEEE Fellow、ACM Distinguished Member；FSE 2014 General Chair；CASTLE 创办人。](https://cse.hkust.edu.hk/~scc/) - [学生 Jialun Cao 获 ACM SIGSOFT Outstanding Dissertation Award 2025。](https://cse.hkust.edu.hk/~scc/) ## 论文分析 ### 2024 · [MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing](https://valerio-terragni.github.io/assets/pdf/xu-ase-2024.pdf) ASE - **问题**：hard-coded metamorphic tests 缺输入变换，无法泛化新样例。 - **方法**：LLM 扩展例子并生成 transformation，用 data-flow 修剪与输出关系验证选择。 - **结果**：72% MR 的变换泛化到全部准备输入；line coverage 增 10.62%、mutation score 增 18.91%。 - **实验条件**：泛化范围是评测输入集，受 LLM 与已存在 MR 约束。 - **研究线**：延续 metamorphic testing 与自动程序分析。 阅读：Abstract；Introduction（开头）；Conclusion（开头）。 ### 2025 · [A Tale of Two DL Cities: When Library Tests Meet Compiler](https://arxiv.org/pdf/2407.16626) ICSE - **问题**：DL compiler model-loading 阶段测试不足。 - **方法**：Opera 从 library tests 抽取 operator instances，模板迁移并按多样性排序。 - **结果**：8 frontends、3 compilers 上发现 170 个此前未知 bug，其中 90 个获确认或修复。 - **实验条件**：确认数与总报告数分开；依赖 test migration 的 API 覆盖。 - **研究线**：复用已有软件测试知识验证新执行边界。 阅读：Abstract；Introduction（开头）；Conclusion（开头）。 ### 2026 · [IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems](https://arxiv.org/pdf/2505.12442) USENIX Security（主页名 MASLeak）；已读 2025 作者稿 - **问题**：黑盒多 agent 应用的配置、prompt 与拓扑可能被输入查询泄露。 - **方法**：MASLeak 构造跨 agent 传播、保留信息的查询，评测 synthetic 与作者搭建的真实平台应用。 - **结果**：810 个 synthetic MAS；文中报告 prompt/instruction 平均成功率 87%、architecture 92%。 - **实验条件**：数字取自 2025 v3 作者稿与受控部署；最终 2026 版需比对。 - **研究线**：把软件系统边界测试扩展到 agent 架构。 阅读：Abstract；Introduction（开头）；Conclusion（开头）。 ## 2024–2026 论文目录 ### 2026 - ["Your Robot Was Trained on a Lie": Collision Mesh Poisoning Attacks on Robotic Manipulation](https://doi.org/10.48550/ARXIV.2609.18122)。[CoRR](https://dblp.org/rec/journals/corr/abs-2609-18122) - [Across Programming Language Silos: A Study on Cross-Lingual Retrieval-Augmented Code Generation](https://doi.org/10.18653/V1/2026.FINDINGS-ACL.1216)。[ACL (Findings)](https://dblp.org/rec/conf/acl/ZhuCCZLLHSC26) - [Automated Unit Test Generation via Chain-of-Thought Prompt and Reinforcement Learning from Coverage Feedback](https://doi.org/10.1145/3745765)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/ZhangHXCL26) - [CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems](https://doi.org/10.48550/ARXIV.2602.02138)。[CoRR](https://dblp.org/rec/journals/corr/abs-2602-02138) - [Can Large Language Models Model Programs Formally?](https://doi.org/10.48550/ARXIV.2604.01851)。[CoRR](https://dblp.org/rec/journals/corr/abs-2604-01851) - [Cloak and Detonate: Scanner Evasion and Dynamic Detection of Agent Skill Malware](https://doi.org/10.48550/ARXIV.2607.02357)。[CoRR](https://dblp.org/rec/journals/corr/abs-2607-02357) - [Coding Agents Are Guessing: Measuring Action-Boundary Violations in Underspecified DevOps Instructions](https://doi.org/10.48550/ARXIV.2607.02294)。[CoRR](https://dblp.org/rec/journals/corr/abs-2607-02294) - [Demystifying the Silence of Correctness Bugs in PyTorch Compiler](https://doi.org/10.48550/ARXIV.2604.08720)。[CoRR](https://dblp.org/rec/journals/corr/abs-2604-08720) - [Enhancing Differential Testing with LLMs for Testing Deep Learning Libraries](https://doi.org/10.1145/3735637)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/LiLLCTC26) - [Geometry Conflict: Explaining and Controlling Forgetting in LLM Continual Post-Training](https://doi.org/10.48550/ARXIV.2605.09608)。[CoRR](https://dblp.org/rec/journals/corr/abs-2605-09608) - [GraphDroid: Asynchronous LLM-Based Mobile App GUI Testing via History-Aware Exploration and Hybrid Intent Fulfillment](https://doi.org/10.48550/ARXIV.2609.10031)。[CoRR](https://dblp.org/rec/journals/corr/abs-2609-10031) - [Inside the Skill Market: From Software Engineering Activities to Reusable Agent Skills](https://doi.org/10.48550/ARXIV.2607.09065)。[CoRR](https://dblp.org/rec/journals/corr/abs-2607-09065) - [LiveFMBench: Unveiling the Power and Limits of Agentic Workflows in Specification Generation](https://doi.org/10.48550/ARXIV.2605.01394)。[CoRR](https://dblp.org/rec/journals/corr/abs-2605-01394) - [Look Before You Leap: Context-Sensitive GUI Grounding for Boosting Automated Extended Reality (XR) Testing](https://doi.org/10.1145/3808134)。[Proc. ACM Softw. Eng.](https://dblp.org/rec/journals/pacmse/LiLLGZCL26) - [ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair](https://doi.org/10.48550/ARXIV.2602.12058)。[CoRR](https://dblp.org/rec/journals/corr/abs-2602-12058) - [ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair (Short Tool Paper)](https://doi.org/10.1007/978-3-032-26204-2_11)。[FM (1)](https://dblp.org/rec/conf/fm/ChenCXC26) - [MR-Coupler: Automated Metamorphic Test Generation via Functional Coupling Analysis](https://doi.org/10.1145/3808213)。[Proc. ACM Softw. Eng.](https://dblp.org/rec/journals/pacmse/XuZCWTC26) - [Programming-by-Example for Batch-Editing Collision Meshes in 3D Software](https://doi.org/10.48550/ARXIV.2607.08804)。[CoRR](https://dblp.org/rec/journals/corr/abs-2607-08804) - [SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark](https://doi.org/10.48550/ARXIV.2603.00520)。[CoRR](https://dblp.org/rec/journals/corr/abs-2603-00520) - [SWE-Bench ProMax: Benchmarking Agents on Large-Scale Multilingual Code Refactoring](https://doi.org/10.48550/ARXIV.2608.09802)。[CoRR](https://dblp.org/rec/journals/corr/abs-2608-09802) - [Understanding Agent-Reactive Bugs at the Model-Harness Boundary: An Empirical Study of LLM Agent Issue Reports](https://doi.org/10.48550/ARXIV.2607.15684)。[CoRR](https://dblp.org/rec/journals/corr/abs-2607-15684) ### 2025 - [A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair](https://doi.org/10.1007/S10515-025-00492-X)。[Autom. Softw. Eng.](https://dblp.org/rec/journals/ase/CaoLWC25) - [A Tale of Two DL Cities: When Library Tests Meet Compiler](https://doi.org/10.1109/ICSE55347.2025.00025)。[ICSE](https://dblp.org/rec/conf/icse/ShenTMCHFCW25) - [An Empirical Study of Bugs in Data Visualization Libraries](https://doi.org/10.1145/3729363)。[Proc. ACM Softw. Eng.](https://dblp.org/rec/journals/pacmse/LuTZMXCS25) - [Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers](https://doi.org/10.48550/ARXIV.2503.20332)。[CoRR](https://dblp.org/rec/journals/corr/abs-2503-20332) - [Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode](https://doi.org/10.48550/ARXIV.2510.00920)。[CoRR](https://dblp.org/rec/journals/corr/abs-2510-00920) - [CodeCleaner: Mitigating Data Contamination for LLM Benchmarking](https://doi.org/10.1145/3755881.3755901)。[Internetware](https://dblp.org/rec/conf/internetware/CaoCZLLC25) - [Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony](https://doi.org/10.1109/ASE63991.2025.00146)。[ASE](https://dblp.org/rec/conf/kbse/ZhangLWLC25) - [CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution](https://doi.org/10.18653/V1/2025.ACL-LONG.1158)。[ACL (1)](https://dblp.org/rec/conf/acl/XuC00LHHC025) - [Data of Differential Testing of Concurrent Classes - ICST 2025](https://doi.org/10.5281/ZENODO.14722293)。[](https://dblp.org/rec/data/11/TerragniC25) - [Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis Approach](https://doi.org/10.1109/ASE63991.2025.00148)。[ASE](https://dblp.org/rec/conf/kbse/XuWTZCYZ25) - [Differential Testing of Concurrent Classes](https://doi.org/10.1109/ICST62969.2025.10989027)。[ICST](https://dblp.org/rec/conf/icst/TerragniC25) - [DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation](https://doi.org/10.1609/AAAI.V39I24.34811)。[AAAI](https://dblp.org/rec/conf/aaai/ZhuC0LH0C25) - [EmbedAgent: Benchmarking Large Language Models in Embedded System Development](https://doi.org/10.48550/ARXIV.2506.11003)。[CoRR](https://dblp.org/rec/journals/corr/abs-2506-11003) - [From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs](https://doi.org/10.18653/V1/2025.ACL-LONG.1310)。[ACL (1)](https://dblp.org/rec/conf/acl/Cao0LMLH000QCT25) - [How far are app secrets from being stolen? a case study on android](https://doi.org/10.1007/S10664-024-10607-9)。[Empir. Softw. Eng.](https://dblp.org/rec/journals/ese/WeiHCL25) - [How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs](https://doi.org/10.48550/ARXIV.2501.10711)。[CoRR](https://dblp.org/rec/journals/corr/abs-2501-10711) - [Infi-MMR: Curriculum-based Unlocking Multimodal Reasoning via Phased Reinforcement Learning in Multimodal Small Language Models](https://doi.org/10.48550/ARXIV.2505.23091)。[CoRR](https://dblp.org/rec/journals/corr/abs-2505-23091) - [IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems](https://doi.org/10.48550/ARXIV.2505.12442)。[CoRR](https://dblp.org/rec/journals/corr/abs-2505-12442) - [Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval](https://doi.org/10.48550/ARXIV.2502.19149)。[CoRR](https://dblp.org/rec/journals/corr/abs-2502-19149) - [LspFuzz: Hunting Bugs in Language Servers](https://doi.org/10.1109/ASE63991.2025.00183)。[ASE](https://dblp.org/rec/conf/kbse/ZhuCTWLWC25) - [LSPFuzz: Hunting Bugs in Language Servers (Experimental Data)](https://doi.org/10.5281/ZENODO.17052143)。[](https://dblp.org/rec/data/12/ZhuCTWLWC25) - [Managing Software Supply Chains - Theory and Practice](https://doi.org/10.1007/978-981-96-1797-5)。[](https://dblp.org/rec/books/sp/WangCYZ25) - [Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions](https://doi.org/10.48550/ARXIV.2511.21380)。[CoRR](https://dblp.org/rec/journals/corr/abs-2511-21380) - [On state reverting in solidity smart contracts: Developer practices, fault categorization, and tool evaluation](https://doi.org/10.1007/S10664-025-10685-3)。[Empir. Softw. Eng.](https://dblp.org/rec/journals/ese/LiuWZLZLCL25) - [Optimization-Aware Test Generation for Deep Learning Compilers](https://doi.org/10.48550/ARXIV.2511.18918)。[CoRR](https://dblp.org/rec/journals/corr/abs-2511-18918) - [Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces](https://doi.org/10.1109/TSE.2025.3565387)。[IEEE Trans. Software Eng.](https://dblp.org/rec/journals/tse/WuJWXCX25) - [ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback](https://doi.org/10.48550/ARXIV.2504.02357)。[CoRR](https://dblp.org/rec/journals/corr/abs-2504-02357) - [RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation](https://doi.org/10.48550/ARXIV.2509.14829)。[CoRR](https://dblp.org/rec/journals/corr/abs-2509-14829) - [SemBIC: Semantic-Aware Identification of Bug-Inducing Commits](https://doi.org/10.1145/3715781)。[Proc. ACM Softw. Eng.](https://dblp.org/rec/journals/pacmse/ChenZCWC25) - [Testing and Enhancing Multi-Agent Systems for Robust Code Generation](https://doi.org/10.48550/ARXIV.2510.10460)。[CoRR](https://dblp.org/rec/journals/corr/abs-2510-10460) - [Understanding and Characterizing Mock Assertions in Unit Tests](https://doi.org/10.1145/3715741)。[Proc. ACM Softw. Eng.](https://dblp.org/rec/journals/pacmse/ZhuTWCWL25) - [What Builds Effective In-Context Examples for Code Generation?](https://doi.org/10.48550/ARXIV.2508.06414)。[CoRR](https://dblp.org/rec/journals/corr/abs-2508-06414) - [When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?](https://doi.org/10.48550/ARXIV.2503.15231)。[CoRR](https://dblp.org/rec/journals/corr/abs-2503-15231) ### 2024 - [Automatic build repair for test cases using incompatible Java versions](https://doi.org/10.1016/J.INFSOF.2024.107473)。[Inf. Softw. Technol.](https://dblp.org/rec/journals/infsof/MakC24) - [Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench](https://doi.org/10.48550/ARXIV.2406.12902)。[CoRR](https://dblp.org/rec/journals/corr/abs-2406-12902) - [CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit](https://doi.org/10.48550/ARXIV.2411.10842)。[CoRR](https://dblp.org/rec/journals/corr/abs-2411-10842) - [Concerned with Data Contamination? Assessing Countermeasures in Code Language Model](https://doi.org/10.48550/ARXIV.2403.16898)。[CoRR](https://dblp.org/rec/journals/corr/abs-2403-16898) - [Context-Dependent Interactable Graphical User Interface Element Detection for Spatial Computing Applications](https://doi.org/10.48550/ARXIV.2409.10811)。[CoRR](https://dblp.org/rec/journals/corr/abs-2409-10811) - [DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis](https://doi.org/10.48550/ARXIV.2406.07944)。[CoRR](https://dblp.org/rec/journals/corr/abs-2406-07944) - [Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification](https://doi.org/10.1007/978-3-031-65630-9_16)。[CAV (2)](https://dblp.org/rec/conf/cav/WenCSXQHLCT24) - [JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models](https://doi.org/10.1145/3691620.3695470)。[ASE](https://dblp.org/rec/conf/kbse/CaoCWC024) - [MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing](https://doi.org/10.1145/3691620.3696020)。[ASE](https://dblp.org/rec/conf/kbse/XuCWCT0C24) - [MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases](https://doi.org/10.1145/3656340)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/XuTZWC24) - [Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts](https://doi.org/10.1109/SP54263.2024.00146)。[SP](https://dblp.org/rec/conf/sp/ZhangZSLWLZC24) - [On the Caching Schemes to Speed Up Program Reduction](https://doi.org/10.1145/3617172)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/TianZDXZJCS24) - [Programming by Example Made Easy](https://doi.org/10.1145/3607185)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/WuWJCRX24) - [Shortening Overlong Method Names with Abbreviations](https://doi.org/10.1145/3676959)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/JiangLCZ24) - [StubCoder: Automated Generation and Repair of Stub Code for Mock Objects](https://doi.org/10.1145/3617171)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/ZhuWTLCWSZS24) - [Towards Understanding the Bugs in Solidity Compiler](https://doi.org/10.1145/3650212.3680362)。[ISSTA](https://dblp.org/rec/conf/issta/MaZS00C24) - [Word Closure-Based Metamorphic Testing for Machine Translation](https://doi.org/10.1145/3675396)。[ACM Trans. Softw. Eng. Methodol.](https://dblp.org/rec/journals/tosem/XieJCC24)