Notice

[Journal/Magazine Publications] [Conference/Symposium/Workshop Publications] [Book Chapters] [Technical Reports] [Edited Resources] [Invited Talks]

Journal/Magazine Publications

  1. Hanzhi Liu, Yanyan Jiang, and Chang Xu. Visualinux: Visual Debugging for the Linux Kernel. ACM Transactions on Computer Systems (TOCS), Vol. XX, No. XX, Article XX, pp. XX-XX, 2026, forthcoming. [pdf]
  2. Tangzhi Xu, Cong Li, Zhaogui Xu, Yanyan Jiang, Yuan Yao, Xiaorui Zhu, Feng Xu, Peng Di, Chang Xu, and Zhendong Su. Streamlining Repository Tasks with Effective Snippet Retrieval. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. XX, Iss. XX, Article XX, pp. XX-X, 2026, forthcoming. [pdf]
  3. Weijie Sun, Ying Wang, Huiyan Wang, Chang Xu, and Shing-Chi Cheung. The Unresolved Clash: Systemic Issues in Golang’s Dual Dependency Management Regimes. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. XX, Iss. XX, Article XX, pp. XX-X, 2026, forthcoming. [pdf]
  4. Shuhui Zhang, Rong Yang, Lingyu Zhang, Han Li, Mingxiao Wang, Mingchen Gao, Haoming Hu, Huiyan Wang, Yi Qin, and Chang Xu. SEPAL: A Consistency-driven Programming Framework and Runtime Support for Human-Cyber-Physical Systems with Reliable Sensing and Dynamic Adaptation. Journal of Computer Science and Technology (JCST), Vol. 40, No. 4, pp. 958-968, Jul 2025. [pdf]
  5. Cong Li, Yanyan Jiang, Chang Xu, and Zhendong Su. Validating JIT Compilers via Compilation Space Exploration. ACM Transactions on Computer Systems (TOCS), Vol. 43, No. 3, Article 6, pp. 1-37, Jul 2025. [pdf]
  6. Xianfei Ou, Yanyan Jiang, and Chang Xu. Semantic Aware Greybox Compiler Fuzzing (语义可感知的灰盒编译器模糊测试). Journal of Software (JOS/软件学报), Vol. 36, Iss. 7, pp. 2947-2963, Jul 2025.
  7. Weijie Sun, Chang Xu, and Ying Wang. Empirical Study and Unified Detection Technique of Dependency Smells in Java Projects (Java依赖异味的实证研究与统一检测技术). Journal of Software (JOS/软件学报), Vol. 36, Iss. 7, pp. 3041-3086, Jul 2025.
  8. Jiarong Wu, Yanyan Jiang, Congying Xu, Shing-Chi Cheung, and Chang Xu. Question Selection for Multimodal Code Search Synthesis using Probabilistic Version Spaces. IEEE Transactions on Software Engineering (TSE), Vol. 51, Iss. 6, pp. 1724-1744, Jun 2025. [pdf]
  9. Yibo Wang, Ying Wang, Yue Yu, Chang Xu, Hai Yu, and Zhiliang Zhu. Insights and Analysis of Open Source License Violation Risks in Large Language Models Generated Code (大模型生成代码的开源许可证违规风险洞察与分析). Journal of Software (JOS/软件学报), Vol. 36, Iss. 6, pp. 2535-2557, Jun 2025.
  10. Yunfan Cao, Chaoyi Zhao, Hanzhi Liu, Jiayi Wang, Huiyan Wang, Ping Yu, Chun Cao, Chang Xu, Xiaoxing Ma, and Yanyan Jiang. System Support for Ubiquitous Human-Cyber-Physical Fusion Applications (人机物融合泛在应用的系统支撑). Scientia Sinica Informationis (中国科学：信息科学), Vol. 55, No. 3, pp. 464-480, Mar 2025.
  11. Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. MG+: Towards Efficient Context Inconsistency Detection by Minimized Link Generation. Software Testing, Verification and Reliability (STVR), Vol. 35, Iss.1, Article e1899, pp. 1-22, Jan 2025. [pdf]
  12. Wenjie Li, Jun Ma, Yanyan Jiang, Chang Xu, and Xiaoxing Ma. Understanding and Detecting Inefficient Image Displaying Issues in Android Apps. Journal of Computer Science and Technology (JCST), Vol. 39, No. 2, pp. 434-459, Mar 2024. [pdf]
  13. Ying Wang, Yingxin Wu, Tian Gao, Ziying Chen, Yaxi Zhang, Chang Xu, Hai Yu, and Shing-Chi Cheung. Review of Research on Open-source Software Library Ecosystems: Twenty Years of Progress (开源软件库生态治理技术研究综述：二十年进展). Journal of Software (JOS/软件学报), Vol. 35, Iss. 2, pp. 629-674, Feb 2024.
  14. Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, and Chang Xu. Programming by Example Made Easy. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 33, Iss. 1, Article 4, pp. 1-36, Jan 2024. [pdf]
  15. Lingyu Zhang, Huiyan Wang, Chuyang Chen, Chang Xu, and Ping Yu. Incremental-Concurrent Fusion Checking for Efficient Context Consistency. The Journal of Systems and Software (JSS), Vol. 207, Article 111852, pp. 1-27, Jan 2024. [pdf]
  16. Hai Yu, Ying Wang, Meiqiu Xu, Bo Yang, Chang Xu, and Zhiliang Zhu. A Measurement Method for the Complexity of Software Library Dependency Graph and Its Potential Applications (软件库依赖图谱的复杂性度量方法及其潜在应用). Journal of Software (JOS/软件学报), Vol. 34, Iss. 11, pp. 5282-5311, Nov 2023.
  17. Jian Lu, Chang Xu, Xiaoxing Ma, and Bin Hu. Growing Software: Objective, Methodology, and Technology. IEEE Transactions on Computational Social Systems (TCSS), Vol. 10, Iss. 3, pp. 833-842, Jun 2023. [pdf]
  18. Ying Wang, Lin Pei, Peng Sun, Yue Yu, Chang Xu, Shing-Chi Cheung, Hai Yu, and Zhiliang Zhu. PLUMBER: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. IEEE Transactions on Software Engineering (TSE), Vol. 49, Iss. 5, pp. 3155-3181, May 2023. [pdf]
  19. Huiyan Wang, Ziqi Chen, and Chang Xu. Freeze-and-Mutate: Abnormal Sample Identification for DL Applications through Model Core Analysis. Automated Software Engineering (ASEJ), Vol. 30, Iss. 1, Article 9, pp. 1-30, May 2023. [pdf]
  20. Wenhua Yang, Chang Xu, Minxue Pan, Yu Zhou, and Zhiqiu Huang. ENSURE: Towards Reliable Control of Cyber-Physical Systems under Uncertainty. IEEE Transactions on Reliability (TR), Vol. 72, Iss. 1, pp. 289-301, Mar 2023. [pdf]
  21. Tian Tan, Xiaoxing Ma, Chang Xu, Chunyan Ma, and Yue Li. Survey on Java Pointer Analysis (Java指针分析综述). Journal of Computer Research and Development (CRAD/计算机研究与发展), Vol. 60, Iss. 2, pp. 274-293, Feb 2023.
  22. Ying Wang, Yibo Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, and Zhiliang Zhu. Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. IEEE Transactions on Software Engineering (TSE), Vol. 49, Iss. 1, pp. 185-210, Jan 2023. [pdf]
  23. Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, and Zhiliang Zhu. Will Dependency Conflicts Affect My Program's Semantics. IEEE Transactions on Software Engineering (TSE), Vol. 48, Iss. 7, pp. 2295-2316, Jul 2022. [pdf]
  24. Wenhua Yang, Chong Zhang, Minxue Pan, Chang Xu, Yu Zhou, and Zhiqiu Huang. Do Developers Really Know How to Use Git Commands? A Large-Scale Study Using Stack Overflow. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 31, Iss. 3, Article 44, pp. 1-29, Jul 2022. [pdf]
  25. Cong Li, Yanyan Jiang, and Chang Xu. GUI Event-Based Record and Replay Techologies for Android Apps: A Survey (基于GUI事件的安卓应用录制重放关键技术综述). Journal of Software (JOS/软件学报), Vol. 33, Iss. 5, pp. 1612-1634, May 2022.
  26. Jinchi Chen, Yi Qin, Huiyan Wang, and Chang Xu. Simulation Might Change Your Results: A Comparison of Context-aware System Input Validation in Simulated and Physical Environments. Journal of Computer Science and Technology (JCST), Vol. 37, No. 1, pp. 83-105, Jan 2022. [pdf]
  27. Jun Ma, Qingwei Sun, Chang Xu, and Xianping Tao. GridDroid - An Effective and Efficient Approach for Android Repackaging Detection based on Runtime Graphical User Interface. Journal of Computer Science and Technology (JCST), Vol. 37, No. 1, pp. 147-181, Jan 2022. [pdf]
  28. Yingzhuo Yang, Zenan Li, Huiyan Wang, Chang Xu, and Xiaoxing Ma. Towards Effective Metamorphic Testing by Algorithm Stability for Linear Classification Programs. The Journal of Systems and Software (JSS), Vol. 180, Article 111012, pp. 1-15, Oct 2021. [pdf]
  29. Shuguan Liu, Huiyan Wang, and Chang Xu. TIDY: A PBE-based Framework Supporting Smart Transformations for Entity Consistency in PowerPoint. Information and Software Technology (IST), Vol. 138, Article 106611, pp. 1-15, Oct 2021. [pdf]
  30. Dongjie Chen, Yanyan Jiang, Chang Xu, and Xiaoxing Ma. On Interleaving Space Exploration of Multi-threaded Programs. Frontiers of Computer Science (FCS), Vol. 15, Iss. 4, Article 154206, pp. 1-12, Aug 2021. [pdf]
  31. Huiyan Wang, Chang Xu, Bingying Guo, Xiaoxing Ma, and Jian Lu. Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. IEEE Transactions on Software Engineering (TSE), Vol. 47, Iss. 3, pp. 464-497, Mar 2021. [pdf]
  32. Chang Xu, Yi Qin, Ping Yu, Chun Cao, and Jian Lu. Theories and Techniques for Growing Software: Paradigm and Beyond (可成长软件理论方法和实现技术：从范型到跨越). Scientia Sinica Informationis (中国科学：信息科学), Vol. 50, No. 11, pp. 1595-1611, Nov 2020. [pdf]
  33. Yicheng Huang, Chang Xu, Yanyan Jiang, Huiyan Wang, and Da Li. WARDER: Towards Effective Spreadsheet Defect Detection by Validity-based Cell Cluster Refinements. The Journal of Systems and Software (JSS), Vol. 167, Article 110615, pp. 1-19, Sep 2020. [pdf]
  34. Huiyan Wang, Jingwei Xu, and Chang Xu. Survey on Runtime Input Validation for Context-aware Adaptive Software (环境感知自适应软件的运行时输入验证技术综述). Journal of Computer Science (计算机科学), Vol. 47, Iss. 6, pp. 1-7, Jun 2020.
  35. Yang Cao, Yanyan Jiang, Chang Xu, Jun Ma, and Xiaoxing Ma. Perspectives on Search Strategies in Automated Test Input Generation. Frontiers of Computer Science (FCS), Vol. 14, Iss. 3, Article 143202, Jun 2020. [pdf]
  36. Wenhua Yang, Chang Xu, Haibo Ye, Yu Zhou, and Zhiqiu Huang. Taxonomy of Uncertainty Factors in Intelligence-oriented Cyber-Physical Systems (智能化信息物理系统中非确定性的分类研究). Journal of Computer Science (计算机科学), Vol. 47, Iss. 3, pp. 11-18, Mar 2020.
  37. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu. CoMID: Context-based Multiinvariant Detection for Monitoring Cyber-physical Software. IEEE Transactions on Reliability (TR), Vol. 69, Iss. 1, pp. 106-123, Mar 2020. [pdf]
  38. Yi Qin, Chang Xu, Ziqi Chen, and Jian Lu. Software Testing for Cyber-physical Systems Suffering Uncertainty (面向环境非确定性的信息物理融合系统测试技术研究). Scientia Sinica Informationis (中国科学：信息科学), Vol. 49, No. 11, pp. 1428-1450, Nov 2019.
  39. Jue Wang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu. Automatic Test Input Generation for Android Applications (Android应用测试输入自动生成技术). Scientia Sinica Informationis (中国科学：信息科学), Vol. 49, No. 10, pp. 1234-1266, Oct 2019.
  40. Yepang Liu, Jue Wang, Lili Wei, Chang Xu, S.C. Cheung, Tianyong Wu, Jun Yan, and Jian Zhang. DroidLeaks: A Comprehensive Database of Resource Leaks in Android Apps. Empirical Software Engineering (EMSE), Vol. 24, pp. 3435-3483, 2019. [pdf][website]
  41. Chenxi Zhang, Xiangyu Wu, and Chang Xu. MultiOffloading: Android Application Platform Supporting Offloading Multiple Resources (MultiOffloading：支持多种资源借调的安卓应用平台). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), Vol. 12(9), pp. 1407-1419, 2018.
  42. Jue Wang, Yanyan Jiang, Chang Xu, Qiwei Li, Tianxiao Gu, Jun Ma, Xiaoxing Ma, and Jian Lu. AATT+: Effectively Manifesting Concurrency Bugs in Android Apps. Science of Computer Programming (SCP), Vol. 163, pp. 1-18, Oct 2018. [pdf]
  43. Yi Liu, Jue Wang, Chang Xu, Xiaoxing Ma, and Jian Lu. NavyDroid: An Efficient Tool of Energy Inefficiency Problem Diagnosis for Android Applications. Science China Information Sciences (SCIS), Vol. 61, Article 050103, pp. 1-20, May 2018. [pdf]
  44. Wenhua Yang, Chang Xu, Minxue Pan, Chun Cao, Xiaoxing Ma, and Jian Lu. Efficient Validation of Self-adaptive Applications by Counterexample Probability Maximization. The Journal of Systems and Software (JSS), Vol. 138, pp. 82-99, Apr 2018. [pdf]
  45. Wenhua Yang, Chang Xu, Minxue Pan, Xiaoxing Ma, and Jian Lu. Improving Verification Accuracy of CPS by Modeling and Calibrating Interaction Uncertainty. ACM Transactions on Internet Technology (TOIT), Vol. 18, No. 2, Article 20, pp. 1-37, Jan 2018. [pdf]
  46. Jiaxing Dong and Chang Xu. Efficient Clone Detection Technique for Functionally Similar Programs (一种面向功能类似程序的高效克隆检测技术). Journal of Computer Science (计算机科学), Vol. 44, Iss. 4, pp. 12-15, Apr 2017.
  47. Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu. Approaches to Obtaining Shared Memory Dependences for Dynamic Analysis of Concurrent Programs: A Survey (获取访存依赖：并发程序动态分析的基础技术综述). Journal of Software (JOS/软件学报), Vol. 28, Iss. 4, pp. 747-763, Apr 2017.
  48. Wensheng Dou, Chang Xu, S.C. Cheung, and Jun Wei. CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. IEEE Transactions on Software Engineering (TSE), Vol. 43, Iss. 3, pp. 226-251, Mar 2017. [pdf]
  49. Ruiqing Zhang, Chang Xu, S.C. Cheung, Ping Yu, Xiaoxing Ma, and Jian Lu. How Effectively can Spreadsheet Anomalies be Detected: An Empirical Study. The Journal of Systems and Software (JSS), Vol. 126, pp. 87-100, Feb 2017. [pdf]
  50. Qiwei Li, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. CyanDroid: Stable and Effective Energy Inefficiency Diagnosis for Android Apps. Science China Information Sciences (SCIS), Vol. 60, No. 1, Article 012104, pp. 1-18, Jan 2017. [pdf]
  51. Yi Qin, Chang Xu, Ping Yu, and Jian Lu. SIT: Sampling-based Interactive Testing for Self-adaptive Apps. The Journal of Systems and Software (JSS), Vol. 120, pp. 70-99, Oct 2016. [pdf]
  52. Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu, and Jian Lu. Suppressing Detection of Inconsistency Hazards with Pattern Learning. Information and Software Technology (IST), Vol. 74, pp. 219-229, Jun 2016. [pdf]
  53. Jun Sui, Chang Xu, S.C. Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu. Hybrid CPU-GPU Constraint Checking: Towards Efficient Context Consistency. Information and Software Technology (IST), Vol. 74, pp. 230-242, Jun 2016. [pdf]
  54. Xiaofan Li and Chang Xu. Design and Implementation of Vehicle Remote Control and Independent Way-finding System (小车远程控制及自主寻路系统的设计与实现). Journal of Computer Science (计算机科学), Vol. 42, Iss. 12, pp. 98-101, Dec 2015.
  55. Chang Xu, Wang Xi, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu. CINA: Suppressing the Detection of Unstable Context Inconsistency. IEEE Transactions on Software Engineering (TSE), Vol. 41, Iss. 9, pp. 842-865, Sep 2015. [pdf1, pdf2, correction for the formal version]
  56. Xiaokang Chen, Chang Xu, and Lei Jiang. Hybrid-fixing: Toward Sound Fixing of Context Inconsistency (Hybrid-fixing：上下文一致性错误的正确修复). Journal of Computer Research and Development (CRAD/计算机研究与发展), Vol. 52, Iss. 6, pp. 1443-1451, Jun 2015.
  57. Wenhua Yang, Yepang Liu, Chang Xu, and S.C. Cheung. A Survey on Dependability Improvement Techniques for Pervasive Computing Systems. Science China Information Sciences (SCIS), Vol. 58, No. 5, Article 052102, pp. 1-14, May 2015. [pdf]
  58. Yepang Liu, Chang Xu, and S.C. Cheung. Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. IEEE Software, Vol. 32, Iss. 1, pp. 67-75, Feb 2015. [pdf]
  59. Chang Xu and Laura Dillon. SEES Summary: Software Engineering Educators Symposium 2014. Software Engineering Notes, Vol. 40, Iss. 1, pp. 38-39, Jan 2015. [pdf]
  60. Yepang Liu, Chang Xu, and S.C. Cheung. Detecting Energy and Performance Bugs for Smartphone Applications (智能手机应用的能耗与性能问题诊断). Communications of the CCF (CCCF/中国计算机学会通讯), Vol. 10, No. 12, pp. 40-42, Dec 2014.
  61. Lei Jiang, Chang Xu, and Xiaokang Chen. Search-based Automated Resolution of Context Inconsistency (基于搜索的上下文一致性错误处理). Journal of Computer Science (计算机科学), Vol. 41, No. 11, pp. 40-45, Nov 2014.
  62. Yepang Liu, Chang Xu, S.C. Cheung, and Wenhua Yang. CHECKERDROID: Automated Quality Assurance for Smartphone Applications. International Journal of Software and Informatics (IJSI), Vol. 8, Iss. 1, pp. 21-41, 2014. [pdf]
  63. Yepang Liu, Chang Xu, S.C. Cheung, and Jian Lu. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. IEEE Transactions on Software Engineering (TSE), Vol. 40, Iss. 9, pp. 911-940, Sep 2014. [pdf]
  64. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Linghao Zhang, and Jian Lu. Low-disruptive Dynamic Updating of Java Applications. Information and Software Technology (IST), Vol. 56, Iss. 9, pp. 1086-1098, Sep 2014. [pdf]
  65. Hui Sun, Xuezhi Hong, Chang Xu, and Xiaoxing Ma. Cross-Platform Software Framework for Self-Adaptive Mobile Robot Systems (面向移动机器人应用的跨平台自适应软件框架). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), Vol. 8, No. 5, pp. 550-561, May 2014.
  66. Wang Xi, Chang Xu, Wenhua Yang, and Xuezhi Hong. How Context Inconsistency and Its Resolution Impact Context-aware Applications (上下文一致性错误及其处理对应用的影响). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), Vol. 8, No. 4, pp. 427-437, Apr 2014.
  67. Chang Xu, Yepang Liu, S.C. Cheung, Chun Cao, and Jian Lu. Towards Context Consistency by Concurrent Checking for Internetware Applications. Science China Information Sciences (SCIS), Vol. 56, Iss. 8, Article 082105, pp. 1-20, Aug 2013. [pdf]
  68. Xiaokang Chen, Chang Xu, and Lei Jiang. Automated Fixing of Inconsistent Contexts (非一致上下文的自动修复技术). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), Vol. 7, No. 4, pp. 326-336, Apr 2013.
  69. Yepang Liu, Chang Xu, and S.C. Cheung. AFChecker: Effective Model Checking for Context-aware Adaptive Applications. The Journal of Systems and Software (JSS), Vol. 86, Iss. 3, pp. 854-867, Mar 2013. [pdf][website]
  70. Chang Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu. Detecting Faults in Context-aware Adaptation. International Journal of Software and Informatics (IJSI), Vol. 7, Iss. 1, pp. 85-111, Jan 2013. [pdf]
  71. Jian Lu, Xiaoxing Ma, Xianping Tao, Yu Huang, Ping Yu, and Chang Xu. Explicit Environmental Constructs for Internetware (面向网构软件的环境显式化技术). Scientia Sinica Informationis (中国科学：信息科学), Vol. 43, No. 1, pp. 1-23, Jan 2013.
  72. Chang Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu. ADAM: Identifying Defects in Context-aware Adaptation. The Journal of Systems and Software (JSS), Vol. 85, Iss. 12, pp. 2812-2828, Dec 2012. [pdf]
  73. Hao Chen, Hui Sun, Chang Xu, and Xiaoxing Ma. A Mobile Robot Middleware Supporting Self-adaptive Programming (一种支持自适应程序设计的移动机器人中间件). Journal of Computer Science (计算机科学), Vol. 39, No. 10, pp. 119-124, Oct 2012.
  74. Hailong Ge, Xiaoxing Ma, and Chang Xu. Constructing Self-adaptive Software Systems: A Case Study with An Obstacle-avoiding Mini-car (自适应软件系统构造――自动避障三轮小车的案例研究). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), Vol. 6, No. 5, pp. 409-418, May 2012.
  75. Chang Xu, S.C. Cheung, Chun Cao, and Jian Lu. 面向普适软件的上下文管理：挑战与机遇. 四方国件, Vol. 7, pp. 20-25, Jul 2011.
  76. Chushu Gao, Jun Wei, Chang Xu, and S.C. Cheung. Sequential Event Pattern Based Design of Context-aware Adaptive Application. International Journal of Software and Informatics (IJSI), Vol. 4, No. 4, pp. 419-436, Dec 2010. [pdf]
  77. An Lu, Wenbin Fang, Chang Xu, S.C. Cheung, and Yu Liu. Data-driven Testing Methodology for RFID Systems. Frontiers of Computer Science (FCS), Vol. 4, No. 3, pp. 354-364, 2010. [pdf]
  78. Chang Xu, S.C. Cheung, W.K. Chan, and Chunyang Ye. Partial Constraint Checking for Context Consistency in Pervasive Computing. ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 19, No. 3, Article 9, pp. 1-61, Jan 2010. [pdf1, pdf2]
  79. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Atomicity Analysis of Service Composition across Organizations. IEEE Transactions on Software Engineering (TSE), Vol. 35, No. 1, pp. 2-28, Jan-Feb 2009. [pdf]
  80. Xin Zhang, Chang Xu, and Beihong Jin. Research and Implementation of High Performance and Extensible Distributed Transaction Service. Journal of Mini-micro Systems, Vol. 26, No. 6, Jun 2005.
  81. Chang Xu, Xiaofang Chen, and Beihong Jin. Performance Optimization for a Distributed Transaction Manager. Journal of Computer Engineering and Design, Vol. 25, No. 8, Dec 2004.
  82. Chang Xu and Beihong Jin. Conformance Test of Distributed Transaction Service. Journal of Computer Engineering, Vol. 30, No. 11, Jun 2004.

