[ ACM Guide ] [ DBLP-1 ] [ Google Scholar ] [ ORCID ]

Patents

Awards

Invited Talks

Publications (by years)

    Refereed Journal Publications

  1. Rongxin Wu, Ming Wen, Shing-Chi Cheung and Hongyu Zhang. ChangeLocator: Locate Crash-Inducing Changes based on Crash Reports, Journal of Empirical Software Engineering, to appear. [Download]
  2. Wensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei. CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. IEEE Transactions on Software Engineering (TSE) 43(3): 226-251 (2017). [Download]
  3. Ruiqing Zhang, Chang Xu, S.C. Cheung, Ping Yu, Xiaoxing Ma and Jian Lu. How Effective can Spreadsheet Anomalies be Detected: An Empirical Study. The Journal of Systems and Software (JSS) 126: 87-100 (2017). [Download]
  4. 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), Volume 74, 2016, pp. 230-242. [Download]
  5. Chang Xu, Wang Xi, S.C. Cheung, Xiaoxing Ma, Chun Cao and Jian Lu. CINA: Suppressing the Detection of Unstable Context Inconsistency, IEEE Transactions of Software Engineering 41(9), September 2015, pp. 842-865. [Download]
  6. 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) 58(5), May 2015, pp. 1-14. [Download]
  7. Yepang Liu, Chang Xu and S.C. Cheung. Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities, IEEE Software 32(1), Jan/Feb 2015, pp. 67-75. [Download]
  8. Yepang Liu, Chang Xu, S.C. Cheung, and Jian Lv. GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications, IEEE Transactions on Software Engineering 40(9), September 2014, pp. 911-940. [Download]
  9. Yueqi Li, S.C. Cheung, Xiangyu Zhang, and Yepang Liu. Scaling Up Symbolic Analysis by Removing Z-Equivalent States, ACM Transactions on Software Engineering and Methodology 23(4), August 2014, 34:1-32. [Download]
  10. 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, no. 1, August 2014, pp. 21-41. [Download]
  11. Chang Xu, Yepang Liu, S. C. Cheung, Chun Cao, and Jian Lv: Towards context consistency by concurrent checking for Internetware applications. SCIENCE CHINA Information Sciences (SCIS), vol. 56, no. 8, August 2013, 1-20 (2013). [Download]
  12. Yepang Liu, Chang Xu, and S.C. Cheung. AFChecker: Effective Model Checking for Context-aware Adaptive Applications, Journal of Systems and Software (JSS), vol. 86, March 2013, pp. 854-867. [Downdload]

  13. 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, no. 1, January 2013, pp. 85-111. [Download]
  14. Chang Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, and Jian Lu. ADAM: Identifying Defects in Context-aware Adaptation, Journal of Systems and Software (JSS), vol. 85, no. 12, December 2012, pp. 2812-2828. [Download]
  15. Hong Cheng, Yu Liu, S.C. Cheung, Junfang Zeng, Jie Tan and Yiping Yang. Mixed-Reality Simulation of RFID Systems Using Iterated Learning, International Journal of RF Technologies: Research and Applications, vol. 3, no. 4, 2012, pp. 219-242. [Download]
  16. T.H. Ng, Y.T. Yu, S.C. Cheung, and W.K. Chan. Human and Program Factors Affecting the Maintenance of Programs with Deployed Design Patterns,  Information and Software Technology, vol. 54, no. 1, January 2012, pp. 99-118. [Download]
  17. Xunteng XU, Lin Gu, Jianping Wang, Guoliang Xing, and Shing-Chi Cheung. Read More with Less: An Adaptive Approach To Energy-Efficient RFID Systems,  IEEE Journal on Selected Areas in Communications (JSAC), vol. 29, no. 8, 2011, pp. 1684-1697. [Download]
  18. Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, S.C. Cheung, and Sooyong Park. Which Crashes Should I Fix First? Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts,  IEEE Transactions on Software Engineering, vol. 37, no. 3, May/June 2011, pp. 430-447. Selected as the featured article of the issue. [Download]
  19. Dickson K. W. Chiu, Qing Li, Patrick C. K. Hung, Zhe Shan, S. C. Cheung, Yu Yang, and Matthias Farwick. Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views,  Journal of Database Management, vol. 22, no. 2, May 2011, pp. 32-63. [Download]
  20. 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. [Download]
  21. An Lu, Wenbin Fang, Chang Xu, S.C. Cheung, and Yu Liu. Data-Driven Testing Methodology on RFID Systems,  Frontier of Computer Science in China, vol. 4, no. 3, pp. 354-364, 2010. [Download]
  22. 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, vol. 19, no. 3, pp. 1-61, January 2010. [Download]
  23. D.K.W. Chiu, S.C. Cheung, S. Till, L. Narupiyakul, and P.C.K. Hung. Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization, International Journal of Organizational and Collective Intelligence, vol. 1, no. 1, pp. 15-43, 2010. [Download]
  24. Dickson K. W. Chiu, S. C. Cheung, Ho-fung Leung, Patrick C. K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, Yi Zhuang: Engineering e-Collaboration Services with a Multi-Agent System Approach. IJSSOE 1(1): 1-25 (2010) [Download]
  25. Yingcai Wu, Ka-Kei Chung, Huamin Qu, Xiaoru Yuan and S.C. Cheung. Interactive Visual Optimization and Analysis for RFID Benchmarking,  IEEE Transactions on Visualization and Computer Graphics, vol. 15, no. 6, pp.1335-1342, November/December 2009. Also appear in Proceedings of the IEEE Visualization 2009, October 11-16, 2009. [Download]
  26. Chunyang Ye, S.C. Cheung, W.K. Chan, and Chang Xu. Atomicity Analysis of Service Composition across Organizations,  IEEE Transactions on Software Engineering, vol. 35, no. 1, pp. 2-28, January/February 2009. [Download]
  27. W.K. Chan, S.C. Cheung, Jeffrey C.F. Ho, and T.H. Tse. PAT: A Pattern Classification Approach to Automatic Reference Oracles for the Testing of Mesh Simplification Programs,  Journal of Systems and Software, vol. 82, no. 3, pp. 422-434, 2009. [Download]
  28. Lionel M. Ni, Yanmin Zhu, Jian Ma, Qiong Luo, Yunhao Liu, S.C. Cheung, Qiang Yang, Minglu Li, and Min-you Wou. Semantic Sensor Net: An Extensible Framework,  International Journal of Ad Hoc and Ubiquitous Computing (IJAHUC), vol. 4, no. 3/4, pp. 157-167, 2009. [Download]
  29. S.C. Cheung, K.W. Chiu, and Cedric Ho. The Use of Digital Watermarking for Intelligence Multimedia Document Distribution,  Journal of Theoretical and Applied Electronic Commerce Research, vol. 3, no. 3, pp. 103-118, December 2008. [Download]
  30. Dickson K.W. Chiu, Benny W.C. Kwok, Ray L.S. Wong, Marina Kafeza, S.C. Cheung, Eleanna Kafeza, and Patrick C.K. Hung. Alerts in Healthcare Applications: Process and Data Integration,  International Journal of Healthcare Information Systems and Informatics (IJHISI), vol. 4, no. 2, pp. 36-56, 2008. [Download]
  31. Wanchun Dou, Jinjun Chen, Shaokun Fan, and S.C. Cheung. A Context- and Role-Driven Scientific Workflow Development Pattern,  Concurrency and Computation: Practice and Experience, vol. 20, no. 15, pp. 1741-1757, 2008. [Download]

  32. Wanchun Dou, J. Chen, Jianxun Liu, S.C. Cheung, Guigai Chen, and Shaokun Fan. A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments,  International Journal of High Performance Computing Applications (IJHPCA), vol. 22, no. 3, pp. 284-300, October 2008. [Download]
  33. Xiping Liu, Wanchun Dou, Jinjun Chen, Shaokun Fan, S.C. Cheung, and Shijie Cai. On Design, Verification, and Dynamic Modification of the Problem-Based Scientific Workflow Model,  Simulation Modelling Practice and Theory, vol. 15, no. 9, pp. 1068-1088, October 2007. [Download]
  34. Dan Hong, Dickson K.W. Chiu, Vincent Shen, S.C. Cheung, and Eleanna Kafeza. Ubiquitous Enterprise Service Adaptations Based on Contextual User Behavior,  Information Systems Frontiers, vol. 9, no. 4, pp. 343-358, 2007. [Download]
  35. W.K. Chan, S.C. Cheung, and Karl R.P.H. Leung. A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications,  International Journal of Web Services Research, vol. 4, no. 2, pp. 60-80, April/June 2007. [Download] Also selected for reprints in Electronic Government: Concepts, Methodologies, Tools, and Applications, ed. Ari-Veikko Anttiroiko, published by Information Science Reference, 2008.
  36. Gang Huang, Li Zhou, Xuan-Zhe Li, Hong Mei, and S.C. Cheung. Performance Aware Service Pool in Dependable Service Oriented Architecture,  Journal of Computer Science and Technology, vol. 21, no. 4, pp. 565-573, July 2006. [Download]

  37. W.K. Chan, M.Y. Chan, S.C. Cheung and T.H. Tse, Automatic Goal-Oriented Classification of Failure Behaviors for Testing XML-Based Multimedia Software Applications: an Experimental Case Study, Journal of Systems and Software, volume 79, Issue 5, May 2006, pp. 602-612. [Download]

  38. Changjie Wang, Ho-fung Leung, S.C. Cheung, and Yumin Wang. Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents,  International Journal of High Performance Computing and Networking, vol. 3, no. 5/6, pp. 385-394, 2005. [Download]
  39. T.H. Ng and S.C. Cheung. Enhancing Class Commutability in the Deployment of Design Patterns,  Information and Software Technology, vol. 47, no. 12, pp. 797-804, 2005. [Download]
  40. Dickson K.W. Chiu, Danny Kok, Alex K.C. Lee, and S.C. Cheung. Integrating Legacy Sites into Web Services with WebXcript,  International Journal of Cooperative Information Systems (IJCIS), vol. 14, no. 1, pp. 25-44, March 2005. [Download]
  41. Dickson K.W. Chiu, S.C. Cheung, Patrick C.K. Hung, Sherina Y.Y. Chiu, and K.K. Chung. Developing e-Negotiation Support with a Meta-modeling Approach in a Web Services Environment,  Decision Support Systems, vol. 40, no. 1, pp. 51-69, July 2005. [Download]
  42. Wen Gao, Lionel M. Ni, Zhiwei Xu, S.C. Cheung, Li Cui, and Qiong Luo. BLOSSOMS: Building lightweight Optimized sensor Systems on a Massive Scale,  Journal of Computer Science and Technology (JCST), vol. 20, no. 1, pp. 105-117, 2005. [Download]
  43. S.C. Cheung, Samuel T. Chanson, and Zhendong Xu. Applying Generic Timing Tests for Distributed Multimedia Software Systems,  IEEE Transactions on Reliabilityy, vol. 53, no. 3, pp. 329-341, September 2004. [Download]
  44. Dickson K.W. Chiu, S.C. Cheung, Sven Till, Kamalakar Karlapalem, Qing Li, and Eleanna Kafeza. Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment,  Information Technology and Management, vol. 5, no. 3/4, pp. 221 - 250, July/October 2004. [Download]
  45. Eleanna Kafeza, Dickson K.W. Chiu, S.C. Cheung, and Marina Kafeza. Alerts in Mobile Healthcare Applications: Requirements and Pilot Study,  IEEE Transactions on Information Technology in BioMedicine, vol. 8, no. 2, pp. 173-181, June 2004. [Download]
  46. Dickson K.W. Chiu, S.C. Cheung, Eleanna Kafeza, and H.F. Leung. A Three-tier View-based Methodology for M-Services Adaptation,  IEEE Transactions on Systems, Man, and Cybernetics (Part A), vol. 33, no. 6, pp. 725-741, November 2003. [Download]
  47. James S.H. Kwok, S.M. Lui, S.C. Cheung, and K.Y. Tam. Digital Rights Management with Web Services,  EM - Electronic Markets, vol. 13, no. 2, pp. 133-40, June 2006. [Download]

  48. James S.H. Kwok, S.C. Cheung, K.C. Wong, K.F. Tsang, S.M. Lui, and K.Y. Tam. Integration of Digital Rights Management into Internet Open Trading Protocol (IOTP),  Decision Support Systems, vol. 34, no. 4, pp. 413-425, March 2003. [Download]
  49. J. Zhang and S.C. Cheung. Automated Test Case Generation for the Stress Testing of Multimedia Systems,  Software - Practice and Experience, vol. 32, no. 15, pp. 1411-1435, December 2002. [Download]
  50. Xu Wang, S.C. Cheung, and Jun Wei. A CSP and Z Combined Modeling of Document Exchange Processes in E-Commerce Protocols,  Information and Software Technology, vol. 44, no. 14, pp. 875-889, 2002. [Download]
  51. S.C. Cheung and Samuel T. Chanson. A Model-Based Authorware for the Construction of Distributed Multimedia Systems,  Information and Software Technologyy, vol. 41, no. 11/12, pp. 715-727, September 1999. [Download]
  52. S.C. Cheung and J. Kramer. Checking Safety Properties using Compositional Reachability Analysis,  ACM Transaction on Software Engineering and Methodology, vol. 8, no. 1, pp. 49-78, January 1999. [Download]

  53. D. Giannakopoulou, J. Kramer, and S.C. Cheung. Behaviour Analysis of Distributed Systems using the Tracta Approach,  Journal of Automated Software Engineering, vol. 6, no. 1, pp. 7-35, March 1999. [Download]
  54. S.C. Cheung and J. Kramer. Context Constraints for Compositional Reachability Analysis,  ACM Transactions on Software Engineering and Methodology, vol. 5, no. 4, pp. 334-377, October 1996. [Download]
  55. S.C. Cheung and J. Kramer. Contextual Local Analysis in the Design of Distributed Systems,  Journal of Automated Software Engineering, vol. 2, no. 1, pp. 5-32, March 1995. [Download]
  56. S.C. Cheung and J. Kramer. Tractable Flow Analysis for Anomaly Detection in Distributed Programs,  IEEE Transactions on Software Engineering, vol. 20, no. 8, pp. 579-593, August 1994. [Download]
  57. J.N. Magee and S.C. Cheung. Parallel Algorithm Design for Workstation Clusters,  Software - Practice and Experience, vol. 21, no. 3, pp. 235-250, March 1991. [Download] [Alternative Download]
  58. Journal Publications in Chinese

  59. 孙玉霞, Mary Jean Harrold, 张成志, 汤庸, 一种面向传感器网络应用程序的有效测试方法, 计算机学报, 2013, 36(12), pp. 2371-2389. (In English: Yu-Xia Sun, Mary Jean Harrold, Shing-Chi Cheung and Yong Tang, An Effective Testing Approach for Sensor Network Application, Chinese Journal of Computers, Vol. 36, No. 12, December 2013, pp. 2371-2389.) [Download]
  60. 张成志, 谢涛, 曹东刚, 张路, 嵌入式系统软件测试, 中国计算机学会通讯,第 8 卷,第2 期, 2012,pp. 33-38. [Download]
  61. Chang Xu, S.C. Cheung, Chun Cao, and Jian Lu. 面向普适软件的上下文管理:挑战与机遇. 四方国件,Vol. 7, pp. 20-25, Aug 2011. [Download]
  62. 杨杰,黄罡,陈湘萍,梅宏,张成志,软件体系结构模型单层化的一致性保障方法,软件学报, 2006. (In English: YANG Jie,HUANG Gang,CHEN Xiang-Ping,MEI Hong,CHEUNG Shing-Chi.Consistency Assurance in Flattening Hierarchical Architectural Models, Journal of Software,2006,17(6):1391-1400.) [Download]
  63.  

    Refereed Book Chapter Publications

  64. Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu, Greendroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications, Book Chapter in Internetware: A Shift of Software Paradigm, ed. Hong Mei and Jian Lu, Springer, December 2016: pp. 389-438. [Download]
  65. Xiaoxing Ma, S.C. Cheung, Chun Cao, Feng Xu, and Jian Lu. Towards a dependable software paradigm for service-oriented computing,  in High Assurance Services Computing, J. Dong, R. Paul, and L.-J. Zhang, Eds.: Springer Verlag, 2009, ch. 9, pp. 163-192. [Download]
  66. Dickson K.W. Chiu, S.C. Cheung, and H.F. Leung. Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure,  in Mobile and Ubiquitous Commerce: Advanced E-Business Methods, Milena M. Head and Eldon Y. Li, Eds.: IGI Publishing, 2009, ch. 16, pp. 283-302. [Link]
  67. C.Y. Lam and S.C. Cheung. Modelling and Analysis of Web-based Courseware Systems,  in Web-based Learning and Teaching Technologies: Opportunities and Challenges, Anil K. Aggarwal, Ed.: IGI Publishing, 2000, ch. 10, pp. 155-173. [Download]
  68. Refereed Conference and Workshop Publications

  69. Lili Wei, Yepang Liu, and S.C. Cheung. OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews. In Proceedings of the 11th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017), Paderborn, Germany, Sept 2017, pp. 672-682. pp. 226-237. [Preprint, Slides, Download]
  70. Lili Wei, Yepang Liu, and S.C. Cheung. Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, Sept 2016, pp. 226-237. This work received the ACM SIGSOFT Distinguished Paper Award. [Preprint, Slides, Download]
  71. Ming Wen, Rongxin Wu, and S.C. Cheung. Locus: Locating Bugs from Software Changes. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016), Singapore, Sept 2016, pp. 262-273. [Preprint, Slides, Download]
  72. Yepang Liu, Chang Xu, Shing-Chi Cheung and Valerio Terrangi. 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), Seattle, WA, USA, Nov 2016, pp. 396-409. [Download]
  73. 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), Seattle, WA, USA, Nov 2016, pp. 787-798. [Download].
  74. Valerio Terragni, Yepang Liu and Shing-Chi Cheung. CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites. In Proceedings of the 25th International Symposium on Software Testing and Analysis (ISSTA 2016), Saarbrücken, Germany, July 2016, pp. 118-129. [Download]
  75. S.C. Cheung, Wanjun Chen, Yepang Liu, and Chang Xu. Automatic Spreadsheet Cell Clustering and Smell Detection Using Strong and Weak Features. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, USA, May 2016, pp. 464-475. [Download] [Project website]
  76. Valerio Terragni and S.C. Cheung. Coverage-Driven Test Code Generation for Concurrent Classes. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016), Austin, TX, USA, May 2016, pp. 1121-1132. [Download]
  77. Wensheng Dou, Liang Xu, S.C. Cheung, Chushu Gao, Jun Wei and Tao Huang. VEnron: A Versioned Spreadsheet Corpus and Related Evolution Analysis. In Proceedings of the 38th International Conference on Software Engineering (ICSE 2016 - SEIP), Companion Volume, Austin, TX, USA, May 2016, pp. 162-171. [Download] [Project website]
  78. Rongxin Wu, Xiao Xiao, S.C. Cheung, Hongyu Zhang, Charles Zhang. Casper: An Efficient Approach to Call Trace Collection. In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), St. Petersburg, Florida, January 2016, pp. 678-690. [Download]
  79. Valerio Terragni, S.C. Cheung and Charles Zhang. RECONTEST: Effective Regression Testing of Concurrent Programs. In Proceedings of the 37th International Conference on Software Engineering (ICSE 2015), Florence, Italy, May 16-24, 2015, pp. 246-256. [Download] [Project Website]

  80. Yueqi Li and S.C. Cheung. Symbolic State Validation through Runtime Data. In Proceedings of the 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, September 2014, pp. 187-198. [Download]
  81. Rongxin Wu, Hongyu Zhang, S.C. Cheung, and Sunghun Kim. CrashLocator: Locating Crashing Faults based on Crash Stacks . In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2014), San Jose, California, USA, July 2014, pp. 204-214. This work received the ACM SIGSOFT Distinguished Paper Award. [Download]
  82. Wensheng Dou, S.C. Cheung, and Jun Wei. Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation. In Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, May-Jun 2014, pp. 848-858. [Download]
  83. 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), Hyderabad, India, May-Jun 2014, pp. 1013-1024. This work received the ACM SIGSOFT Distinguished Paper Award. [Download]
  84. Hongyu Zhang and S.C. Cheung. A Cost-Effectiveness Criterion for Applying Software Defect Prediction Models. In Proceedings of the ESEC-FSE 2013 (New Ideas Track), Saint Petersburg, Russia, August 2013, pp. 643-646. [Download]
  85. 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. [Download]
  86. Chang Xu, S.C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lu. Dynamic Fault Detection in Context-aware Adaptation, in Proceedings of Internetware 2012, Qingdao, PRC, October 31, 2012, pp. 1-10. [Download]
  87. Qiaona Hong, Sunghun Kim, S.C. Cheung and Christian Bird. Understanding a Developer Social Network and its Evolution, in Proceedings of the 27th IEEE International Conference on Software Maintenance (ICSM 2011), Virginia, USA, September 25-30, 2011, pp. 323-332. [Download]
  88. Rongxin Wu, Hongyu Zhang, Sunghun Kim and S.C. Cheung. ReLink: Recovering Links between Bugs and Changes, in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2011), Szeged, Hungary, September 5-9, 2011, pp. 15-25. [Download]
  89. Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lv. Refactoring and Publishing WS-BPEL Processes to Obtain More Partners, in Proceedings of the 9th IEEE International Conference on Web Services (ICWS 2011), Washington DC, USA, July 4-9, 2011, pp. 129-136. [Download]
  90. Yiyang Zhao, S.C. Cheung, and Lionel M. Ni, LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph, in Proceedings of the 8th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC 2010), Hong Kong, December 11-13, 2010, pp. 154-161. [Download]
  91. Wei Song, Xiaoxing Ma, S.C. Cheung, Hao Hu, and Jian Lu, Preserving Data Flow Correctness in Process Adaptation, in Proceedings of the 7th IEEE International Conference on Services Computing (SCC 2010), Miami, Florida, USA, July 5-10, 2010, pp. 9-16. [Download]
  92. Zhuo Su, S.C. Cheung, and K.T. Chu, Investigation of Radio Link Budget for UHF RFID Systems, in Proceedings of the IEEE International Conference on RFID-Technology and Applications 2010 (RFID-TA2010), Guangzhou, China, June 17-19, 2010, pp. 164-9. [Download]
  93. T.H. Ng, Y.T. Yu and S.C. Cheung, Factors for Effective Use of Deployed Design Patterns, in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), Zhangjiajie, China, July 14-15, 2010, pp. 112-121. [Download]

  94. Zhifeng Lai, S.C. Cheung, and W.K. Chan, Detecting Atomic-Set Serializability Violations in Multi-threaded Programs Through Active Randomized Testing, in Proceedings of the 32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa, May 2-8, 2010, pp. 235-244. [Download]
  95. Wei Song, Xiaoxing Ma, S.C. Cheung, Wanchun Dou and Jian Lu, A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions, in Proceedings of the 7th IEEE International Conference on Services Computing (SCC 2009), Bangalore, India, September 21-25, 2009, pp. 427-434. [Download]
  96. Xinming Wang, S.C. Cheung, W.K. Chan, Zhenyu Zhang, Taming Coincidental Correctness: Coverage Refinement with Context Pattern to Improve Fault Localization, in Proceedings of the 31st International Conference on Software Engineering, Vancouver, Canada, May 2009, pp. 45-55. [Download]

  97. Zhifeng Lai, S.C. Cheung, W.K. Chan, Inter-Context Control-Flow and Data-Flow Test Adequacy Criteria for nesC Applications, in Proceedings of the 16th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2008), Atlanta, USA, November 9-14, 2008, pp. 94-104. [Download]
  98. Chang Xu, S.C. Cheung, W.K. Chan, 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), Beijing, China, June 17-20, 2008, pp. 709-717. [Download]

  99. Chunyang Ye, S.C. Cheung, W.K. Chan, 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 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 3-7, 2007, pp. 235 - 244. [Download]
  100. Chang Xu, S.C. Cheung, W.K. Chan, 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 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (ESEC/FSE 2007), Dubrovnik, Croatia, September 3-7, 2007, pp. 569-572. [Download]
  101. Frank Cheong, Dickson K.W. Chiu, S.C. Cheung, Patrick C.K. Hung, Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools, in Proceedings of the International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 9-13, 2007, pp.1008-1015. [Download]
  102. W. K. Chan, T. Y. Chen, S. C. Cheung, T. H. Tse and Zhenyu Zhang, Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks, in Proceedings of the 12th International Conference on Reliable Software Technologies (Ada-Europe 2007), 25-29 June 2007, Geneva, Switzerland, pp. 84-99, LNCS 4498, Springer-Verlag, Berlin (2007). [Download]

  103. Jogesh K. Muppala, Zonghua Gu, S.C. Cheung, Teaching embedded systems software: The HKUST experience, in Proceedings of the 13th International Conference on Parallel and Distributed Systems - Volume 2 (ICPADS'07) - Volume 02, December 2007. [Download]
  104. Chang Xu, S.C. Cheung, 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), Minneapolis, May 26-27, 2007, 10 pages (article 17). [Download]

  105. Chunyang Ye, S.C. Cheung, W.K. Chan, Process Evolution with Atomicity Consistency, in Proceedings of the ICSE 2007 Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2007), Minneapolis, May 26-27, 2007, 10 pages (article 19). [Download]
  106. T.H. Ng, S.C. Cheung, W.K. Chan and Y.T. Yu, Do maintainers utilize deployed design patterns effectively?, in Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, IEEE Computer Society Press, Los Alamitos, California, USA (2007), pp. 168-177. [Download]

  107. Dickson K.W. Chiu, Dan Hong, S.C. Cheung and Eleanna Kafeza, Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture, in Proceedings of the 40th Hawaii International Conference on System Sciences (HICSS-40), Hawaii, January 2007, 10 pages. [Download]

  108. T.H. Ng, S.C. Cheung, W.K. Chan and Y.T. Yu, Work Experience versus Refactoring to Design Patterns: A Controlled Experiment, in Proceedings of the 14th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE 2006), Portland, Oregon, USA, November 5-11, 2006, pp. 12-22. [Download].
  109. 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 Foundations of Software Engineering (FSE 2006), Portland, Oregon, USA, November 5-11, 2006, pp. 186-196. [Download].
  110. Wanchun Dou, Guihai Chen, S.C. Cheung, Shijie Cai, Cooperative Cognition and Its Implementation under Web Environment, in Proceedings of the Second International Conference on Semantics, Knowledge, and Grid (SKG '06), IEEE Computer Society, November 2006. [Download]
  111. Zhifeng Lai, S.C. Cheung and Yufei Jiang, Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework, in Proceedings of the 6th International Conference on Quality Software (QSIC 2006), Beijing, China, October 26-28, 2006. pp. 410-417. [Download].
  112. S.C. Cheung, W.K. Chan, Penny M.K. Lee, Lionel M. Ni and Peter Ng, A Combinatorial Methodology for RFID Benchmarking, in Proceedings of the 3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, Oct 26-28, 2006.
  113. Zongwei Luo, Ed Wong, S.C. Cheung, Lionel M. Ni and W.K. Chan, RFID Middleware Benchmarking, in Proceedings of the 3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, Oct 26-28, 2006.
  114. Dickson K.W. Chiu, Dan Hong, S.C. Cheung and Eleanna Kafeza, Adapting Ubiquitous Enterprise Services with Context and Views, in Proceedings of the 10th IEEE International Enterprise Computing Conference (EDOC 2006), October 16-20, Hong Kong. [Download]

  115. W.K. Chan, S.C. Cheung, Jeffrey C.F. Ho and T.H. Tse, Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering, in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC 2006), Chicago, September 18-21, 2006, pp. 429-438. [Download].
  116. Chang Xu, S.C. Cheung and W.K. Chan, Incremental Consistency Checking Pervasive Context, Research Paper, in Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 292-301. [Download]

  117. Chunyang Ye, S.C. Cheung and W.K. Chan, Publishing and Composition of Atomicity-equivalent Services for B2B Collaboration, Research Paper, in Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006,pp. 351-360. [Download]

  118. T.H. Ng, S.C. Cheung, W.K. Chan and Y.T. Yu, Toward Effective Deployment of Design Patterns for Software Extension: A Case Study, in Proceedings of the 4th Workshop on Software Quality, in collaboration with the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 51-56. [Download]
  119. Wanchun Dou, S.C. Chueng, Guihai Chen, J. Wang and S.J. Cai, A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications, in Proceedings of the Fourth International Conference on Grid and Cooperative Computing, Beijing, China, Nov 30-Dec 3, 2005, LNCS 3795, ed. Zhuge Hai and Geoffrey C. Fox, pp. 1084-1095. [Download]
  120. Wanchun Dou, S.C. Cheung, Guihai Chen and Shijie Cai, Certificate-Driven Grid Workflow Paradigm Based on Service Computing, in Proceedings of the Fourth International Conference on Grid and Cooperative Computing, Beijing, China, Nov 30-Dec 3, 2005, LNCS 3795, ed. Zhuge Hai and Geoffrey C. Fox, pp. 155-160. [Download]
  121. W.K. Chan, S.C. Cheung and K.P.H. Leung, Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications, in Proceedings of the First International Conference on Services Engineering (SEIW 2005), in collaboration with the 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, September 2005, pp. 470-476. [Best paper selected for journal publication] [Download]

  122. W.K. Chan, S.C. Cheung and T.H. Tse, Fault-Based Testing of Database Application Programs with Conceptual Data Model, in Proceedings of the 5th International Conference on Quality Software (QSIC 2005), Melbourne, Australia, September 2005, pp. 187-196. [Download].

  123. 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), Lisbon, Portugal, September 5-9, 2005, pp. 336-345.  [Download]
  124. Yucong Duan, S.C. Cheung, Xiaolan Fu and Yuqing Gu, A Metamodel Based Model Transformation Approach, in Proceedings of the 3rd ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2005), Mt. Pleasant, Michigan, August 11-12, 2005, IEEE Computer Society Press, pp. 184-190.
  125. Lionel M. Ni, Yanmin Zhu, Jian Ma, Minglu Li, Qiong Luo, Yunhao Liu, S.C. Cheung and Qiang Yang, Semantic Sensor Net: An Extensible Framework, in Proceedings of the International Conference on Computer Networks and Mobile Computing (ICCNMC'05), Zhangjiajie, China, 2-4 August, 2005, LNCS 3619, pp.1144-1153. [Download]

  126. Dickson K.W. Chiu, S.C. Cheung and Ho-fung Leung, A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise, in Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38), Hawaii, January 2005. [Download]
  127. Dickson K.W. Chiu, S.C. Cheung, Patrick C.K. Hung and Ho-fung Leung, Facilitating e-Negotiation Processes with Semantic Web Technologies, Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38), Hawaii, January 2005. [Download]
  128. Xiaoling Wang and S.C. Cheung, Grammar Based Interface Processing in Web Service Composition, in Proceedings of the International Workshop on Conceptual Model-directed Web Information Integration and Mining (CoMWIM 2004), in conjunction with ER 2004, Shanghai, November 2004, LNCS 3289, pp. 323-334. [Download]
  129. 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), Shanghai, November 2004, LNCS 3288, pp. 542-554. [Download]
  130. 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 Building Intelligent Sensor Networks (BISON'04) in conjunction with IFIP International Conference on Network and Parallel Computing, October 2004, Wuhan, China. Available at Lecture Notes in Computer Science, volume 3222, eds. Hai Jin, Guang R. Gao, Zhiwei Xu, et al., 2004, pp. 568-575. [Download]
  131. M.Y. Cheng, S.C. Cheung, and T.H. Tse. Towards the application of classification techniques to test and identify faults in multimedia systems. , in Proceedings of the 4th International Conference on Quality Software (QSIC 2004), IEEE Computer Society Press, Braunschweig, Germany, September 2004, pp. 32-40. [Download]
  132. Changjie Wang, Ho-fung Leung, S.C. Cheung, Yumin Wang, Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents, in the Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), Fukuoka, Japan, March 2004, pp. 414-419. [Download]
  133. S.C. Cheung, H.F. Leung and Changjie Wang, A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents, in the Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37), January 2004, pp. 94-103. [Download]
  134. Dickson K.W. Chiu, S.C. Cheung, H.F. Leung and Patrick C.K. Hung, Constraint-based Negotiation in a Multi-Agent Information System with Multiple Platform Support, in the Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37), January 2004, pp. 33-42. [Download] [Presentation]
  135. Dickson K.W. Chiu, B. Kwok, R. Wong, S.C. Cheung and E. Kafeza, Alert-driven E-Service Management, in the Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37), January 2004, pp. 68-77. [Best paper of HICSS'37] [Download] [Presentation]
  136. Dickson K.W. Chiu, B. Kwok, R. Wong, S.C. Cheung, E. Kafeza and M. Kafeza, Alerts for Healthcare Process and Data Integration, in the Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37), January 2004, pp. 146-155. Best paper of HICSS'37. [Download] [Presentation]
  137. T.H. Ng and S.C. Cheung, Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution, in the Proceedings of the 27th International Conference on Computer Software and Applications Conference (COMPSAC 2003), Dallas, November 2003, pp. 242-247. [Download] [Presentation]
  138. Dickson K.W. Chiu, Alex K.C. Lee, Danny Lok and S.C. Cheung, Integrating Heterogeneous Web Services with WebXcript, in the Proceedings of the 27th International Conference on Computer Software and Applications Conference (COMPSAC 2003), Dallas, November 2003, pp.272-277. [Download] [Presentation]
  139. Dickson K.W. Chiu, S.C. Cheung and Ho-fung Leung, A Three Tier View Based Methodology for Adapting Human Agent Collaborative Systems Towards a Connected Society, in the Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE'03), Austria, June 2003, pp. 226-241.
  140. [Download] [Presentation]

  141. S.C. Cheung, Hanif Curreem, Dickson K.W. Chiu and Patrick C.K. Hung, Implementing Watermark Token in WS-Security for Digital Content Distribution, in the Proceedings of the International Conference on Web Services (ICWS'03), Las Vegas, June 2003, pp. 415-419. [Presentation]
  142. Dickson K.W. Chiu, S.C. Cheung and Patrick C.K. Hung, Developing e-Negotiation Process Support by Web Services, in the Proceedings of the International Conference on Web Services (ICWS'03), Las Vegas, June 2003, pp. 97-103. [Presentation]
  143. Eleanna Kafeza, Dickson K.W. Chiu and S.C. Cheung, Alert-driven Process Integration in a Web Services Environment, in the Proceedings of the International Conference on Web Services (ICWS'03), Las Vegas, June 2003, pp. 145-151. [Presentation]
  144. S.C. Cheung, Patrick C.K. Hung and Dickson K.W. Chiu, On the e-Negotiation of Unmatched Logrolling Views, in the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003, pp. 29-38. (minitrack best paper) [Download] [Presentation]
  145. S.C. Cheung, Dickson K.W. Chiu and Sven Till, A Data-Driven Methodology to Extending Workflows to E-services over the Internet, in the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003, pp. 202-211. [Download] [Presentation]
  146. S.C. Cheung and Dickson K.W. Chiu, A Watermarking Infrastructure for Enterprise Content Management, in the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003, pp. 105-114. [Download] [Presentation]
  147. Dickson K.W. Chiu, S.C. Cheung and Sven Till, A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment, in the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003, pp. 74-83. (minitrack best paper) [Download] [Presentation]
  148. Dickson K.W. Chiu, Wesley C.W. Chan, Gary K.W. Lam, S.C. Cheung and Franklin T. Luk, An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry, in the Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003, pp. 182-191. [Download] [Presentation]
  149. S.C. Cheung, Patrick C.K. Hung and Dickson K.W. Chiu, A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation, in the Proceedings of 21st International Conference on Conceptual Modeling (ER 2002), IEEE Computer Press, Tampere, Finland, October 2002, pp. 50-64. [Presentation]
  150. S.C. Cheung, Hanif Curreem and Dickson K.W. Chiu, A Watermarking Infrastructure for Digital Rights Protection, in the Proceedings of the 4th International Conference on Electronic Commerce (ICEC 2002), October, Hong Kong, 13 pages.
  151. Dickson K.W. Chiu and S.C. Cheung, Automating Online Web-based E-Commerce Activities with WebScript, in the Proceedings of the 4th International Conference on Electronic Commerce (ICEC 2002), October, Hong Kong, 12 pages.
  152. Dickson K.W. Chiu, S.C. Cheung and Patrick C.K. Hung, A Meta-model for Contract Template Driven e-Negotiation Processes, in the Proceedings of 6th Pacific Asia Conference on Information Systems (PACIS'02), Tokyo, Japan, September 2002, pp. 854-868.
  153. S.C. Cheung and Hanif Curreem, Rights Protection for Digital Contents Redistribution Over the Internet, in the Proceedings of 26th International Computer Software and Applications Conference (COMPSAC 2002), IEEE Computer Press, Oxford, United Kingdom, August 2002, pp. 105-110. [Download]
  154. Dickson K.W. Chiu, S.C. Cheung and Eleana Kafeza, Three-Tier View-Based Support for Mobile Workflows, in the Proceedings of International Conference on Mobile Business, Athens, Greece, July 2002.
  155. S.C. Cheung, Dickson K.W. Chiu and Sven Till, A Three-Layer Framework for Cross-Organizational E-Contract Enactment, Workshop on Web Services, e-Business, and the Semantic Web (WES 2002 in conjunction with CAISE 2002), Toronto, Canada, May 2002, LNCS 2512, pp. 78-92.
  156. Dickson K.W. Chiu, S.C. Cheung, Kamalakar Karlapalem, Qing Li and Sven Till, Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment, Workshop on Web Services, e-Business, and the Semantic Web (WES 2002 in conjuction with CAISE 2002), Toronto, Canada, May 2002, LNCS 2512, pp. 41-56.
  157. Xu Wang, S.C. Cheung, and Jun Wei, On the Modelling of Document Exchanging Processes in E-Commerce Protocols, in the Proceedings of APAQS 2001, Hong Kong, IEEE Computer Press, December 2001. [Download]
  158. Jun Wei, S.C. Cheung, Huan Zhou and Xu Wang, Jing Li and Yu-Lin Feng, Modeling and Verifying Strong Cache Consistency for Mobile Data Access, in the Proceedings of 12th International Symposium on Software Reliability Engineering, Hong Kong, IEEE Computer Press, November 2001, pp. 103-111. [Download]
  159. S.C. Cheung, Samuel T. Chanson and Zhendong Xu, Toward Generic Timing Tests for Distributed Multimedia Software Systems, in the Proceedings of 12th International Symposium on Software Reliability Engineering, Hong Kong, IEEE Computer Press, November 2001, pp. 210-220. [Download]
  160. Jun Wei, S.C. Cheung, and Xu Wang, Exploiting Automatic Analysis of E-Commerce Protocols, in the Proceedings of 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), Chicago, USA, October 2001, pp.55-62. [Download]
  161. Jian Zhang, Chen Xu, and S.C. Cheung, Automatic Generation of Database Instances for White-Box Testing, in the Proceedings of 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), Chicago, USA, October 2001, pp. 161-165. [Download]
  162. Daniel K.C. Chan, Simon Yuen, and Shing-Chi Cheung, Organisation Modelling Using LDAP, in the Proceedings of 9th IFIP 2.6 WORKING CONFERENCE ON DATABASE SEMANTICS (DS-9), April 2001.
  163. Jun Wei, Shing-Chi Cheung, and Xu Wang, Towards a Methodology for Formal Design and Analysis of Agent Interaction Protocols - An Investigation in Electronic Commerce, in the Proceedings of International Software Engineering Symposium (ISES '2001), Wuhan, Hubei, China, March 2001. [Download]
  164. James S.H. Kwok, K.C. Wong, K.F. Tsang, S.C. Cheung, K.Y. Tam, Digital Rights Management in Internet Open Trading Protocol (IOTP), in the Proceedings of International Conference on Electronic Commerce 2000, Seoul Korea, August 21-24, 2000, pp. 179-185.
  165. Paul Leung and S.C. Cheung, A CSCW Framework for the Flexible Coupling of Groupware Widgets, in the Proceedings of 5th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99), Las Vegas, October 1999, pp. 9-20. [Download]
  166. Jian Zhang, S.C. Cheung and Samuel T. Chanson, Stress Testing of Distributed Multimedia Software Systems, in the Proceedings of FORTE/PSTV'99, Beijing, P.R. China, October 1999, pp. 119-134. [Download]
  167. Jian Zhang, S.C. Cheung and Samuel T. Chanson, Formalizing Timed Petri Nets in Predicate Logic Based on a Discrete Time Model, in the Proceedings of 5th International Conference for Young Computer Scientists (ICYCS'99), Nanjing, P.R. China, August 1999, pp. 1-6.
  168. S.C. Cheung and C.Y. Lam, Exploring the Browsing Semantics of Information on the Web, in the Proceedings of 10th International Conference of the Information Resources Management Association, Pennsylvania, May 1999, pp. 740-745. [Download]
  169. M.Y. Chan and S.C. Cheung, Testing Database Applications with SQL Semantics, in the Proceedings of 2nd International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'99), Wollongong, Australia, March 1999, pp. 363-374. [Download]
  170. F.T. Chan, T.Y. Chen, S.C. Cheung, M.F. Lau and S.M. Yiu, Application of Metamorphic Testing in Numerical Analysis, in the Proceedings of IASTED International Conference on Software Engineering SE'98, Las Vegas, October 1998, pp. 191-197.
  171. Paul Leung and S.C. Cheung, A Notification Service Model supporting Flexible Coupling for CSCW Systems, in Proc. of the 3rd International Workshop on Computer Supported Cooperation Work in Design, Tokyo, Japan, July 1998, 6 pages.
  172. S.C. Cheung, Leo Wong and Samuel T. Chanson, A Two-Tier Technique for Authoring Distributed Multimedia Applications, in the Proc. IEEE International Conference on Multimedia Computing Systems, June 1998. [Download]
  173. S.C. Cheung and Leo Wong, Construction of Distributed Multimedia Applications using Views, in Proc. International Symposium on Software Engineering for Parallel and Distributed Systems PDSE98, Kyoto, Japan, April 1998, pp. 166-175. [Download]
  174. V. Misic, Samuel T. Chanson and S.C. Cheung, Towards a Framework for Testing Distributed Multimedia Software Systems, in Proc. International Symposium on Software Engineering for Parallel and Distributed Systems PDSE98, Kyoto, Japan, April 1998, pp. 72-82. [Download]
  175. A.C.Y. Wong, S.T. Chanson and S.C. Cheung, and H. Fuchs, A Framework for Distributed Object-Oriented Testing, in Proc. IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol, and Protocol Specification, Testing, and Verification FORTE/PSTV97, Osaka, Japan, November 1997. [Download]
  176. S.C. Cheung, Dimitra Giannakopoulou and Jeff Kramer, Verification of Liveness Properties using Compositional Reachability Analysis, in Proc. ESEC97/FSE97, Sept 1997, pp. 227-243.
  177. [Download]

  178. D. Giannakopoulou, J. Kramer and S.C. Cheung, TRACTA: An Environment for Analyzing the Behaviour of Distributed Systems, in Proc. ACM SIGPLAN Workshop of Automated Analysis of Software, Paris, January 1997. [Download]
  179. Tin-Fook Ngai, King-On Yeung and S.C. Cheung. An Integrated Distributed Multimedia System and Development Environment. In Proc. 1996 Pacific Workshop on Distributed Multimedia Systems, Hong Kong, June 1996, pp. 191-198. [Download]
  180. S.C. Cheung and J. Kramer. Checking Subsystem Safety Properties in Compositional Reachability Analysis. In Proc. the 18th IEEE International Conference on Software Engineering, Berlin, Germany, March 1996, pp. 144-154. [Download]
  181. S.C. Cheung and J. Kramer. Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. In Proc. FSE95: 3rd International Symposium on the Foundations of Software Engineering, Washington D.C., October 1995, pp. 140-150. [Download]

  182. S.C. Cheung and J. Kramer. An Integrated Method for Effective Behaviour Analysis of Distributed Systems. In Proc. the 16th IEEE International Conference on Software Engineering, Sorrento, Italy, May 1994, pp. 309-320. [Download]
  183. S.C. Cheung and J. Kramer. Enhancing Compositional Reachability Analysis with Context Constraints. In Proc. SIGSOFT'93: 1st International Symposium on the Foundations of Software Engineering, Los Angeles, California, December 1993, pp. 115-125. [Download]

  184. S.C. Cheung and J. Kramer. Tractable Flow Analysis for Anomaly Detection in Distributed Programs. In Proc. 4th European Software Engineering Conference (ESEC'93), Germany, September 1993, published in LNCS 717, pp. 283-300. [Download]
  185. K.P. Twidle, M.S. Sloman, J.N. Magee, J. Kramer, N. Dulay, S. Crane and S.C. Cheung. Configuring Heterogeneous Open Systems. In Proc. First International Conference on Enterprise Integration Modelling Technology, MIT Press, Hilton Head, SC, USA, June 1992, pp. 513-523.
  186. J. Kramer, J. Magee, M. Sloman, N. Dulay, S.C. Cheung, S. Crane, and K. Twidle. An Introduction to Distributed Programming in REX. In Proceedings of ESPRIT Conference'91, Brussels, November 1991, pp. 207-221.
  187. Other Publications

  188. Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey, ACM SIGSOFT FSE 2014 Conference Summary, ACM SIGSOFT Software Engineering Notes 40(2), 2015, pp. 22-27. [Download]
  189. 刘烨庞, 许 畅, 张成志. 智能手机应用的能耗与性能问题诊断, 中国计算机学会通讯, 第 10 卷 , 第 12 期,  2014 年 12 月, pp. 40-42. (In English: Yepang Liu, Chang Xu, and S.C. Cheung. Detecting Energy and Performance Bugs for Smartphone Applications. Communications of the CCF, Vol. 10, No. 12, pp. 40-42, Dec 2014.) [Download]
  190. Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao (eds.): Web Information Systems Engineering - WISE 2010 Workshops - WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers, LNCS 6724,Springer 2011.
  191. Lin Gu and S.C. Cheung, Constructing and Testing Privacy-Aware Services in a Cloud Computing Environment - Challenges and Opportunities, Internetware 2009, Beijing, October 17-18, 2009. Invited paper.
  192. Chunyang Ye, S.C. Cheung, Jun Wei, Hua Zhong, and Tao Huang, A Study on the Replaceability of Context-aware Middleware, Internetware 2009, Beijing, October 17-18, 2009. Invited paper.
  193. Dickson K.W. Chiu, S.C. Cheung, Ho-fung Leung, Patrick C.K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, and Yi Zhuang, Engineering e-Collaboration Services with a Multi-Agent System Approach, International Journal of Systems and Service-Oriented Engineering (IJSSOE), 2009. Invited paper.
  194. S.C. Cheung, Hui Lei, and Michael R. Lyu, Preface for the ICEBE 2007 Special Section, Service Oriented Computing and Applications, March 2009.
  195. S.C. Cheung, Hong Mei, and Jian Lv, Preface for the Special Issue on Software Engineering for High-Confidence Systems, Journal of Computer Science and Technology, Vol. 24, No. 2, February 2009.
  196. S.C. Cheung and Jun Han, Guest Editorial on Services Engineering, Journal of Web Services Research, volume 4, number 2, April-June 2007.
  197. S.C. Cheung and Steve Easterbrook, Introduction to the ICSE 2006 Tutorials, Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006. [Download]

  198. Hong Zhu, Joseph R. Horgan, S.C. Cheung, J. Jenny Li, Introduction to the First International Workshop on Automation of Software Test, Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006, pp. 1028-9. [Download]

  199. Qing Li, Zhe Shan, Dickson K.W. Chiu, Patrick C.K. Hung, S.C. Cheung, Flows and Views for Scalable Scientific Process Integration, invited paper to the ACM 1st International Conference on Scalable Information Systems (INFOSCALE 2006), May 30 - June 1, 2006, Hong Kong. [Download]
  200. Dickson K.W. Chiu, S.C. Cheung, Patrick C.K. Hung, Sherian Y.Y. Chiu and K.K. Chung, Developing e-Negotiation Support for Matching and Un-matching Tradeoff Views in an e-Marketplace Environment, invited paper to the 4th IFIP Working Group 7.6. workshop on Virtual Environments for Advanced Modeling (VEAM), Honolulu, Hawaii, January 2-4, 2004.
  201. S.C. Cheung, Software Process Engineering in Hong Kong, in Proceedings of the 20th IEEE International Conference on Software Engineering, vol. II, Kyoto, Japan, April 1998, pp. 227-228 (an invited paper).
  202. Tsong Y Chen, S.C. Cheung and S.M. Yiu, Metamorphic Testing: A New Approach for Generating Next Test Cases, Technical Report HKUST-CS98-01, Department of Computer Science, Hong Kong University of Science and Technology, 1998. [Download]
  203. S.C. Cheung, Y.L. Tsung, eds., Proc. of the Joint 4th Asia-Pacific Software Engineering Conference and 4th International Computer Science Conference, Hong Kong, IEEE Computer Society Press, December 1997.
  204. K.C. Kang and S.C. Cheung, eds., Proc. of the 3rd Asia-Pacific Software Engineering Conference, Seoul, Korean, IEEE Computer Society Press, December 1996.