Notice

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


Journal/Magazine Publications

  1. 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/软件学报), 2024, forthcoming.
  2. 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), 2024, forthcoming. [pdf]
  3. 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, forthcoming. [pdf]
  4. 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.
  5. 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, Nov 2023. [pdf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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.
  11. 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]
  12. 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]
  13. 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]
  14. 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, No. 5, pp. 1612-1634, May 2022.
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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.
  24. 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]
  25. 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.
  26. 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]
  27. 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.
  28. 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.
  29. 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]
  30. 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.
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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.
  36. 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, No. 4, pp. 747-763, Apr 2017.
  37. 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]
  38. 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]
  39. 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]
  40. 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]
  41. 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]
  42. 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]
  43. 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.
  44. 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]
  45. 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.
  46. 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]
  47. 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]
  48. 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]
  49. 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.
  50. 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.
  51. 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]
  52. 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]
  53. 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]
  54. 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.
  55. 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.
  56. 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]
  57. 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.
  58. 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]
  59. 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]
  60. 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.
  61. 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]
  62. 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.
  63. 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.
  64. Chang Xu, S.C. Cheung, Chun Cao, and Jian Lu. 面向普适软件的上下文管理:挑战与机遇. 四方国件, Vol. 7, pp. 20-25, Jul 2011.
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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.
  70. 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.
  71. 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. 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), Rovaniemi, Finland, Mar 2024, forthcoming. [acceptance rate: 25.6%][pdf]
  2. 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]
  3. [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]
  4. [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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. [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]
  16. [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]
  17. 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]
  18. 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]
  19. 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]
  20. 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.
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. 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%]
  35. [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]
  36. 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]
  37. 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]
  38. 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%]
  39. 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]
  40. 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%]
  41. 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]
  42. 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.
  43. 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]
  44. 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]
  45. 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%]
  46. 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]
  47. 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]
  48. 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]
  49. 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]
  50. 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]
  51. 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]
  52. 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]
  53. [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]
  54. 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]
  55. 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]
  56. 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]
  57. 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%]
  58. 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]
  59. 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]
  60. 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]
  61. 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.
  62. 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]
  63. 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%]
  64. 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]
  65. 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]
  66. [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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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.
  72. 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.
  73. 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]
  74. 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]
  75. [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]
  76. 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]
  77. 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]
  78. 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]
  79. 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]
  80. 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.
  81. 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.
  82. 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.
  83. 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.
  84. 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.
  85. 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.
  86. 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]
  87. 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]
  88. 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]
  89. 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]
  90. 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.
  91. 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.
  92. 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]
  93. 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]
  94. 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.
  95. 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]
  96. 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]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. 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]
  102. 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]
  103. 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]
  104. 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]
  105. 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]
  106. 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.
  107. 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.
  108. 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.
  109. 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. Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, and Chang Xu. Programming by Example Made Easy. arXiv:2307.07965, Jul 2023.
  2. 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.
  3. 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.
  4. Yepang Liu, Lili Wei, Chang Xu, and S.C. Cheung. DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. arXiv:1611.08079, Nov 2016. [website]
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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 Proceedings

  1. 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. Compiler Testing: Exploring a Way to Effective Test Oracle. China University of Mining and Technology, Xuzhou, Jiangsu, China, Nov 2023.
  2. Chang Xu. Compiler Testing: Exploring a Way to Effective Test Oracle. Anhui Normal University, Wuhu, Anhui, China, Nov 2023.
  3. Chang Xu. Compiler Course Practice: Design and Thoughts. "Course Practice" (深化实践教学,带动课程教改) Forum in CCEC 2023 (中国高校计算机教育大会), Xiamen, Fujian, China, Jul 2023.
  4. Chang Xu. Software Growing: Exploring a Way to Software Automation. "New-generation Computing and Digitalization Technology" (新一代计算与数字化技术) Forum by CCF Nanning (CCF南宁"邕城大讲堂"), Nanning, Guangxi, China, Jun 2023.
  5. Chang Xu. Optimization for Intermediate Code and Target Code: Primary Part. Technical Training for College Compiler Contest (全国大学生计算机系统能力大赛编译设计赛技术培训会), Online, China, Jun 2023.
  6. Chang Xu. 走向未来,我们与计算机软件一起成长. 丽泽讲坛第49讲, 浙江金华第一中学, China, May 2023.
  7. Chang Xu. Software Growing: Exploring a Way to Software Automation. "Youth Scientients Looking into the Future" (青科看未来――软件自主之路) Forum by CCF YEF (CCF青年精英大会), Wenzhou, Zhejiang, China, May 2023.
  8. Chang Xu. Constructing Compiler Labs Effectively. Technical Training for the Compiler Course by VTRS (编译原理课程虚拟教研室培训), Online, China, Apr 2023.
  9. Chang Xu. 走向未来,我们与软件一起成长. 李四光留学报国精神宣讲团, 江苏锡山高级中学和前黄高级中学, China, Apr 2023.
  10. Chang Xu. Growing Software: Theory and Progress. Nanjing University of Aeronautics and Astronautics, Online, China, Nov 2022.
  11. Chang Xu. Growing Software: Theory and Progress. "Software Engineering Research and Practice" (软件工程研究与实践) Forum in CCF ChinaSoft 2022 (中国软件大会), Online, China, Nov 2022.
  12. Chang Xu. Growing Software: Theory, Technology, and Practice. 20-Year Anniversary Forum (东北大学软件软件学院20周年院庆学术活动), Online, China, May 2022.
  13. Chang Xu. Optimization for Intermediate Code and Target Code: Primary Part. Technical Training for College Compiler Contest (全国大学生计算机系统能力大赛编译设计赛技术培训会), Online, China, Jun 2022.
  14. Chang Xu. Into the Future: Growing with Software. Online College for Talent Program 2.0 (拔尖计划2.0线上书院), Online, China, Mar 2022.
  15. Chang Xu. Software Growing for Pervasive Sensing, Continual Evolution, and Ecosystem Safeguard. "Ubiquitious OS" (泛在操作系统) Forum by CCF System Software (系统软件技术论坛), Online, China, Aug 2021.
  16. Chang Xu. Dependency Analysis and Software Growing for the Open-source Ecosystem. "Open-source and Security" (开源与安全) Forum in CCF FCES 2021 (未来计算机教育峰会), Changzhou, Jiangsu, China, Jul 2021.
  17. Chang Xu. Validation for Intelligent Software ― Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. 3rd Symposium on Intelligent Software Engineering, Online, China, Nov 2020.
  18. 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.
  19. Chang Xu. Growing Software: Paradigm and Enabling Technologies. Joint Project Symposium, Xining, Qinhai, China, Aug 2018.
  20. Chang Xu. Concolic Metamorphic Debugging. 2018 Metamorphic Testing Symposium, Beijing, China, Jul 2018.
  21. Chang Xu. Testing Multi-threaded Programs via Thread Speed Control. National Software, Theory, and System Youth Symposium, Beijing, China, Jul 2018.
  22. Chang Xu. Generic Adaptive Scheduling for Efficient Context Inconsistency Detection. 7th International Symposium on High Confidence Software (ISHCS 2017), Beijing, China, Dec 2017.
  23. Chang Xu. Intelligent Software: Concept, Characteristics, and Techniques. 2nd Westlake Forum on Intelligent Software, Hangzhou, Zhejiang, China, Oct 2017.
  24. 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.
  25. Chang Xu. Suppressing the Detection of Unstable Context Inconsistency. 5th Asian Workshop on Advanced Software Engineering (AWASE 2016), Nara, Japan, Mar 2016.
  26. Chang Xu. Towards Dependability Assurance: From Environments to Applications. Institute of Software, Chinese Academy of Sciences, Beijing, China, Dec 2013.
  27. Chang Xu. Towards Dependable Context-aware Adaptive Applications. Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China, Jun 2013.
  28. Chang Xu. Towards Dependable Context-aware Adaptive Applications. CVICSE (中创软件), Jinan, Shandong, China, Dec 2012.
  29. Chang Xu. Efficient Constraint Checking for Pervasive Context. National Software Application Conference (NASAC 2011), Changchun, Jilin, China, Oct 2011.