Conference/Symposium/Workshop Publications

  1. Weijie Sun, Huiyan Wang, Ying Wang, and Chang Xu. Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ROS Central Index. In Proceedings of the 35th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026) / Proceedings of the ACM on Software Engineering (Vol. XX, No. ISSTA), Article XX, pp. XX-XX, Oakland, CA, USA, Oct 2026, forthcoming. [acceptance rate: XX%][pdf]
  2. Wenjie Li, Weiwei Jiang, Cong Li, Yepang Liu, Kaizhong Zuo, and Chang Xu. Understanding and Detecting Accessibility Issues in Ageing-Fit Mobile Applications. In Proceedings of the 42nd International Conference on Software Maintenance and Evolution (ICSME 2026), pp. XX-XX, Benevento, Italy, Sep 2026, forthcoming. [acceptance rate: 26.5%][pdf]
  3. Yingying Jiang, Zhiyuan Liu, Huiyan Wang, and Chang Xu. Mitigating Code Style Gaps via Reference-Aware Style Transfer. In Proceedings of the 26th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2026), pp. XX-XX, Florence, Italy, Jul 2026, forthcoming. [acceptance rate: 25.9%][pdf]
  4. Qinlin Chen, Nairen Zhang, Jinpeng Wang, Jiacai Cui, Tian Tan, Xiaoxing Ma, Chang Xu, Jian Lu, and Yue Li. Exploiting Sophisticated Static Analysis for Verilog. In Proceedings of the 47th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2026) / Proceedings of the ACM on Programming Languages (Vol. 10, No. PLDI), Article 222, pp. 1327-1355, Boulder, Colorado, USA, Jun 2026. [acceptance rate: 26.6%][pdf]
  5. Zhiyong Chen, Jialun Cao, Chang Xu, and Shing-Chi Cheung. ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair. In Proceedings of the 27th International Symposium on Formal Methods (FM 2026 Short Tool), pp. 211-219, Tokyo, Japan, May 2026. [pdf]
  6. Yufei Liang, Teng Zhang, Ganlin Li, Tian Tan, Chang Xu, Chun Cao, Xiaoxing Ma, and Yue Li. Pointer Analysis for Database-Backed Applications. In Proceedings of the 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025) / Proceedings of the ACM on Programming Languages (Vol. 9, No. PLDI), Article 204, pp. 1-25, Seoul, South Korea, Jun 2025. [acceptance rate: 28.5%][pdf]
  7. Teng Zhang, Yufei Liang, Ganlin Li, Tian Tan, Chang Xu, and Yue Li. Bridge the Islands: Pointer Analysis for Microservice Systems. In Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2025) / Proceedings of the ACM on Software Engineering (Vol. 2, No. ISSTA), Article 23, pp. 1-23, Trondheim, Norway, Jun 2025. [acceptance rate: 19.4%][pdf]
  8. [ACM SIGSOFT Distinguished Paper Award] Chenxi Zhang, Yufei Liang, Tian Tan, Chang Xu, Shuangxiang Kan, Yulei Sui, and Yue Li. Interactive Cross-Language Pointer Analysis for Resolving Native Code in Java Programs. In Proceedings of the 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025), pp. 1089-1100, Ottawa, Ontario, Candana, Apr-May 2025. [acceptance rate: 21.3%][pdf]
  9. [Best Student Paper Award] Hanzhi Liu, Yanyan Jiang, and Chang Xu. Understanding the Linux Kernel, Visually. In Proceedings of the 20th ACM European Conference on Computer Systems (EuroSys 2025), pp. 1044-1060, Rotterdam, The Netherlands, Mar-Apr 2025. [acceptance rate: 12.2%][pdf]
  10. Xianfei Ou, Cong Li, Yanyan Jiang, and Chang Xu. The Mutators Reloaded: Fuzzing Compilers with Large Language Model Generated Mutation Operators. In Proceedings of the ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024), pp. 298-312, Rotterdam, The Netherlands, Mar-Apr 2025. [acceptance rate: 18.5%][pdf]
  11. Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, and Chang Xu. JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models. In Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), pp. 870-882, Sacramento, California, USA, Oct-Nov 2024. [acceptance rate: 27.3%][pdf]
  12. Daohan Qu, Chaoyi Zhao, Yanyan Jiang, and Chang Xu. Towards Life-long Software Self-validation in Production. In Proceedings of the 15th Asia-Pacific Symposium on Internetware (INTERNETWARE 2024), pp. 357-366, Macau, China, Jul 2024. [pdf]
  13. Mingchen Gao, Huiyan Wang, and Chang Xu. Testing Constraint Checking Implementations via Principled Metamorphic Transformations. In Proceedings of the 31st IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2024), pp. 884-895, Rovaniemi, Finland, Mar 2024. [acceptance rate: 25.6%][pdf]
  14. Huiyan Wang, Shuguan Liu, Lingyu Zhang, and Chang Xu. Automatically Resolving Dependency-Conflict Building Failures via Behavior-Consistent Loosening of Library Version Constraints. In Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2023), pp. 198-210, San Francisco, California, USA, Dec 2023. [acceptance rate: 27.0%][pdf]
  15. [Best Paper Award] Cong Li, Yanyan Jiang, Chang Xu, and Zhendong Su. Validating JIT Compilers via Compilation Space Exploration. In Proceedings of the 29th ACM Symposium on Operating Systems Principles (SOSP 2023), pp. 66-79, Koblenz, Germany, Oct 2023. [acceptance rate: 18.8%][pdf]
  16. [Distinguished Artifact] Qinlin Chen, Nairen Zhang, Jinpeng Wang, Tian Tan, Chang Xu, Xiaoxing Ma, and Yue Li. The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2023) / Proceedings of the ACM on Programming Languages (Vol. 7, Iss. OOPSLA2), Article 230, pp. 1-30, Cascais, Portugal, Oct 2023. [acceptance rate: 36.1%][pdf]
  17. Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li. Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis. In Proceedings of the 44th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2023) / Proceedings of the ACM on Programming Languages (Vol. 7, No. PLDI), Article 128, pp. 1-26, Orlando, Florida, USA, Jun 2023. [acceptance rate: 29.2%][pdf]
  18. Jue Wang, Yanyan Jiang, Ting Su, Shaohua Li, Chang Xu, Jian Lu, and Zhendong Su. Detecting Non-crashing Functional Bugs in Android Apps via Deep-State Differential Analysis. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), pp. 434-446, Singapore, Nov 2022. [acceptance rate: 22.0%][pdf]
  19. Cong Li, Yanyan Jiang, and Chang Xu. Cross-Device Record and Replay for Android Apps. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2022), pp. 395-407, Singapore, Nov 2022. [acceptance rate: 22.0%][pdf]
  20. [Best Paper Candidate] Chuyang Chen, Huiyan Wang, Lingyu Zhang, Chang Xu, and Ping Yu. Minimizing Link Generation in Constraint Checking for Context Inconsistency Detection. In Proceedings of the 33rd International Symposium on Software Reliability Engineering (ISSRE 2022), pp. 13-24, Charlotte, North Carolina, USA, Oct-Nov 2022. [acceptance rate: 29.0%][pdf]
  21. Lingyu Zhang, Huiyan Wang, Chang Xu, and Ping Yu. INFUSE: Towards Efficient Context Consistency by Incremental-Concurrent Check Fusion. In Proceedings of the 38th International Conference on Software Maintenance and Evolution (ICSME 2022), pp. 187-198, Limassol, Cyprus, Oct 2022. [acceptance rate: 23.5%][pdf]
  22. Huiyan Wang, Ziqi Chen, and Chang Xu. Freeze and Mutate: Abnormal Sample Identification for DL Applications through Model Core Analyses. In Proceedings of the 13th Asia-Pacific Symposium on Internetware (INTERNETWARE 2022), Hohhot, China, Jun 2022. [pdf]
  23. Cong Li, Yanyan Jiang, and Chang Xu. Push-Button Synthesis of Watch Companions for Android Apps. In Proceedings of the 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022), pp. 1793-1804, Pittsburgh, PA, USA, May 2022. [acceptance rate: 28.5%][pdf]
  24. Wenjie Li, Yanyan Jiang, Jun Ma, and Chang Xu. Automatic Performance Testing for Image Displaying in Android Apps. In Proceedings of the 28th Asia-Pacific Software Engineering Conference (APSEC 2021), pp. 367-376, Taipei, Taiwan, Dec 2021. [acceptance rate: 33.3%][pdf]
  25. Tian Tan, Yue Li, Xiaoxing Ma, Chang Xu, and Yannis Smaragdakis. Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2021) / Proceedings of the ACM on Programming Languages (Vol. 5, Iss. OOPSLA), Article 147, pp. 1-27, Chicago, Illinois, USA, Oct 2021. [acceptance rate: 34.6%][pdf]
  26. Yanxiang Tong, Yi Qin, Yanyan Jiang, Chang Xu, Chun Cao, and Xiaoxing Ma. Timely and Accurate Detection of Model Deviation in Self-adaptive Software-intensive Systems. In Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2021), pp. 168-180, Athens, Greece, Aug 2021. [acceptance rate: 24.2%][pdf]
  27. [ACM SIGSOFT Distinguished Paper Award and ACM Europe Council Best Paper Award] Zelin Zhao, Yanyan Jiang, Chang Xu, Tianxiao Gu, and Xiaoxing Ma. Synthesizing Object State Transformers for Dynamic Software Updates. In Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), pp. 1111-1122, Madrid, Spain, May 2021. [acceptance rate: 22.4%][pdf]
  28. [ACM SIGSOFT Distinguished Paper Award] Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, and Zhiliang Zhu. Hero: On the Chaos When PATH Meets Modules. In Proceedings of the 43rd ACM/IEEE International Conference on Software Engineering (ICSE 2021), pp. 99-111, Madrid, Spain, May 2021. [acceptance rate: 22.4%][pdf]
  29. Jinchi Chen, Yi Qin, Huiyan Wang, and Chang Xu. Simulated or Physical? An Empirical Study on Input Validation for Context-aware Systems in Different Environments. In Proceedings of the 12th Asia-Pacific Symposium on Internetware (INTERNETWARE 2020), pp. 146-155, Singapore, May 2021. [pdf]
  30. Shuguan Liu, Huiyan Wang, and Chang Xu. TIDY: A PBE-based Framework Supporting Smart Transformations for Entity Consistency in PowerPoint. In Proceedings of the 12th Asia-Pacific Symposium on Internetware (INTERNETWARE 2020), Singapore, May 2021. [pdf]
  31. Zenan Li, Xiaoxing Ma, Chang Xu, Jingwei Xu, Chun Cao, and Jian Lu. Operational Calibration: Debugging Confidence Errors for DNNs in the Field. In Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), pp. 901-913, Sacramento, California, USA, Nov 2020. [acceptance rate: 28.1%][pdf]
  32. Yingzhuo Yang and Chang Xu. M.R. Hunter: Hunting for Metamorphic Relations by Puzzle Solving. In Proceedings of the ICSE 5th International Workshop on Metamorphic Testing (MET 2020), pp. 404-409, Seoul, South Korea, May 2020.
  33. Huiyan Wang, Jingwei Xu, Chang Xu, Xiaoxing Ma, and Jian Lu. DISSECTOR: Input Validation for Deep Learning Applications by Crossing-layer Dissection. In Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE 2020), pp. 727-738, Seoul, South Korea, May 2020. [acceptance rate: 20.9%][pdf]
  34. Jue Wang, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, and Jian Lu. ComboDroid: Generating High-Quality Test Inputs for Android Apps via Use Case Combinations. In Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE 2020), pp. 469-480, Seoul, South Korea, May 2020. [acceptance rate: 20.9%][pdf]
  35. Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu. Testing File System Implementations on Layered Models. In Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE 2020), pp. 1483-1495, Seoul, South Korea, May 2020. [acceptance rate: 20.9%][pdf]
  36. Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, and Zhiliang Zhu. Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem. In Proceedings of the 42nd ACM/IEEE International Conference on Software Engineering (ICSE 2020), pp. 125-135, Seoul, South Korea, May 2020. [acceptance rate: 20.9%][pdf][website]
  37. Ziqi Chen, Huiyan Wang, Chang Xu, Xiaoxing Ma, and Chun Cao. Vision: Evaluating Scenario Suitableness for DNN Models by Mirror Synthesis. In Proceedings of the 26th Asia-Pacific Software Engineering Conference (APSEC 2019), pp. 78-85, Putrajaya, Malaysia, Dec 2019. [acceptance rate: 34.7%][pdf]
  38. Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, and Xiaoxing Ma. SGUARD: A Feature-based Clustering Tool for Effective Spreadsheet Defect Detection. In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019 Tool Demo), pp. 1142-1145, San Diego, California, USA, Nov 2019. [acceptance rate: 53.7%][pdf]
  39. Zenan Li, Xiaoxing Ma, Chang Xu, Chun Cao, Jingwei Xu, and Jian Lu. Boosting Operational DNN Testing Efficiency through Conditioning. In Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019), pp. 499-509, Tallinn, Estonia, Aug 2019. [acceptance rate: 24.4%][pdf]
  40. Da Li, Huiyan Wang, Chang Xu, Fengmin Shi, Xiaoxing Ma, and Jian Lu. WARDER: Refining Cell Clustering for Effective Spreadsheet Defect Detection via Validity Properties. In Proceedings of the 19th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2019), pp. 139-150, Sofia, Bulgaria, Jul 2019. [acceptance rate: 22.3%][pdf]
  41. Zenan Li, Xiaoxing Ma, Chang Xu, and Chun Cao. Structural Coverage Criteria for Neural Networks Could Be Misleading. In Proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019 NIER), pp. 89-92, Montreal, QC, Canada, May 2019. [acceptance rate: 27.2%][pdf]
  42. Tianxiao Gu, Chengnian Sun, Xiaoxing Ma, Chun Cao, Chang Xu, Yuan Yao, Qirun Zhang, Jian Lu, and Zhendong Su. Practical GUI Testing of Android Applications via Model Abstraction and Refinement. In Proceedings of the 41st ACM/IEEE International Conference on Software Engineering (ICSE 2019), pp. 269-280, Montreal, QC, Canada, May 2019. [acceptance rate: 20.6%][pdf]
  43. Wenjie Li, Yanyan Jiang, Chang Xu, Yepang Liu, Xiaoxing Ma, and Jian Lu. Characterizing and Detecting Inefficient Image Displaying Issues in Android Apps. In Proceedings of the 26th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2019), pp. 355-365, Hangzhou, Zhejiang, China, Feb 2019. [acceptance rate: 27.0%][pdf]
  44. Cong Li, Chang Xu, Lili Wei, Jue Wang, Jun Ma, and Jian Lu. ELEGANT: Towards Effective Location of Fragmentation-Induced Compatibility Issues for Android Apps. In Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pp. 278-287, Nara, Japan, Dec 2018. [acceptance rate: 27.2%][pdf]
  45. Dongjie Chen, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Jian Lu. Testing Multithreaded Programs via Thread Speed Control. In Proceedings of the 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018), pp. 15-25, Lake Buena Vista, Florida, USA, Nov 2018. [acceptance rate: 18.6%][pdf]
  46. Shengtao Yue, Jun Ma, Qingwei Sun, Xianping Tao, Chang Xu, and Jian Lu. RegionDroid: A Tool for Detecting Android Application Repackaging Based on Runtime UI Region Features. In Proceedings of the 34th IEEE International Conference on Software Maintenance and Evolution (ICSME 2018), pp. 352-362, Madrid, Spain, Sep 2018. [acceptance rate: 21.3%]
  47. [ACM SIGSOFT Distinguished Paper Award] Yuju Shen, Yanyan Jiang, Chang Xu, Ping Yu, Xiaoxing Ma, and Jian Lu. ReScue: Crafting Regular Expression DoS Attacks. In Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018), pp. 225-235, Corum, Montpellier, France, Sep 2018. [acceptance rate: 19.4%][pdf]
  48. Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu. Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis. In Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP 2018), Article 19, pp. 1-28, Amsterdam, Netherlands, Jul 2018. [acceptance rate: 39.4%][pdf]
  49. Yi Qin, Huiyan Wang, Chang Xu, Xiaoxing Ma, and Jian Lu. SynEva: Evaluating ML Programs by Mirror Program Synthesis. In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS 2018), pp. 171-182, Lisbon, Portugal, Jul 2018. [acceptance rate: 19.3%][pdf]
  50. Dawei Cheng, Chun Cao, Chang Xu, and Xiaoxing Ma. Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing. In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS 2018), pp. 313-324, Lisbon, Portugal, Jul 2018. [acceptance rate: 19.3%]
  51. Jiarong Wu, Yanyan Jiang, Chang Xu, S.C. Cheung, Xiaoxing Ma, and Jian Lu. Synthesizing Relation-Aware Entity Transformation by Examples. In Proceedings of the 40th International Conference on Software Engineering (ICSE 2018 Poster), pp. 266-267, Gothenburg, Sweden, May-Jun 2018. [pdf]
  52. Jun Ma, Shaocong Liu, Yanyan Jiang, Xianping Tao, Chang Xu, and Jian Lu. LESdroid: A Tool for Detecting Exported Service Leaks of Android Applications. In Proceedings of the 26th IEEE International Conference on Program Comprehension (ICPC 2018), pp. 244-254, Gothenburg, Sweden, May 2018. [acceptance rate: 37.7%]
  53. Yanyan Jiang and Chang Xu. Needle: Detecting Code Plagiarism on Student Submissions. In Proceedings of the ACM Turing Celebration Conference (TURC 2018), pp. 27-32, Shanghai, China, May 2018. [pdf]
  54. Chenxi Zhang, Xiangyu Wu, and Chang Xu. Design and Implementation of an Android Application Offloading Platform (Android应用Offloading平台的设计与实现). In Proceedings of the National Software Application Conference (NASAC 2017), Article 53, pp. 1-12, Haerbin, Heilongjiang, China, Nov 2017.
  55. Yi Liu, Jue Wang, Chang Xu, and Xiaoxing Ma. NavyDroid: Detecting Energy Inefficiency Problems for Smartphone Applications. In Proceedings of the 9th Asia-Pacific Symposium on Internetware (INTERNETWARE 2017), Article 8, pp. 1-10, Shanghai, China, Sep 2017. [pdf]
  56. Bingying Guo, Huiyan Wang, Chang Xu, and Jian Lu. GEAS: Generic Adaptive Scheduling for High-efficiency Context Inconsistency Detection. In Proceedings of the 33rd IEEE International Conference on Software Maintenance and Evolution (ICSME 2017), pp. 137-147, Shanghai, China, Sep 2017. [acceptance rate: 27.8%][pdf]
  57. Shengtao Yue, Weizan Feng, Jun Ma, Yanyan Jiang, Xianping Tao, Chang Xu, and Jian Lu. RepDroid: An Automated Tool for Android Application Repackaging Detection. In Proceedings of the 25th IEEE International Conference on Program Comprehension (ICPC 2017), pp. 132-142, Buenos Aires, Argentina, May 2017. [acceptance rate: 33.7%]
  58. Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, and Jian Lu. Synthesizing Object Transformation for Dynamic Software Updating. In Proceedings of the 39th International Conference on Software Engineering (ICSE 2017 Poster), pp. 336-338, Buenos Aires, Argentina, May 2017. [pdf]
  59. Xiangyu Wu, Yanyan Jiang, Chang Xu, Chun Cao, Xiaoxing Ma, and Jian Lu. Testing Android Apps via Guided Gesture Event Generation. In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), pp. 201-208, Hamilton, New Zealand, Dec 2016. [acceptance rate: 19.7%][pdf]
  60. Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lu. Effectively Manifesting Concurrency Bugs in Android Apps. In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), pp. 209-216, Hamilton, New Zealand, Dec 2016. [acceptance rate: 19.7%][pdf]
  61. Tianxiao Gu, Zelin Zhao, Xiaoxing Ma, Chang Xu, Chun Cao, and Jian Lu. Improving Reliability of Dynamic Software Updating Using Runtime Recovery. In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), pp. 257-264, Hamilton, New Zealand, Dec 2016. [acceptance rate: 19.7%][pdf]
  62. Zelin Zhao, Tianxiao Gu, Xiaoxing Ma, Chang Xu, and Jian Lu. CURE: Automated Patch Generation for Dynamic Software Update. In Proceedings of the 23rd Asia-Pacific Software Engineering Conference (APSEC 2016), pp. 249-256, Hamilton, New Zealand, Dec 2016. [acceptance rate: 19.7%][pdf]
  63. Yanyan Jiang, Chang Xu, Du Li, Xiaoxing Ma, and Jian Lu. Online Shared Memory Dependence Reduction via Bisectional Coordination. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), pp. 822-832, Seattle, WA, USA, Nov 2016. [acceptance rate: 27.1%][pdf]
  64. Yanyan Jiang, Haicheng Chen, Feng Qin, Chang Xu, Xiaoxing Ma, and Jian Lu. Crash Consistency Validation Made Easy. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), pp. 133-143, Seattle, WA, USA, Nov 2016. [acceptance rate: 27.1%][pdf]
  65. [Platinum-level Artifact] Yepang Liu, Chang Xu, Shing-Chi Cheung, and Valerio Terragni. Understanding and Detecting Wake Lock Misuses for Android Applications. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), pp. 396-409, Seattle, WA, USA, Nov 2016. [acceptance rate: 27.1%][pdf]
  66. Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, and Jun Wei. Detecting Table Clones and Smells in Spreadsheets. In Proceedings of the 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE 2016), pp. 787-798, Seattle, WA, USA, Nov 2016. [acceptance rate: 27.1%][pdf]
  67. Jue Wang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu. E-GreenDroid: Effective Energy Inefficiency Analysis for Android Applications. In Proceedings of the 8th Asia-Pacific Symposium on Internetware (INTERNETWARE 2016), pp. 71-80, Beijing, China, Sep 2016. [pdf]
  68. Huiyan Wang, Chang Xu, Jun Sui, and Jian Lu. How Effective is Branch-based Combinatorial Testing? An Exploratory Study. In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS 2016), pp. 41-52, Vienna, Austria, Aug 2016. [acceptance rate: 29.1%][pdf]
  69. Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, and Chang Xu. Verifying Distributed Controllers with Local Invariants. In Proceedings of the International Conference on Software Quality, Reliability and Security (QRS 2016), pp. 120-131, Vienna, Austria, Aug 2016. [acceptance rate: 29.1%]
  70. S.C. Cheung, Wanjun Chen, Yepang Liu, and Chang Xu. CUSTODES: Automatic Spreadsheet Cell Clustering and Smell Detection Using Strong and Weak Features. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), pp. 464-475, Austin, TX, USA, May 2016. [acceptance rate: 19.1%][pdf]
  71. Ying Zhang, Yanyan Jiang, Chang Xu, Xiaoxing Ma, and Ping Yu. ABC: Accelerated Building of C/C++ Projects. In Proceedings of the 22nd Asia-Pacific Software Engineering Conference (APSEC 2015), pp. 182-189, New Delhi, India, Dec 2015. [acceptance rate: 29.2%][pdf]
  72. Yanyan Jiang, Du Li, Chang Xu, Xiaoxing Ma, and Jian Lu. Optimistic Shared Memory Dependence Tracing. In Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pp. 524-534, Lincoln, Nebraska, USA, Nov 2015. [acceptance rate: 20.8%][pdf]
  73. Jiaxing Dong and Chang Xu. An Efficient Clone Detection Technique for Functionally Similar Programs (一种面向功能类似程序的高效克隆检测技术). In Proceedings of the National Software Application Conference (NASAC 2015), Article 43, pp. 1-5, Wuhan, Hubei, China, Nov 2015.
  74. Zhanshuai Meng, Yanyan Jiang, and Chang Xu. Facilitating Reusable and Scalable Automated Testing and Analysis for Android Apps. In Proceedings of the 7th Asia-Pacific Symposium on Internetware (INTERNETWARE 2015), pp. 166-175, Wuhan, Hubei, China, Nov 2015. [pdf]
  75. Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, and Chang Xu. An Event-based Formal Framework for Dynamic Software Update. In Proceedings of the IEEE International Conference on Software Quality, Reliability and Security (QRS 2015), pp. 173-182, Vancouver, Canada, Aug 2015. [acceptance rate: 22.0%]
  76. Hao Jin, Yanyan Jiang, Na Liu, Chang Xu, Xiaoxing Ma, and Jian Lu. Concolic Metamorphic Debugging. In Proceedings of the 39th Annual International Computers, Software and Applications Conference (COMPSAC 2015), pp. 232-241, Taichung, Taiwan, Jul 2015. [acceptance rate: 20.0%][pdf]
  77. Xiangyu Wu, Chang Xu, Ziling Lu, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu. CoseDroid: Effective Computation- and Sensing-offloading for Android Apps. In Proceedings of the 39th Annual International Computers, Software and Applications Conference (COMPSAC 2015), pp. 632-637, Taichung, Taiwan, Jul 2015. [pdf]
  78. [Best Paper Award] Wang Xi, Chang Xu, Wenhua Yang, Ping Yu, Xiaoxing Ma, and Jian Lu. SHAP: Suppressing the Detection of Inconsistency Hazards by Pattern Learning. In Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC 2014), pp. 414-421, Jeju, Korea, Dec 2014. [acceptance rate: 29.6%][pdf]
  79. Xiujiang Li, Yanyan Jiang, Yepang Liu, Chang Xu, Xiaoxing Ma, and Jian Lu. User Guided Automation for Testing Mobile Apps. In Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC 2014), pp. 27-34, Jeju, Korea, Dec 2014. [acceptance rate: 29.6%][pdf]
  80. Jun Sui, Chang Xu, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, and Jian Lu. GAIN: GPU-based Constraint Checking for Context Consistency. In Proceedings of the 21st Asia-Pacific Software Engineering Conference (APSEC 2014), pp. 342-349, Jeju, Korea, Dec 2014. [acceptance rate: 29.6%][pdf]
  81. Zelin Zhao, Xiaoxing Ma, Chang Xu, and Wenhua Yang. Automated Recommendation of Dynamic Software Update Points: An Exploratory Study. In Proceedings of the 6th Asia-Pacific Symposium on Internetware (INTERNETWARE 2014), pp. 136-144, Hong Kong, China, Nov 2014. [pdf]
  82. Yida Tao, Jindae Kim, Sunghun Kim, and Chang Xu. Automatically Generated Patches as Debugging Aids: A Human Study. In Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE 2014), pp. 64-74, Hong Kong, China, Nov 2014. [acceptance rate: 22.3%][pdf]
  83. Xiaofan Li and Chang Xu. Design and Implementation of a Vehicle Remote Control and Independent Way-finding System (小车远程控制及自主寻路系统的设计与实现). In Proceedings of the National Software Application Conference (NASAC 2014), Article 36, pp. 1-5, Guilin, Guangxi, China, Nov 2014.
  84. Zelin Zhao, Xiaoxing Ma, and Chang Xu. Automated Recommendation of Dynamic Software Update Points: A Preliminary Study (软件动态更新点自动推荐技术初探). In Proceedings of the National Software Application Conference (NASAC 2014), Article 45, pp. 1-8, Guilin, Guangxi, China, Nov 2014.
  85. Wenhua Yang, Chang Xu, Yepang Liu, Chun Cao, Xiaoxing Ma, and Jian Lu. Verifying Self-adaptive Applications Suffering Uncertainty. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), pp. 199-209, Vasteras, Sweden, Sep 2014. [acceptance rate: 20.0%][pdf]
  86. Yanyan Jiang, Tianxiao Gu, Chang Xu, Xiaoxing Ma, and Jian Lu. CARE: Cache Guided Deterministic Replay for Concurrent Java Programs. In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), pp. 457-467, Hyderabad, India, May-Jun 2014. [acceptance rate: 20.0%][pdf]
  87. [ACM SIGSOFT Distinguished Paper Award] Yepang Liu, Chang Xu, and S.C. Cheung. Characterizing and Detecting Performance Bugs for Smartphone Applications. In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), pp. 1013-1024, Hyderabad, India, May-Jun 2014. [acceptance rate: 20.0%][pdf][website]
  88. Yanyan Jiang, Chang Xu, and Xiaoxing Ma. DPAC: An Infrastructure for Dynamic Program Analysis of Concurrency Java Programs. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium), Article 2, pp. 1-6, Beijing, China, Dec 2013. [pdf]
  89. Wenhua Yang, Chang Xu, and Linghao Zhang. IDEA: Improving Dependability for Self-Adaptive Applications. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium), Article 1, pp. 1-6, Beijing, China, Dec 2013. [pdf]
  90. Yepang Liu and Chang Xu. VeriDroid: Automating Android Application Verification. In Proceedings of the ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE 2013 Doctoral Symposium), Article 5, pp. 1-6, Beijing, China, Dec 2013. [pdf]
  91. Chang Xu, Wenhua Yang, Xiaoxing Ma, Chun Cao, and Jian Lu. Environment Rematching: Toward Dependability Improvement for Self-Adaptive Applications. In Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE 2013), pp. 592-597, Silicon Valley, California, USA, Nov 2013. [acceptance rate: 23.3%][pdf]
  92. Xiaokang Chen, Chang Xu, and Lei Jiang. Hybrid-fixing: Toward Sound Fixing of Context Inconsistency (Hybrid-fixing：上下文一致性错误的正确修复). In Proceedings of the National Software Application Conference (NASAC 2013), Article 12, pp. 1-9, Tianjin, China, Nov 2013.
  93. Lei Jiang, Chang Xu, and Xiaokang Chen. Search-based Automated Resolution of Context Inconsistency (基于搜索的上下文一致性错误处理). In Proceedings of the National Software Application Conference (NASAC 2013), Article 16, pp. 1-8, Tianjin, China, Nov 2013.
  94. Hui Sun, Xuezhi Hong, Chang Xu, and Xiaoxing Ma. A Cross-Platform Software Framework for Self-Adaptive Mobile Robot Systems (一个面向移动机器人应用的跨平台自适应软件框架). In Proceedings of the National Software Application Conference (NASAC 2013), Article 61, pp. 1-12, Tianjin, China, Nov 2013.
  95. Wang Xi, Chang Xu, Wenhua Yang, Xuezhi Hong. An Empirical Study of How Context Inconsistency and Its Resolution Impacts Context-aware Applications (上下文一致性错误及其处理对应用的影响). In Proceedings of the National Software Application Conference (NASAC 2013), Article 25, pp. 1-11, Tianjin, China, Nov 2013.
  96. Linghao Zhang, Hui Sun, Xiaoxing Ma, Chang Xu, and Jian Lu. Challenges in Developing Software for Cyber-physical Systems. In Proceedings of the 5th Asia-Pacific Symposium on Internetware (INTERNETWARE 2013), Article 15, pp. 1-10, Changsha, Hunan, China, Oct 2013.
  97. Jian Lu, Yu Huang, Chang Xu, and Xiaoxing Ma. Managing Environment and Adaptation Risks for the Internetware Paradigm. In Proceedings of Festschrift Symposium in Honor of He Jifeng, Theories of Programming and Formal Methods, LNCS 8051, pp. 271-284, Shanghai, China, Sep 2013.
  98. Yepang Liu, Chang Xu, and S.C. Cheung. Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications. In Proceedings of the 11th IEEE International Conference on Pervasive Computing and Communications (PERCOM 2013), pp. 2-10, San Diego, California, USA, Mar 2013. [acceptance rate: 11.2%][pdf]
  99. Linghao Zhang, Chang Xu, Xiaoxing Ma, Tianxiao Gu, Xuezhi Hong, Chun Cao, and Jian Lu. Resynchronizing Model-based Self-adaptive Systems with Environments. In Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pp. 184-193, Hong Kong, China, Dec 2012. [acceptance rate: 25.5%][pdf]
  100. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Lianhao Zhang, and Jian Lu. Javelus: A Low Disruptive Approach to Dynamic Software Updates. In Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC 2012), pp. 527-536, Hong Kong, China, Dec 2012. [acceptance rate: 25.5%][pdf]
  101. Chang Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu. Dynamic Fault Detection in Context-aware Adaptation. In Proceedings of the 4th Asia-Pacific Symposium on Internetware (INTERNETWARE 2012), Article 1, pp. 1-10, Qingdao, Shandong, China, Oct 2012. [pdf]
  102. Xiaokang Chen, Chang Xu, and Lei Jiang. Towards Context Consistency for Pervasive Computing by Automated Context Repairing (非一致上下文的自动修复技术). In Proceedings of the National Software Application Conference (NASAC 2012), Article 57, pp. 1-8, Nanjing, Jiangsu, China, Oct 2012.
  103. Hao Chen, Hui Sun, Chang Xu, and Xiaoxing Ma. A Mobile Robot Middleware Supporting Self-adaptive Programming (一种支持自适应程序设计的移动机器人中间件). In Proceedings of the 4th Chinese Conference on Agent Theory and Application (AGENT 2012), Article 198, pp. 1-6, Changchun, Jilin, China, Aug 2012.
  104. Haibin Yang, Chang Xu, Xiaoxing Ma, Linghao Zhang, Chun Cao, and Jian Lu. ConsView: Towards Application-specific Consistent Context Views. In Proceedings of the 36th Annual International Computer Software and Applications Conference (COMPSAC 2012), pp. 632-637, Izmir, Turkey, Jul 2012. [pdf]
  105. Chang Xu, Xiaoxing Ma, Chun Cao, and Jian Lu. Minimizing the Side Effect of Context Inconsistency Resolution for Ubiquitous Computing. In Proceedings of the 8th ICST International Conference on Mobile and Ubiquitous Systems (MOBIQUITOUS 2011), LNICST 104, pp. 285-297, Copenhagen, Denmark, Dec 2011. [acceptance rate: 28.2%][pdf]
  106. Hailong Ge, Xiaoxing Ma, and Chang Xu. Constructing Rule-based Self-adaptive Software Systems: A Case Study with an Obstacle-avoiding Mini-car (自适应软件系统构造――自动避障三轮小车的案例研究). In Proceedings of the National Software Application Conference (NASAC 2011), Article 32, pp. 1-9, Changchun, Jilin, China, Oct 2011.
  107. Chushu Gao, Jun Wei, Chang Xu, and S.C. Cheung. Sequential Event Pattern Based Context-aware Adaptation. In Proceedings of the 2nd Asia-Pacific Symposium on Internetware (INTERNETWARE 2010), Article 3, pp. 1-8, Suzhou, Jiangsu, China, Nov 2010. [pdf]
  108. Chang Xu, S.C. Cheung, W.K. Chan, and Chunyang Ye. Heuristics-based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. In Proceedings of the 28th International Conference on Distributed Computing Systems (ICDCS 2008), pp. 713-721, Beijing, China, Jun 2008. [acceptance rate: 16.0%][pdf]
  109. Chang Xu and S.C. Cheung. Decentralized Constraint Checking for Pervasive Computing. In Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (PERCOM 2008 PhD Forum), pp. 45-48, Hong Kong, China, Mar 2008. [pdf]
  110. Chang Xu, S.C. Cheung, W.K. Chan, and Chunyang Ye. On Impact-oriented Automatic Resolution of Pervasive Context Inconsistency. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 569-572, Dubrovnik, Croatia, Sep 2007. [pdf]
  111. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Detection and Resolution of Atomicity Violation in Service Composition. In Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2007), pp. 235-244, Dubrovnik, Croatia, Sep 2007. [acceptance rate: 17.1%][pdf]
  112. Chang Xu, S.C. Cheung, and W.K. Chan. Goal-directed Context Validation for Adaptive Ubiquitous Systems. In Proceedings of the ICSE 2007 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007), article 17, pp. 1-10, Minneapolis, Minnesota, USA, May 2007. [pdf]
  113. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Local Analysis of Atomicity Sphere for B2B Collaboration. In Proceedings of the 14th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2006), pp. 186-196, Portland, Oregon, USA, Nov 2006. [acceptance rate: 20.0%][pdf]
  114. Chang Xu, S.C. Cheung, and W.K. Chan. Incremental Consistency Checking for Pervasive Context. In Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), pp. 292-301, Shanghai, China, May 2006. [acceptance rate: 9.1%][pdf]
  115. Chang Xu and S.C. Cheung. Inconsistency Detection and Resolution for Context-aware Middleware Support. In Proceedings of the Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), pp. 336-345, Lisbon, Portugal, Sep 2005. [acceptance rate: 15.9%][pdf]
  116. Chang Xu, S.C. Cheung, and Xiangye Xiao. Semantic Interpretation and Matching of Web Services. In Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004), pp. 542-554, Shanghai, China, Nov 2004. [acceptance rate: 19.4%][pdf]
  117. Chang Xu, S.C. Cheung, Cindy Lo, K.C. Leung, and Jun Wei. Cabot: On the Ontology for the Middleware Support of Context-aware Pervasive Applications. In Proceedings of the NPC 2004 Workshop on Building Intelligent Sensor Networks (BISON 2004), LNCS 3222, pp. 568-575, Wuhan, China, Oct 2004. [pdf]
  118. Xin Zhang, Chang Xu, and Beihong Jin. Building Extensible and High Performance Distributed Transaction Service. In Proceedings of the Australian Software Engineering Conference (ASWEC 2004), pp. 202-210, Melbourne, Australia, Apr 2004.
  119. Chang Xu and Beihong Jin. Conformance Test of Distributed Transaction Service. In Proceedings of the 12th Asian Test Symposium (ATS 2003), pp. 216-219, Xi'an, China, Nov 2003.
  120. Chang Xu, Xiaofang Chen, Beihong Jin, and Xin Zhang. Performance Optimization for a Distributed Transaction Manager. In Proceedings of the 7th IASTED International Conference on Software Engineering and Applications (SEA 2003), Marina del Rey, USA, Nov 2003.
  121. Chang Xu and Ke Ding. Design and Implementation of a Distributed Transaction Manager. In Proceedings of the 7th CAS Graduate Symposium on Computer Science and Technology, Guangyuan, China, Jul 2002.

