Notice

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


Journal/Magazine Publications

  1. Chenxi Zhang, Xiangyu Wu and Chang Xu. MultiOffloading: An Android Application Platform Supporting Offloading Multiple Resources (MultiOffloading:支持多种资源借调的安卓应用平台). Journal of Frontiers of Computer Science and Technology (FCST/计算机科学与探索), 2017, forthcoming.
  2. 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), 2017, forthcoming. [pdf]
  3. Jiaxing Dong and Chang Xu. An Efficient Clone Detection Technique for Functionally Similar Programs (一种面向功能类似程序的高效克隆检测技术). Journal of Computer Science (计算机科学), Vol. 44, Iss. 4, pp. 12-15, Apr 2017.
  4. Yanyan Jiang, Chang Xu, Xiaoxing Ma and Jian Lu. A Suvery of Obtaining Shared Memory Dependences: Foundations of the Dynamic Analysis of Concurrent Programs (获取访存依赖:并发程序动态分析的基础技术综述). Journal of Software (JOS/软件学报), Vol. 28, Iss. 4, pp. 747-763, Apr 2017.
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Wang Xi, Chang Xu, Wenhua Yang, Xiaoxing Ma, Ping Yu and Jian Lu. Suppressing Detection of Inconsistency Hazards by Pattern Learning. Information and Software Technology (IST), Vol. 74, pp. 219-229, Jun 2016. [pdf]
  10. 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]
  11. 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.
  12. 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]
  13. 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.
  14. 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]
  15. 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]
  16. 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]
  17. 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.
  18. 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.
  19. 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]
  20. 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]
  21. 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]
  22. 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.
  23. 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.
  24. 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]
  25. 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.
  26. 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]
  27. 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]
  28. 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.
  29. 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]
  30. 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.
  31. 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.
  32. Chang Xu, S.C. Cheung, Chun Cao and Jian Lu. 面向普适软件的上下文管理:挑战与机遇. 四方国件, Vol. 7, pp. 20-25, Jul 2011.
  33. 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]
  34. An Lu, Wenbin Fang, Chang Xu, S.C. Cheung and Yu Liu. Data-driven Testing Methodology on RFID Systems. Frontiers of Computer Science (FCS), Vol. 4, No. 3, pp. 354-364, 2010. [pdf]
  35. 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]
  36. 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]
  37. 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.
  38. 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.
  39. 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. 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.
  2. 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]
  3. 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]
  4. 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%]
  5. Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao and Jian Lu. Automating Object Transformation for Dynamic Software Updating via Program and Execution Synthesis. In Proceedings of the 39th International Conference on Software Engineering (ICSE 2017 Poster), pp. 336-338, Buenos Aires, Argentina, May 2017. [pdf]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. [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]
  13. 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]
  14. 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]
  15. 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]
  16. 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%]
  17. 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]
  18. 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]
  19. 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]
  20. 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.
  21. 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]
  22. 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%]
  23. 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]
  24. 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]
  25. [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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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.
  31. 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.
  32. 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]
  33. 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]
  34. [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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. 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]
  46. 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]
  47. Tianxiao Gu, Chun Cao, Chang Xu, Xiaoxing Ma, Lianhao Zhang and Jian Lu. Javelus: A Low Disruptive Approach to Dynamic Software Update. 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]
  48. 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]
  49. 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.
  50. 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.
  51. 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]
  52. 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]
  53. 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.
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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.
  66. 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.
  67. 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.
  68. 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.

Technical Reports

  1. Yepang Liu, Lili Wei, Chang Xu and S.C. Cheung. DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. arXiv:1611.08079, Nov 2016. [website]
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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. Intelligent Software: Concept, Characteristics and Techniques. 2nd Westlake Forum on Intelligent Software, Hangzhou, Zhejiang, China, Oct 2017.
  2. 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.
  3. Chang Xu. Suppressing the Detection of Unstable Context Inconsistency. 5th Asian Workshop on Advanced Software Engineering (AWASE 2016), Nara, Japan, Mar 2016.
  4. Chang Xu. Towards Dependability Assurance: From Environments to Applications. Institute of Software, Chinese Academy of Sciences, Beijing, China, Dec 2013.
  5. Chang Xu. Towards Dependable Context-aware Adaptive Applications. Nanjing University of Aeronautics and Astronautics, Nanjing, Jiangsu, China, Jun 2013.
  6. Chang Xu. Towards Dependable Context-aware Adaptive Applications. 中创软件, Jinan, Shandong, China, Dec 2012.
  7. Chang Xu. Efficient Constraint Checking for Pervasive Context. National Software Application Conference (NASAC 2011), Changchun, Jilin, China, Oct 2011.