Book Chapters

  1. Yepang Liu, Chang Xu, S.C. Cheung, and Jian Lu. Greendroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. Book Chapter in Internetware: A New Software Paradigm for Internet Computing (edited by Hong Mei and Jian Lu), Springer Singapore, pp. 389-438, Dec 2016.

Technical Reports

  1. Zhiyong Chen, Jialun Cao, Jiarong Wu, Chang Xu, and Shing-Chi Cheung. Can Large Language Models Model Programs Formally? arXiv:2604.01851, Apr 2026.
  2. Zhiyong Chen, Jialun Cao, Chang Xu, and Shing-Chi Cheung. ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair. arXiv:2602.12058, Feb 2026.
  3. Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, and Chang Xu. Programming by Example Made Easy. arXiv:2307.07965, Jul 2023.
  4. Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, and Zhiliang Zhu. Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. arXiv:2106.13012, Jun 2020.
  5. Yi Qin, Tao Xie, Chang Xu, Angello Astorga, and Jian Lu. CoMID: Context-based Multi-Invariant Detection for Monitoring Cyber-Physical Software. arXiv:1807.02282, Jul 2018.
  6. Yepang Liu, Lili Wei, Chang Xu, and S.C. Cheung. DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. arXiv:1611.08079, Nov 2016. [website]
  7. Yepang Liu, Chang Xu, S.C. Cheung, and Valerio Terragni. How Do Developers Use Wake Locks in Android Applications? A Large-Scale Empirical Study. Technical Report HKUST-CS15-04, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Nov 2015.
  8. Yepang Liu, Chang Xu, and S.C. Cheung. Verifying Android Applications Using Java PathFinder. Technical Report HKUST-CS12-03, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Sep 2012.
  9. Chang Xu, S.C. Cheung, W.K. Chan, and Chunyang Ye. A Study of Resolution Strategies for Pervasive Context Inconsistency. Technical Report HKUST-CS07-11, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Aug 2007.
  10. Chang Xu, S.C. Cheung, W.K. Chan, and Chunyang Ye. Consistency Constraints for Context-aware Applications. Technical Report HKUST-CS07-08, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Jul 2007.
  11. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Atomicity Violation Analysis for Service Composition. Technical Report HKUST-CS07-03, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Mar 2007.
  12. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Isolation for Service Collaboration. Technical Report HKUST-CS06-06, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Sep 2006.
  13. Chang Xu and S.C. Cheung. Incremental Context Consistency Checking. Technical Report HKUST-CS05-15, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Oct 2005.
  14. Chang Xu, S.C. Cheung, and Chunyang Ye. Inconsistency Detection and Repairing for Context-Aware Middleware Support. Technical Report HKUST-CS05-04, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Jan 2005.
  15. Chang Xu, S.C. Cheung, and Xiangye Xiao. Capability Matching of Web Services. Technical Report HKUST-CS04-08, Department of Computer Science and Engineering, The Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hong Kong, China, Jul 2004.

Edited Resources

  1. Zhouyang Jia, Chang Xu, Shanshan Li, and Lei Bu. 系统安全与开源生态. CCF Digital Library (CCF数字图书馆), DL FOCUS 80, Sep 2025.
  2. Zhouyang Jia, Chang Xu, Shanshan Li, and Lei Bu. 从大模型到智能操作系统：系统软件的演进与挑战. CCF Digital Library (CCF数字图书馆), DL FOCUS 69, Jul 2025.
  3. Lu Zhang and Chang Xu. Software Engineering and Methodology for Emerging Domains. Proceedings of the 15th National Software Application Conference (NASAC 2016), CCIS 675, Springer Singapore, Jan 2017.

Invited Talks

  1. Chang Xu. Constraint Checking: From Efficient Algorithms to Trustworthy Implementations. 全国蜕变测试研讨会, Nanjing, Jiangsu, China, Jun 2026.
  2. Chang Xu. 人机物融合智能化软件的可成长性与思考. 浙江理工大学软件工程学科建设暨人机物融合智能化软件研讨会, Hangzhou, Zhejiang, China, Apr 2026.
  3. Chang Xu. Introduction to the "Compiler Methodology, Technology, and Practice" Textbook. 计算机101计划核心课程建设暨集体备课, Yinchuan, Ninxia, China, Jul 2025.
  4. Chang Xu. Introduction to the "Compiler Methodology, Technology, and Practice" Textbook. 101计划：编译课程建设介绍及教材导读 (CCF-Talk), Online, China, Jul 2025.
  5. Chang Xu. Safety for Intelligent Human-Cyber-Physical Systems: From an Input Validation, Compiler Testing, and System Debugging Perspective. CCF走进高校：西安邮电大学 (by TCSS), Xi'an, Shaanxi, China, May 2025.
  6. Chang Xu. Safety for Intelligent Human-Cyber-Physical Systems: From an Input Validation and Compiler Testing Perspective. CCF走进高校：中国科学技术大学 (by TCSS), Huainan, Anhui, China, May 2025.
  7. Chang Xu. 软件发展与技术漫谈. 南京大学“诚计划”“暾学堂”, Online, China, Apr 2025.
  8. Chang Xu. Safety for Intelligent Human-Cyber-Physical Systems: From an Input Validation and Compiler Testing Perspective. 高可信人机物智能软件与系统研讨会 (by TCFM), Shanghai, China, Mar 2025.
  9. Chang Xu. Constraint Checking: Towards the Consistency for Ubiquitous Connectivity. 中国软件大会软件前沿技术导引论坛, Xi'an, Shaanxi, China, Nov 2024.
  10. Chang Xu. Constraint Checking: Towards the Consistency for Ubiquitous Connectivity. CCF走进高校：哈尔滨学院 (by TCSS), Harbin, Heilongjiang, China, Sep 2024.
  11. Chang Xu. Constraint Checking: Towards the Consistency for Ubiquitous Connectivity. CCF走进高校：上海第二工业大学 (by TCSS), Shanghai, China, Sep 2024.
  12. Chang Xu. Introduction to Teaching Materials and Strategies for Textbook "Compiler Methodology, Technology, and Practice" / Teaching Example: SDD for Grammars with Left-recursions Eliminated / Special Topic: How to Test Compilers. 教育部101计划编译方法、技术与实践课程暑期导教班 (by CMP), Weihai, Shandong, China, Aug 2024.
  13. Chang Xu. Constraint Checking: Towards the Consistency for Ubiquitous Connectivity. CCF走进榆林：榆林学院&榆林企业 (by TCSS), Yulin, Shaanxi, China, Aug 2024.
  14. Chang Xu. Compiler Testing: Exploring a Way to Effective Test Oracle. CCF走进高校：天津大学 (by TCSS), Tianjin, China, Jun 2024.
  15. Chang Xu. Compiler Testing: Exploring a Way to Effective Test Oracle. China University of Mining and Technology, Xuzhou, Jiangsu, China, Nov 2023.
  16. Chang Xu. Compiler Testing: Exploring a Way to Effective Test Oracle. Anhui Normal University, Wuhu, Anhui, China, Nov 2023.
  17. Chang Xu. Compiler Course Practice: Design and Thoughts. 中国高校计算机教育大会深化实践教学带动课程教改论坛, Xiamen, Fujian, China, Jul 2023.
  18. Chang Xu. Software Growing: Exploring a Way to Software Automation. CCF南宁"邕城大讲堂"新一代计算与数字化技术论坛, Nanning, Guangxi, China, Jun 2023.
  19. Chang Xu. Optimization for Intermediate Code and Target Code: Primary Part. 全国大学生计算机系统能力大赛编译设计赛技术培训会, Online, China, Jun 2023.
  20. Chang Xu. 走向未来，我们与计算机软件一起成长. 浙江金华第一中学丽泽讲坛第49讲, Jinhua, Zhejiang, China, May 2023.
  21. Chang Xu. Software Growing: Exploring a Way to Software Automation. CCF青年精英大会青科看未来软件自主之路论坛, Wenzhou, Zhejiang, China, May 2023.
  22. Chang Xu. Constructing Compiler Labs Effectively. 编译原理课程虚拟教研室培训, Online, China, Apr 2023.
  23. Chang Xu. 走向未来，我们与软件一起成长. 江苏锡山高级中学和前黄高级中学李四光留学报国精神宣讲, China, Apr 2023.
  24. Chang Xu. Growing Software: Theory and Progress. Nanjing University of Aeronautics and Astronautics, Online, China, Nov 2022.
  25. Chang Xu. Growing Software: Theory and Progress. 中国软件大会软件工程研究与实践论坛, Online, China, Nov 2022.
  26. Chang Xu. Growing Software: Theory, Technology, and Practice. 东北大学软件软件学院20周年院庆学术活动, Online, China, May 2022.
  27. Chang Xu. Optimization for Intermediate Code and Target Code: Primary Part. 全国大学生计算机系统能力大赛编译设计赛技术培训会, Online, China, Jun 2022.
  28. Chang Xu. Into the Future: Growing with Software. 拔尖计划2.0线上书院, Online, China, Mar 2022.
  29. Chang Xu. Software Growing for Pervasive Sensing, Continual Evolution, and Ecosystem Safeguard. CCF系统软件技术论坛之泛在操作系统论坛, Online, China, Aug 2021.
  30. Chang Xu. Dependency Analysis and Software Growing for the Open-source Ecosystem. 未来计算机教育峰会开源与安全论坛, Changzhou, Jiangsu, China, Jul 2021.
  31. Chang Xu. Validation for Intelligent Software: Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. 3rd Symposium on Intelligent Software Engineering, Online, China, Nov 2020.
  32. Chang Xu, Yanyan Jiang, and Huiyan Wang. On Detecting Spreadsheet Defects and Validating Software Behaviors: What to Expect Next. The Spreadsheet Intelligence and AI+SE Workshop, Online, China, Sep 2020.
  33. Chang Xu. Growing Software: Paradigm and Enabling Technologies. Joint Project Symposium, Xining, Qinhai, China, Aug 2018.
  34. Chang Xu. Concolic Metamorphic Debugging. 全国蜕变测试研讨会, Beijing, China, Jul 2018.
  35. Chang Xu. Testing Multi-threaded Programs via Thread Speed Control. National Software, Theory, and System Youth Symposium, Beijing, China, Jul 2018.
  36. Chang Xu. Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. 7th International Symposium on High Confidence Software (ISHCS), Beijing, China, Dec 2017.
  37. Chang Xu. Intelligent Software: Concept, Characteristics, and Techniques. 2nd Westlake Forum on Intelligent Software, Hangzhou, Zhejiang, China, Oct 2017.
  38. Chang Xu. Verifying and Validating Cyber-Physical Systems with Uncertain Environmental Interactions. NII Shonan Meeting (Seminar 104) on Software Engineering and Networkded Control for Smart Cyber Physical Systems (SENCPS), Zushi, Japan, Aug 2017.
  39. Chang Xu. Suppressing the Detection of Unstable Context Inconsistency. 5th Asian Workshop on Advanced Software Engineering (AWASE), Nara, Japan, Mar 2016.
  40. Chang Xu. Towards Dependability Assurance: From Environments to Applications. Institute of Software, Chinese Academy of Sciences, Beijing, China, Dec 2013.
  41. Chang Xu. Towards Dependable Context-aware Adaptive Applications. Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China, Jun 2013.
  42. Chang Xu. Towards Dependable Context-aware Adaptive Applications. 中创软件 (CVICSE), Jinan, Shandong, China, Dec 2012.
  43. Chang Xu. Efficient Constraint Checking for Pervasive Context. National Software Application Conference (NASAC), Changchun, Jilin, China, Oct 2011.