Shing Chi CHEUNG
張成志
PhD in Computing
Imperial College London, 1994

Professor
Department of Computer Science and Engineering

Director of Sino Software Research Institute

Associate Director of Radio Frequency Identification Center



(852) 2358 7016
sccheung@ust.hk
Room 2534
Personal Web

---

Google Scholar
5RIgb3wAAAAJ

ORCID
0000-0002-3508-7172

Scopus ID
7202472792




Research Interest Publications Projects Teaching Assignment RPG Supervision Space used




Research Interest

---

AIOps
Blockchain and smart contracts
Bug management
Intelligent software engineering
Open source software ecosystem
Software testing
Software vulnerability detection
Ubiquitous and pervasive computing



Publications

---

All Years 247 2022 0 2021 11 2020 10 2019 10 2018 9 2017 3 2016 204

---

Expand All Collapse All


2021 11

Automatic Detection and Update Suggestion for Outdated API Names in Documentation
IEEE Transactions on Software Engineering, v. 47, (4), April 2021, article number 8651318, p. 653-675
Lee, Seonah; Wu, Rongxin; Cheung, Shing Chi; Kang, Sungwon Article
Sifter: A Service Isolation Strategy For Internet Applications
IEEE Transactions on Services Computing, v. 14, (5), 1 September 2021, p. 1545-1557
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K. Article
To What Extent Do DNN-based Image Classification Models Make Unreliable Inferences?
Empirical Software Engineering, v. 26, (5), September 2021, article number 84
Tian, Yongqiang; Ma, Shiqing; Wen, Ming; Liu, Yepang; Cheung, Shing-chi; Zhang, Xiangyu Article
Will Dependency Conflicts Affect My Program's Semantics
IEEE Transactions on Software Engineering, February 2021, p. 1-1
Wang, Ying; Wu, Rongxin; Wang, Chao; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Yu, Hai; Xu, Chang; Zhu, Zhi-liang Article
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness
IEEE Transactions on Services Computing, v. 14, (4), July - August 2021, article number 8450038, p. 1224-1237
Song, Wei; Jacobsen, Hans-Arno; Cheung, Shing Chi; Liu, Hongyu; Ma, Xiaoxing Article
一种验证分布式协议活性属性容错机制的模型检测方法
计算机学报=Chinese Journal of Computers, v. 44, (8), August 2021, p. 1714-1731
陆超逸; 聂长海; 张成志 Article
Darcher: Detecting on-chain-off-chain synchronization bugs in decentralized applications
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York : Association for Computing Machinery, 2021, p. 553-565
Zhang, Wuqi; Wei, Lili; Li, Shuqing; Liu, Yepang; Cheung, Shing Chi Conference paper
A Comprehensive Study of Deep Learning Compiler Bugs
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021, p. 968-980
Shen, Qingchao; Ma, Haoyang; Chen, Junjie; Tian, Yongqiang; Cheung, Shing Chi; Chen, Xiang Conference paper
HERO: On the Chaos When PATH Meets Modules
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) / IEEE. New York, NY, USA : IEEE, 2021, p. 99-111
Wang, Ying; Qiao, Liang; Xu, Chang; Liu, Yepang; Cheung, Shing Chi; Meng, Na; Yu, Hai; Zhu, Zhiliang Conference paper
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
Proceedings of the 30th USENIX Security Symposium, 2021, p. 3847-3864
Li, Yeting; Chen, Zixuan; Cao, Jialun; Xu, Zhiwu; Peng, Qiancheng; Chen, Haiming; Chen, Liyuan; Cheung, Shing Chi Conference paper
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) / IEEE. IEEE Computer Society, 2021, p. 1210-1222
Li, Yeting; Li, Shuaimin; Xu, Zhiwu; Cao, Jialun; Chen, Zixuan; Hu, Yun; Chen, Haiming; Cheung, Shing Chi Conference paper

2020 10

ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection
IEEE Transactions on Services Computing, v. 13, (2), March-April 2020, article number 8883087, p. 314-328
Wang, Xinming; He, Jiahao; Xie, Zhijian; Zhao, Gansen; Cheung, Shing Chi Article
ContractGuard：面向以太坊區塊鏈智能合約的入侵檢測系統
網絡與信息安全學報=Chinese Journal of Network and Information Security, v. 6, (2), April 2020, p. 35-55
趙淦森; 謝智健; 王欣明; 何嘉浩; 張成志; 林成創; Zhou, Ziheng; 陳冰川; Rong, Chunming Article
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes
IEEE Transactions on Software Engineering, v. 46, (11), November 2020, p. 1155-1175
Wen, Ming; Wu, Rongxin; Cheung, Shing Chi Article
Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps
IEEE Transactions on Software Engineering, v. 46, (11), November 2020, p. 1176-1199
Wei, Lili; Liu, Yepang; Cheung, Shing Chi; Huang, Huaxun; Lu, Xuan; Liu, Xuanzhe Article
Boosting Automated Program Repair with Bug-Inducing Commits
ICSE-NIER '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 77-80
Wen, Ming; Liu, Yepang; Cheung, Shing Chi Conference paper
Detecting numerical bugs in neural network architectures
ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 8 November 2020, p. 826-837
Zhang, Yuhao; Ren, Luyao; Chen, Liqian; Xiong, Yeifei; Cheung, Shing Chi; Xie, Tao Conference paper
EvalDNN: A toolbox for evaluating deep neural network models
Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion, ICSE-Companion 2020, June 2020, article number 3382133, p. 45-48
Tian, Yongqiang; Zeng, Zhihua; Wen, Ming; Liu, Yepang; Kuo, Tzu-yang; Cheung, Shing-Chi Conference paper
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 / ACM. New York, NY, USA : ACM, 2020, p. 659-671, Article number: 9286092
Li, Yeting; Xu, Zhiwu; Cao, Jialun; Chen, Haiming; Ge, Tingjian; Cheung, Shing Chi; Zhao, Haoren Conference paper
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, ACM. New York, NY, USA : ACM, 2020, p. 436-447, Article no.: 9286134
Zhu, Hengcheng; Wei, Lili; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Sheng, Qin; Zhou, Cui Conference paper
Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 125-135, Article number 3380426
Wang, Ying; Wen, Ming; Liu, Yepang; Wang, Yibo; Li, Zhenming; Wang, Chao; Yu, Hai; Cheung, Shing Chi; Xu, Chang; Zhu, Zhiliang Conference paper

2019 10

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs
IEEE Internet of Things Journal, v. 6, (3), June 2019, p. 5376-5386
Sun, Yuxia; Guo, Song; Cheung, Shing Chi; Tang, Yong Article
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs
IEEE Internet of Things Journal, v. 6, (5), October 2019, article number 8746139, p. 8945-8957
Sun, Yuxia; Cheung, Shing-Chi; Guo, Song; Cheng, Ming Article
DroidLeaks: A Comprehensive Database of Resource Leaks in Android Apps
Empirical Software Engineering, v. 24, December 2019, p. 3435-3483
Liu, Yepang; Wang, Jue; Wei, Lili; Xu, Chang; Cheung, Shing Chi; Wu, Tianyong; Yan, Jun; Zhang, Jian Article
File-level Socio-technical Congruence and Its Relationship With Bug Proneness in OSS Projects
Journal of Systems and Software, v. 156, October 2019, p. 21-40
Zhang, Weiqiang; Cheung, Shing Chi; Chen, Zhenyu; Zhou, Yuming; Luo, Bing Article
Historical Spectrum based Fault Localization
IEEE Transactions on Software Engineering, v. 47, (11), November 2021, p. 2348-2368
Wen, Ming; Chen, Junjie; Tian, Yongqiang; Wu, Rongxin; Hao, Dan; Han, Shi; Cheung, Shing-chi Article
Could i Have a Stack Trace to Examine the Dependency Conflict Issue?
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812128, p. 572-583
Wang, Ying; Wen, Ming; Wu, Rongxin; Liu, Zhenwei; Tan, Shin Hwei; Zhu, Zhiliang; Yu, Hai; Cheung, Shing Chi Conference paper
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits
Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2019, p. 326-337
Wen, Ming; Wu, Rongxin; Liu, Yepang; Tian, Yongqiang; Xie, Xuan; Cheung, Shing Chi; Su, Zhendong Conference paper
Exposing Library API Misuses via Mutation Analysis
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812114, p. 866-877
Wen, Ming; Liu, Yepang; Wu, Rongxin; Xie, Xuan; Cheung, Shing Chi; Su, Zhendong Conference paper
Pivot: learning API-device correlations to facilitate Android compatibility issue detection
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8811898, p. 878-888
Wei, Lili; Liu, Yepang; Cheung, Shing Chi Conference paper
SGUARD: A feature-based clustering tool for effective spreadsheet defect detection
Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 / IEEE. Piscataway, NJ : IEEE, 2019, p. 1142-1145
Li, Da; Wang, Huiyan; Xu, Chang; Zhang, Ruiqing; Cheung, Shing Chi; Ma, Xiaoxing Conference paper

2018 9

ChangeLocator:Locate Crash-Inducing Changes Based on Crash Reports
Empirical Software Engineering, v. 23, (5), October 2018, p. 2866-2900
Wu, Rongxin; Wen, Ming; Cheung, Shing Chi; Zhang, hongyu Article
A Tale of Two Cities: How Webview Induces Bugs to Android Applications
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, September 2018, p. 702-713
Hu, Jiajun; Wei, Lili; Liu, Yepang; Cheung, Shing Chi; Huang, Huaxun Conference paper
An Empirical Study on TensorFlow Program Bugs
ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2018, p. 129-140
Zhang, Yuhao; Chen, Yifan; Cheung, Shing Chi; Xiong, Yingfei; Zhang, Lu Conference paper
ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports
2018 ACM/IEEE 40th International Conference on Software Engineering (ICSE), 2018, p. 536-536
Wu, Rongxin; Wen, Ming; Cheung, Shing Chi; Zhang, Hongyu Conference paper
Context-Aware Patch Generation for Better Automated Program Repair
Proceedings - International Conference on Software Engineering, v. 2018-January, 2018, p. 1-11
Wen, Ming; Chen, Junjie; Wu, Rongxin; Hao, Dan; Cheung, Shing Chi Conference paper
Do the Dependency Conflicts in My Project Matter?
ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, October 2018, p. 319-330
Wang, Ying; Wen, Ming; Liu, Zhenwei; Wu, Rongxin; Wang, Rui; Yang, Bo; Yu, Hai; Zhu, Zhiliang; Cheung, Shing Chi Conference paper
Synthesizing Relation-Aware Entity Transformation by examples
Proceedings - International Conference on Software Engineering, May 2018, p. 266-267
Wu, Jiarong; Jiang, Yanyan; Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Lu, Jiang Conference paper
Understanding and Detecting Callback Compatibility Issues for Android Applications
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, September 2018, p. 532-542
Huang, Huaxun; Liu, Yepang; Wei, Lili; Cheung, Shing Chi Conference paper
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations Using PAF
ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, October 2018, p. 679-690
Kim, Mi Jung; Cheung, Shing Chi; Kim, Sung Hun Conference paper

2017 3

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets
IEEE Transactions on Software Engineering, v. 43, (3), March 2017, article number 7498607, p. 226-251
Dou, Wensheng; Xu, Chang; Cheung, Shing Chi; Wei, Jun Article
How Effectively Can Spreadsheet Anomalies Be Detected: An Empirical Study
Journal of Systems and Software, v. 126, April 2017, p. 87-100
Zhang, Ruiqing; Xu, Chang; Cheung, Shing Chi; Yu, Ping; Ma, Xiaoxing; LU, Jian Article
OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 2017, p. 672-682
Wei, Lili; Liu, Yepang; Cheung, Shingchi Conference paper

2016 12

Casper: An efficient approach to call trace collection
ACM SIGPLAN Notices, v. 51, (1), April 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C Article
Hybrid CPU-GPU constraint checking: Towards efficient context consistency
Information and Software Technology, v. 74, June 2016, p. 230-242
Sui, Jun; Xu, Chang; Cheung, Shing Chi; Xi, Wang; Jiang, Yanyan; Cao, Chun; Ma, Xiaoxing; Lu, Jian Article
GreenDroid: automated diagnosis of energy inefficiency for smartphone applications
Internetware: A new software paradigm for Internet computing / Edited by Hong Mei, Jian Lü. Singapore : Springer, 2016, p. 389-438
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shi-Chi Book chapter
Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C. Conference paper
Coverage-Driven Test Code Generation for Concurrent Classes
Proceedings - International Conference on Software Engineering, 2016, p. 1121-1132
Terragni, Valerio; Cheung, Shing Chi Conference paper
CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites
ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis, July 2016, p. 118-129
Terragni, Valerio; Liu, Yepang; Cheung, Shing Chi Conference paper
CUSTODES: Automatic spreadsheet cell clustering and smell detection using strong and weak features
Proceedings - International Conference on Software Engineering, v. 14-22-May-2016, May 2016, p. 464-475
Cheung, Shing Chi; Chen, Wanjun; Liu, Yepang; Xu, Chang Conference paper
Detecting Table Clones and Smells in Spreadsheets
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 787-798
Dou, Wensheng; Cheung, Shingchi; Gao, Chushu; Xu, Chang; Xu, Liang; Wei, Jun Conference paper
Locus: Locating Bugs from Software Changes
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 262-273
Wen, Ming; Wu, Rongxin; Cheung, Shing Chi Conference paper
Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 226-237
Wei, Lili; Liu, Yepang; Cheung, Shingchi Conference paper
Understanding and Detecting Wake Lock Misuses for Android Applications
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 396-409
Liu, Yepang; Xu, Chang; Cheung, Shingchi; Terragni, Valerio Conference paper
VEnron: a Versioned Spreadsheet Corpus and Related Evolution Analysis
Proceedings of the 38th International Conference on Software Engineering Companion (ICSE 2016), May 2016, p. 162-171
Dou, Wensheng; Xu, Liang; Cheung, Shing Chi; Gao, Chushu; Wei, Jun; Huang, Tao Conference paper

2015 4

A survey on dependability improvement techniques for pervasive computing systems
Science China Information sciences, v. 58, (5), May 2015
Yang, Wen Hua; Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications
IEEE Software, v. 32, (1), January 2015, article number 7030255, p. 67-75
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities
IEEE Software, v. PP, (99), January 2015, article number 7006336
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan Conference paper

2014 8

CHECKERDROID: Automated Quality Assurance for Smartphone Applications
International Journal of Software & Informatics, v. 8, (1), 2014, p. 21-41
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Yang, Wen Hua Article
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
IEEE Transactions on Software Engineering, v. 40, (9), Sept, 2014, p. 911-940
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Lu, Jian Article
Scaling Up Symbolic Analysis by Removing Z-Equivalent States
ACM Transactions on Software Engineering and Methodology, v. 23, (34), August 2014, p. 911-940
Li, Yueqi; Cheung, Shing Chi; Zhang, Xiangyu; Liu, Yepang Article
Characterizing and Detecting Performance Bugs for Smartphone Applications
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 1013-1024
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper
Characterizing and Detecting Performance Bugs for Smartphone Applications
36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, 31 May - 7 June 2014
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper
CrashLocator: Locating Crashing Faults Based on Crash Stacks
2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings, July 2014, p. 204-214
Wu, Rongxin; Zhang, Hongyu; Cheung, Shing Chi; Kim, Sung Hun Conference paper
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 848-858
Dou, Wensheng; Cheung, Shing Chi; Wei, Jun Conference paper
Symbolic State Validation through Runtime Data
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, New York, NY, USA : ACM, 2014, p. 187-197
Li, Yueqi; Cheung, Shing Chi Conference paper

2013 7

AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software, v. 86, (3), March 2013, p. 854-867
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Detecting Faults in Context-aware Adaptation
International Journal of Software and Informatics (IJSI), v. 7, (1), January 2013, p. 85-111
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lv, Jian Article
Towards context consistency by concurrent checking for Internetware applications
Science China Information Sciences, v. 56, (8), August 2013, p. 1-20
Xu, Chang; Liu, Yepang; Cheung, Shing Chi; Cao, Chun; Lv, Jian Article
一种面向传感器网络应用程序的有效测试方法
计算机学报=Chinese Journal of Computers, v. 36, (12), 2013, p. 2371-2389
孙玉霞; Harrold, Mary Jean; Cheung, Shing Chi; 汤庸 Article
一種基于程序變異的軟件錯誤定位技術
計算機學報=Chinese Journal of Computers, v. 36, (11), November 2013, p. 2236-2244
賀韜; 王欣明; 周曉聰; 李文軍; 張震宇; 張成志 Article
A Cost-effectiveness Criterion for Applying Software Defect Prediction Models
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 643-646
Zhang, Hongyu; Cheung, Shing Chi Conference paper
Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications
2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013), Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 2-10
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper

2012 4

Adam: Identifying defects in context-aware adaptation
The Journal of systems and software, v. 85, (12), 2012, Dec, p. 2812-2828
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian Article
Human and program factors affecting the maintenance of programs with deployed design patterns
Information and software technology, v. 54, (1), 2012, p. 99-118
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi; Chan, W.K. Article
Mixed-reality simulation of RFID systems using iterated learning
International Journal of RF Technologies: Research and Applications, v. 3, (4), 2012, p. 219-242
Cheng, Hong; Liu, Yu; Cheung, Shing Chi; Zeng, Junfang; Tan, Jie; Yang, Yiping Article
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012, Article no. 1, p.1-10
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian Conference paper

2011 7

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems
IEEE journal on selected areas in communications, v. 29, (8), September 2011, p. 1684-1697
Xu, Xunteng; Gu, Lin; Wang, Jianping; Xing, Guoliang; Cheung, Shing Chi Article
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views
Journal of database management, v. 22, (2), April 2011, p. 32-63
Chiu, Dickson K.W.; Li, Qing; Hung, Patrick C.K.; Shan, Zhe; Cheung, Shing Chi; Yang, Yu; Farwick, Matthias Article
The First International Workshop on Cloud Information System Engineering(CISE 2010) chairs' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 6724 LNCS, 2011, p. XI
Leung, Ho Fung; Cheung, Shing Chi; Chiu, Dickson Article
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
IEEE Transactions on Software Engineering, v. 37, (3), May 2011, p. 430-447
Kim, Dongsun; Wang, Xinming; Kim, Sunghun; Zeller, Andreas; Cheung, Shing Chi; Park, Sooyong Article
Refactoring and publishing WS-BPEL processes to obtain more partners
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, 2011, p. 129-136
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Yang, Qiliang; Jian, Lu Conference paper
ReLink: Recovering links between bugs and changes
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2011, p. 15-25
Wu, Rongxin; Zhang, Hongyu; Kim, Sunghun; Cheung, Shing Chi Conference paper
Understanding a developer social network and its evolution
IEEE International Conference on Software Maintenance, ICSM, Sept 2011, Article number 6080799, p. 323-332
Hong, Qiaona; Kim, Sunghun; Cheung, Shing Chi; Bird, Christian A. Conference paper

2010 15

Data-driven testing methodology for RFID systems
Frontiers of Computer Science in China, v. 4, (3), 2010, p. 354-364
Lu, An; Fang, Wenbin; Xu, Chang; Cheung, Shing Chi; Liu, Yü Article
Detecting atomic-set serializability violations in multi-threaded programs through active randomized testing
2010 ACM/IEEE 32nd International Conference on Software Engineering, v. 1, 2010, May, p. 235-244
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K. Article
Engineering e-Collaboration Services with a Multi-Agent System Approach
International Journal of Systems and Service-Oriented Engineering (IJSSOE), v. 1, (1), 2010, p. 1-25
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung; Hung, Patrick C.K.; Kafeza, Eleanna; Hu, Hua; Wang, Minhong; Hu, Haiyang; Zhuang, Yi Article
Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization
International Journal of Organizational and Collective Intelligence, v. 1, (1), 2010, p. 15-43
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Narupiyakul, Lalita; Hung, Patrick C.K. Article
Partial Constraint Checking for Context Consistency in Pervasive Computing
ACM transactions on software engineering and methodology(TOSEM), v. 19, (3), 2010, Jan, Article number 9
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Article
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the CSIOT 2010 workshop chairs
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, 11-13 Dec 2010, Article number 5703632, p. xxxi
Jin, Beihong; Pan, Gang; Cheung, Shing Chi Article
Sequential Event Pattern Based Design of Context-Aware Adaptive Application
Int. J. Software and Informatics, v. 4, (3), 2010, Dec, p. 419-436
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi Article
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
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 / Edited by Dickson K.W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao. Springer Science & Business Media, 2010
Chiu, Dickson K.W.; Bellatreche, Ladjel; Sasaki, Hideyasu; Leung, Ho Fung; Cheung, Shing Chi; Hu, Haiyang; Shao, Jie Book
A metamorphic testing methodology for online SOA application testing
Web Services Research for Emerging Applications: Discoveries and Trends: Discoveries and Trends / Edited by Zhang, Liang-Jie. IGI Global, 2010
Chan, WK; Cheung, Shing Chi; Leung, Karl RPH Book chapter
Factors for effective use of deployed design patterns
Proceedings - International Conference on Quality Software, 2010, p. 112-121
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi Conference paper
Investigation of Radio Link Budget for UHF RFID Systems
IEEE International Conference on RFID-Technology and Applications 2010 (RFID-TA2010), Guangzhou, China, 17-19 June 2010
Su, Zhuo; Cheung, Shing Chi; Chu, Koon Ting Conference paper
LocaToR: Locating passive RFID tags with the relative neighborhood graph
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Los Alamitos, California, Washington, Tokyo : CPS, IEEE Computer Society, 2010, p. 154-161
Zhao, Yiyang; Cheung, Shing Chi; Ni, Lionel Ming-Shuan Conference paper
Preserving data flow correctness in process adaptation
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010, 2010, p. 9-16
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Lü, Jian Conference paper
Sequential event pattern based context-aware adaptation
Proceedings of the 2nd Asia-Pacific Symposium on Internetware, Internetware 2010, 2010
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi Conference paper
The impact of reader to tag collision on RFID tag identification
Lecture Notes in Computer Science, v. 6221, 2010, p. 115-119
Zhao, Yiyang; Hong, Weijun; Cheung, Shing Chi; Li, Shufang Conference paper

2009 14

Atomicity Analysis of Service Composition across Organizations
IEEE Transactions on Software Engineering, v. 35, (1), 2009, JAN-FEB, p. 2-28
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Article
Interactive Visual Optimization and Analysis for RFID Benchmarking
IEEE Transactions on Visualization and Computer Graphics, v. 15, (6), November 2009, article number 5290746, p. 1335-1342
Wu, Yingcai; Chung, Ka-Kei; Qu, Huamin; Yuan, Xiaoru; Cheung, Shing Chi Article
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
JOURNAL OF SYSTEMS AND SOFTWARE, v. 82, (3), 2009, MAR, p. 422-434
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H. Article
Preface
Journal of Computer Science and Technology, v. 24, (2), March 2009, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian Article
Preface for the ICEBE 2007 special section
Service Oriented Computing and Applications, v. 3, (2), 2009, June, p. 127
Cheung, Shing Chi; Lei, Hui; Lyu, Michael R. Article
Semantic Sensor Net: An Extensible Framework
International Journal of Ad Hoc and Ubiquitous Computing, v. 4, (3-4), 2009, p. 157-167
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang; Li, Minglu; Wu, Min-you Article
Special Issue on Software Engineering for High-Confidence Systems: Preface
Journal of Computer Science and Technology, v. 24, (2), 2009, March, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian Article
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization
2009 IEEE 31st International Conference on Software Engineering (ICSE), v. 2009, May, p. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu Article
Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure
Mobile and Ubiquitous Commerce: Advanced E-Business Methods / Edited by Milena M. Head, Eldon Y. Li. Hershey, PA: Information Science Reference, 2009, p. 283-302
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung Book chapter
Towards a dependable software paradigm for service-oriented computing
High Assurance Services Computing / Edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. US: Springer US, 2009, p. 163-192
Ma, Xiaoxing; Cheung, Shing Chi; Cao, Chun; Xu, Feng; Lu, Jian Book chapter
A public-view approach to timed properties verification for B2B Web service compositions
SCC 2009 - 2009 IEEE International Conference on Services Computing, 2009, p. 427-434
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Dou, Wanchun; Lü, Jian Conference paper
A study on the replaceability of context-aware middleware
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Ye, Chunyang; Cheung, Shing Chi; Wei, Jun; Zhong, Hua; Huang, Tao Conference paper
Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization
31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009, pp. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu Conference paper
Constructing and testing privacy-aware services in a cloud computing environment - Challenges and opportunities
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Gu, Lin; Cheung, Shing Chi Conference paper

2008 6

A workflow engine-driven SOA-based cooperative computing paradigm in grid environments
International journal of high performance computing applications, v. 22, (3), 2008, AUG, p. 284-300
Dou, Wanchun; Chen, Jinjun; Liu, Jianxun; Cheung, Shing Chi; Chen, Guihai; Fan, Shaokun Article
Alerts in Healthcare Applications: Process and Data Integration
International journal of healthcare information systems and informatics, v. 4, (2), 2009, p. 36-56
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Kafeza, Marina; Cheung, Shing Chi; Kafeza, Eleanna; Hung, Patrick C.K. Article
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 2008, Nov, p. 94-104
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K. Article
The use of digital watermarking for intelligence multimedia document distribution
Journal of Theoretical and Applied Electronic Commerce Research, v. 3, (3), 2008, p. 103-118
Cheung, Shing Chi; Chiu, Dickson K.W.; Ho, Cedric Article
Decentralized constraint checking for pervasive computing
Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (Ph. D. forum), Hong Kong, 2008, p. 45-48
Xu, Chang; Cheung, Shing Chi Conference paper
Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications
Proceedings - The 28th International Conference on Distributed Computing Systems, ICDCS 2008, 2008, p. 713-721
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Conference paper

2007 15

A metamorphic testing approach for online testing of service-oriented software applications
International journal of web services research, v. 4, (2), 2007, APR-JUN, p. 61-81
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H. Article
Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure
International Journal of Knowledge and Learning, v. 3, (1), 2007, p. 88-105
Dou, Wanchun; Liu, Xiping; Cheung, Shing Chi; Cai, Shijie; Chen, Guihai Article
On design, verification, and dynamic modification of the problem-based scientific workflow model
Simulation modelling practice and theory, v. 15, (9), 2007, OCT, p. 1068-1088
Liu, Xiping; Dou, Wanchun; Chen, Jinjun; Fan, Shaokun; Cheung, Shing Chi; Cai, Shijie Article
Ubiquitous enterprise service adaptations based on contextual user behavior
Information Systems Frontiers, v. 9, (4), 2007, SEP, p. 343-358
Hong, Dan; Chiu, Dickson K.W.; Shen, Vincent Y.; Cheung, Shing Chi; Kafeza, Eleanna Article
Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture
40th Hawaii International Conference on System Sciences (HICSS-40), Hawaii, Jan. 2007, 10 pages
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
Detection and resolution of atomicity violation in service composition
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, 2007, p. 235-244
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Conference paper
Developing a distributed e-monitoring system for enterprise Website and Web services: An experience report with free libraries and tools
Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007, 2007, p. 1008-1015
Cheong, Frank K.W.; Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
Do maintainers utilize deployed design patterns effectively?
Proceedings - International Conference on Software Engineering, 2007, p. 168-177
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper
Goal-directed context validation for adaptive ubiquitous systems
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K. Conference paper
Message from ICEBE 2007 program chairs
Proceedings - ICEBE 2007: IEEE International Conference on e-Business Engineering - Workshops: SOAIC 2007; SOSE 2007; SOKM 2007, 2007, Article number 4402055, p. xviii
Cheung, Shing Chi; Lei, Hui; Lyu, Michael Conference paper
On impact-oriented automatic resolution of pervasive context inconsistency
Foundations of Software Engineering: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 3-7 Sept 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Conference paper
Process evolution with atomicity consistency
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K. Conference paper
Teaching embedded systems software: The HKUST experience
International Conference on Parallel and Distributed Systems (ICPADS), 2007, p. 653-658
Muppala, Jogesh K.; Gu, Zonghua; Cheung, Shing Chi Conference paper
Towards the testing of power-aware software applications for wireless sensor networks
Lecture Notes in Computer Science, v. 4498, 2007, p. 84-99
Chan, W.K.; Chen, Tsong Yueh; Cheung, Shing Chi; Tse, T.H.; Zhang, Zhenyu Conference paper
Towards ubiquitous government services through adaptations with context and views in a three-tier architecture
Proceedings of the Annual Hawaii International Conference on System Sciences, 2007
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper

2006 22

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study
JOURNAL OF SYSTEMS AND SOFTWARE, v. 79, (5), 2006, MAY, p. 602-612
Chan, WK; Cheng, MY; Cheung, Shing Chi; Tse, TH Article
Performance aware service pool in dependable service oriented architecture
Journal of computer science and technology, v. 21, (4), 2006, JUL, p. 565-573
Huang, Gang; Zhou, Li; Liu, Xuan-Zhe; Mei, Hong; Cheung, Shing Chi Article
软件体系结构模型单层化的一致性保障方法
软件学报=Journal of Software, v. 2006, (06), 2006, p. 1391-1400
楊杰; 黃罡; 陳湘萍; 梅宏; 張成志 Article
Mobile workforce management in a service-oriented enterprise: Capturing concepts and requirements in a multi-agent infrastructure
Enterprise Service Computing: From Concept to Deployment / Robin Qiu. IGI Global, 2006, p. 105-130
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho Fung Book chapter
A Combinatorial Methodology for RFID Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Cheung, Shing Chi; Chan, W.K.; Lee, Penny M.K.; Ni, Lionel Ming-Shuan; Ng, Peter Conference paper
Adapting ubiquitous enterprise services with context and views
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC, 2006, p. 391-394
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
An entity-relationship model based conceptual framework for model driven development
Proceedings of the IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, v. 2006, 2006, p. 200-205
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing Conference paper
Cooperative cognition and its implementation under web environment
2006 2nd International Conference on Semantics Knowledge and Grid, SKG, 2006
Dou, Wanchun; Chen, Guihai; Cheung, Shing Chi; Cai, Shijie Conference paper
Distinguishing between automatic and manual aspects of model driven development
Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, 2006, p. 487-488
Duan, Yucong; Gu, Yuqing; Cheung, Shing Chi; Fu, Xiaoian; Wang, Jing; Hu, Qingwu Conference paper
Dynamic model learning using genetic algorithm under adaptive model checking framework
Proceedings - International Conference on Quality Software, 2006, p. 410-417
Lai, Zhifeng; Cheung, Shing Chi; Jiang, Yunfei Conference paper
Flows and views for scalable scientific process integration
ACM International Conference Proceeding Series, v. 152, 2006, article number 1146877
Li, Qing; Shan, Zhe; Hung, Patrick C.K.; Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
Incremental consistency checking for pervasive context
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 292-301
Xu, Chang; Cheung, Shing Chi; Chan, W.K. Conference paper
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 186-196
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Conference paper
MOTSA TOF-MRA using multi-oblique-stacks acquisition (MOSA)
ISMRM 14th Scientific Meeting & Exhibition, Seattle, Washington, 6-12 May 2006, p. Abstract no. 1942
Hui, SK; Yang, J.; Cheung, Shing Chi; Wu, Ed Xuekui Conference paper
Program co-chairs' message
Proceedings - International Conference on Software Engineering, Shanghai, China, 20-28 May 2006
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, J. Jenny Conference paper
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 351-360
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K. Conference paper
Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering
Proceedings - International Computer Software and Applications Conference, v. 1, 2006, p. 429-436
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H. Conference paper
RFID Middleware Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Luo, Zongwei; Wong, Ed; Cheung, Shing Chi; Ni, Lionel Ming-Shuan; Chan, W.K. Conference paper
The first international workshop on automation of software test
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 1028-1029
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, Jenny Conference paper
Toward Effective Deployment of Design Patterns for Software Extension: A Case Study
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
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper
Tutorials: full day tutorials
Proceeding of the 28th international conference on Software engineering, 2006
Cheung, Shing Chi; Easterbrook, S. Conference paper
Work experience versus refactoring to design patterns: A controlled experiment
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 12-22
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper

2005 16

A hybrid workflow paradigm for integrating self-managing domain-specific applications
Lecture Notes in Computer Science, v. 3795, 2005, p. 1084-1095
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Wang, Jie; Cai, Shijie Article
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
Journal of Computer Science and Technology, v. 20, (1), January 2005, p. 105-117
Gao, Wen; Ni, Lionel Ming-Shuan; Xu, Zhiwei; Cheung, Shing Chi; Cui, Li; Luo, Qiong Article
Certificate-driven grid workflow paradigm based on service computing
Lecture Notes in Computer Science, v. 3795, 2005, p. 155-160
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Cai, Shijie Article
Developing e-Negotiation support with a meta-modeling approach in a Web services environment
Decision Support Systems, v. 40, (1), 2005, JUL, p. 51-69
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, SYY; Chung, AKK Article
Enhancing class commutability in the deployment of design patterns
Information and software technology, v. 47, (12), 2005, SEP 1, p. 797-804
Ng, TH; Cheung, Shing Chi Article
Integrating legacy sites into web services with webxcript
International journal of cooperative information systems, v. 14, (1), 2005, MAR, p. 25-44
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi Article
Toxic effects of copper on larval development of the barnacle Balanus amphitrite
Marine pollution bulletin, v. 51, 8-12, 2005, p. 688-693
Qiu, Jianwen; Thiyagarajan, Vengatesen; Cheung, Shing Chi; Qian, Peiyuan Article
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 (5/6), 2005, pp. 385-394.
Wang, Changjie; Leung, Ho-fung; Cheung, Shing Chi; Wang, Yumin Article
A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications
Fourth International Conference on Grid and Cooperative Computing, LNCS 3795
Dou, Wanchun; Cheung, Shing Chi; Chen, Guihai; Wang, J.; Cai, S.J. Conference paper
A metamodel based model transformation approach
Proceedings - Third ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2005, v. 2005, 2005, p. 184-191
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing Conference paper
A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise
38th Hawaii International Conference on System Sciences (HICSS-38), 2005
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho-fung Conference paper
Facilitating e-Negotiation Processes with Semantic Web Technologies
Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 1, 2005
Chiu, Dickson; Cheung, Shing Chi; Hung, Patrick; Leung, Ho-fung Conference paper
Fault-based testing of database application programs with conceptual data model
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 187-196
Cha, W.K.; Cheung, Shing Chi; Tse, T.H. Conference paper
Inconsistency detection and resolution for context-aware middleware support
ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), 2005, p. 336-345
Xu, Chang; Cheung, Shing Chi Conference paper
Semantic Sensor net: An Extensible Framework
Networking and Mobile Computing. ICCNMC 2005 / Lu X., Zhao W. (eds). Berlin, Heidelberg : Springer, 2005, p. 1144-1153, Lecture Notes in Computer Science, vol 3619.
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Li, Minglu; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang Conference paper
Towards a metamorphic testing methodology for service-oriented software applications
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 470-476
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H. Conference paper

2004 15

Alerts in mobile healthcare applications: Requirements and pilot study
IEEE transactions on information technology in biomedicine, v. 8, (2), 2004, JUN, p. 173-181
Kafeza, E.; Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, M. Article
Applying generic timing tests for distributed multimedia software systems
IEEE transactions on reliability, v. 53, (3), 2004, SEP, p. 329-341
Cheung, Shing Chi; Chanson, Samuel; Xu, ZD Article
Cabot: On the ontology for the middleware support of context-aware pervasive applications
Lecture Notes in Computer Science, v. 3222, 2004, p. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, Kacheong; Wei, Jun Article
Grammar based interface processing in Web Service composition
Lecture Notes in Computer Science, v. 3289, 2004, p. 323-334
Wang, XL; Cheung, Shing Chi Article
Process Views with Flows for Heterogeneous and Complex System Integration: A Service Requirement Approach
Workshop on Technology for E-Services, 2004
Chiu, Dickson K.W.; Shan, Zhe; Hung, Patrick C.K.; Cheung, Shing Chi; Li, Qing Article
Semantic interpretation and matching of Web services
Lecture Notes in Computer Science, v. 3288, 2004, p. 542-554
Xu, Chang; Cheung, Shing Chi; Xiao, Xiangye Article
Workflow view driven cross-organizational interoperability in a web service environment
Information Technology and Management, v. 5, (3-4), 2004, July, p. 221-250
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Karlapalem, Kamalakar; Li, Qing; Kafeza, Eleanna Article
A commutative encrypted protocol for the privacy protection of watermarks in digital contents
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1493-1502
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie Conference paper
A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents
37th Hawaii International Conference on System Sciences (HICSS-37), IEEE, Hawaii, January 2004, p. 94-103
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie Conference paper
Alert-driven E-service management
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1101-1110
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
Alerts for healthcare process and data integration
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 2305-2314
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna; Kafeza, M. Conference paper
Constraint-based negotiation in a multi-agent information system with multiple platform support
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 483-492
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Leung, Ho Fung Conference paper
On the Ontology for the Middleware Support of Context-Aware Pervasive Applications
Building Intelligent Sensor Networks (BISON'04), LNCS 3222, pp. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, K.C.; Wei, Jun Conference paper
Towards the application of classification techniques to test and identify faults in multimedia systems
Proceedings - Fourth International Conference on Quality Software, QSIC 2004, 2004, p. 32-40
Cheng, M.Y.; Cheung, Shing Chi; Tse, T.H. Conference paper
Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents
Proceedings - International Conference on Advanced Information Networking and Application (AINA), v. 1, 2004, p. 414-419
Wang, Changjie; Leung, Ho Fung; Cheung, Shing Chi; Wang, Yiyang Conference paper

2003 15

A three-tier view-based methodology for adapting human-agent collaboration systems
Lecture Notes in Computer Science, v. 2681, 2003, p. 226-241
Chiu, Dickson KW; Cheung, Shing Chi; Leung, Ho Fung Article
A three-tier view-based methodology for m-services adaptation
IEEE TRANSACTIONS on SYSTEMS Man and Cybernetics PART a-systems and humans, v. 33, (6), 2003, NOV, p. 725-741
Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, E.; Leung, Ho Fung Article
Digital Rights Management in Web Services
Electronic Markets, v. 13, (2), January 2003, p. 133-140
Kwok, Sai Ho; Lui, Siu Man; Cheung, Shing Chi; Tam, Kar Yan Article
Integration of Digital Rights Management into the Internet Open Trading Protocol
Decision Support Systems, v. 34, (4), March 2003, p. 413-425
Kwok, Sai Ho; Cheung, Shing Chi; Wong, K.C.; Tsang, Kai Fung; Lui, Siu Man; Tam, Kar Yan Article
A Data-Driven Methodology to Extending Workflows to E-services over the Internet
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, K.W.; Till, Sven Conference paper
A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Cheung, Shing Chi; Till, Sven Conference paper
A Watermarking Infrastructure for Enterprise Content Management
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, Dickson K.W. Conference paper
Alert-driven Process Integration in a Web Services Environment
Proceedings of the International Conference on Web Services, 2003, p. 145-151
Kafeza, Eleanna; Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
An architecture for e-contract enforcement in an e-service environment
36th Hawaii International Conference on System Sciences (HICSS36), January 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven Conference paper
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Chan, C.W.; Lam, K.W.; Cheung, Shing Chi; Luk, Franklin Conference paper
Developing e-Negotiation Process Support by Web Services
Proceedings of the International Conference on Web Services, 2003, p. 97-103
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
Implementing Watermark Token in WS-Security for Digital Content Distribution
Proceedings of the International Conference on Web Services, 2003, p. 415-419
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W.; Hung, Patrick C.K. Conference paper
Integrating Heterogeneous Web Services with WebXcript
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 272-277
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi Conference paper
On the e-Negotiation of Unmatched Logrolling Views
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W. Conference paper
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 242-247
Ng, T.H.; Cheung, Shing Chi Conference paper

2002 10

A CSP and Z combined modeling of document exchange processes in e-commerce protocols
Information and software technology, v. 44, (14), 2002, NOV 1, p. 875-889
Wang, Xu; Cheung, Shing Chi; Wei, Jun Article
A meta-model for e-Contract template variable dependencies facilitating e-negotiation
Lecture Notes in Computer Science, v. 2503, 2002, p. 50-64
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W. Article
A three-layer framework for cross-organizational e-contract enactment
Lecture Notes in Computer Science, v. 2512, 2002, p. 78-92
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven Article
Automated test case generation for the stress testing of multimedia systems
Software-practice & Experience, v. 32, (15), 2002, DEC, p. 1411-1435
Zhang, Jian; Cheung, Shing Chi Article
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Lecture Notes in Computer Science, v. 2512, 2002, p. 41-56
Chiu, Dickson K.W.; Cheung, Shing Chi; Karlapalem, Kamalakar; Li, Qing; Till, Sven; Kafeza, Eleanna Article
A Meta-model for Contract Template Driven e-Negotiation Processes
Pacific Asia Conference on Information Systems (PACIS'02), September 2002
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
A Watermarking Infrastructure for Digital Rights Protection
International Conference on Electronic Commerce (ICEC 2002), October 2002
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W. Conference paper
Automating Online Web-based E-Commerce Activities with WebScript
International Conference on Electronic Commerce (ICEC 2002), October
Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
Rights protection for digital contents redistribution over the Internet
Proceedings - International Computer Software & Applications Conference, 2002, p. 105-110
Cheung, Shing Chi; Curreem, Hanif Conference paper
Three-Tier View-Based Support for Mobile Workflows
Proceedings of the Second International Conference on Mobile Business, Vienna, Austria, July 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Kafeza, Eleanna Conference paper

2001 8

Towards a methodology for formal design and analysis of agent interaction protocols - An investigation in electronic commerce
Wuhan University Journal of Natural Sciences, v. 6, (1-2), 2001, p. 126-139
Jun, W.; Cheung, Shing Chi; Xu, Weihua Article
5. Organisation Modelling using LDAP
Knowledge Management and Intelligent Enterprises / Edited by Joseph Fong, Qing Li, Daniel Chan, Ronnie Cheung. World Scientific Publishing, 2001, p. 53-68
Chan, Daniel K.C.; Yuen, Simon; Cheung, Shing Chi Book chapter
A Three-Layer Framework for Cross-Organizational E-Contract Enactment
Workshop on Web Services, e-Business, and the Semantic Web
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven Conference paper
Automatic Generation of Database Instances for White-Box Testing
Proceedings - 25th IEEE Computer Society's International Computer Software and Applications Conference (COMPSAC 2001), 2001, p. 161-165
Zhang, Jian; Chen, Xu; Cheung, Shing Chi Conference paper
Exploiting automatic analysis of e-commerce protocols
Proceedings International Computer Software and Applications Conference, v. 2001, October 2001, p. 55-62
Wei, Jun; Cheung, Shing Chi; Wang, Xu Conference paper
Modeling and verifying strong cache consistency for mobile data access
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 103-111
Wei, Jun; Cheung, Shing Chi; Zhou, Huan; Wang, Xu; Li, Jing; Feng, Yulin Conference paper
On the modelling of document exchange processes in e-commerce protocols
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, p. 387-396
Wang, Xu; Cheung, Shing Chi; Wei, Jun Conference paper
Toward generic timing tests for distributed multimedia software systems
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 210-220
Cheung, Shing Chi; Chanson, Samuel; Xu, Zhendong Conference paper

2000 1

Digital Rights Management in Internet Open Trading Protocol (IOTP)
Proceedings of the International Conference on Electronic Commerce, v. 2000, August 2000, p. 179-185
Kwok, Sai Ho; Wong, K.C.; Tsang, Kai Fung; Cheung, Shing Chi; Tam, Kar Yan Conference paper

1999 6

A model-based authorware for the construction of distributed multimedia systems
Information and software technology, v. 41, (11-12), 1999, AUG 15, p. 715-727
Cheung, Shing Chi; Chanson, Samuel Article
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering, v. 6, (1), January 1999, p. 7-35
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi Article
Checking safety properties using compositional reachability analysis
ACM transactions on software engineering and methodology, v. 8, (1), 1999, January, p. 49-78
Cheung, Shing Chi; Kramer, Jeff Article
Stress testing of distributed multimedia software systems
Formal Methods for Protocol Engineering and Distributed Systems, IFIP Advances in Information and Communication Technology Volume 28 / Edited by Jianping Wu, Samuel T. Chanson, Qiang Gao. US: Springer US, 1999, p. 119-133
Zhang, Jian; Cheung, Shing Chi; Chanson, Samuel Book chapter
A CSCW framework for the flexible coupling of groupware widgets
Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999. ICECCS '99, Las Vegas, NV, 18-21 Oct 1999
Leung, P.; Cheung, Shing Chi Conference paper
Testing Database Applications with SQL Semantics
Proceedings of 2nd International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'99), Wollongong, Australia, March 1999, p. 363-374.
Chan, Man Yee; Cheung, Shing Chi Conference paper

1998 4

Application of metamorphic testing in numerical analysis
Proceedings of the IASTED International Conference on Software Engineering (SE’98), 1998, p. 191-197
Chan, FT; Chen, TY; Cheung, Shing Chi; Lau, MF; Yiu, SM Conference paper
Construction of distributed multimedia applications using multiple views
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 166-175
Cheung, Shing Chi; Wong, KK Conference paper
Towards a framework for testing distributed multimedia software systems
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 72-81
Misic, VB; Chanson, Samuel; Cheung, Shing Chi Conference paper
Two-tier technique for authoring distributed multimedia applications
Proceedings of the IEEE Conference on Protocols for Multimedia Systems and Multimedia Networking, PROMS-MmNet, 1998, p. 368-371
Cheung, Shing-Chi; Wong, Kam-Keung; Chanson, Samuel T. Conference paper

1997 3

Verification of Liveness Properties Using Compositional Reachability Analysis
Lecture Notes in Computer Science, v. 1301, 1997, p. 227-243
Cheung, Shing Chi; Giannakopoulou, Dimitra; Kramer, Jeff Article
A framework for distributed object-oriented testing
Proceedings of International Conference on Formal Description Techniques: Protocol Specification, Testing and Verification. Osaka, Japan. Chapman & Hall, London, UK, 18-21 Nov. 1997, p. 39-56
Wong, Alan C.Y.; Chanson, Samuel; Cheung, Shing Chi; Fuchs, Holger Conference paper
Tracta : an environment for analysing the behaviour of distributed systems
Proc. of the 1st ACM Sigplan Workshop on Automated Analysis of Software (AAS'97), Paris, France / R. Cleaveland, D. Jackson, 1997, January, p. 113-125.
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi Conference paper

1996 3

Context Constraints for Compositional Reachability Analysis
ACM Transactions on Software Engineering and Methodology, v. 5, (4), 1996, p. 334-377
Cheung, Shing Chi; Kramer, Jeff Article
An Integrated Distributed Multimedia System and Development Environment
Proceedings of the 1996 Pacific Workshop on Distributed Multimedia Systems, Hong Kong, Department of Information and Systems Management, Hong Kong University of Science and Technology, Hong Kong, 27-28, June, 1996, p. 191-198
Ngai, Tin-Fook; Yeung, King-On; Cheung, Shing Chi Conference paper
Checking Subsystem Safety Properties in Compositional Reachability analysis
IEEE International Conference on Software Engineering, 1995, p. 144-154
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1995 2

Contextual local analysis in the design of distributed systems
Automated Software Engineering, v. 2, (1), 1995, p. 5-32
Cheung, Shing Chi; Kramer, Jeff Article
Compositional reachability analysis of finite-state distributed systems with user-specified constraints
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering : Washington, D.C , United States, 12-15 Oct 1995
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1994 2

Tractable dataflow analysis for distributed systems
IEEE Transactions on Software Engineering, v. 20, (8), p. 579-593
Cheung, Shing Chi; Kramer, Jeff Article
An Integrated Method for Effective Behaviour Analysis of Distributed Systems
Proc. the 16th IEEE International Conference on Software Engineering, Sorrento, Italy, 16-19 May 1994, p. 309-320
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1993 2

Enhancing Compositional Reachability Analysis with Context Constraints
Proc. SIGSOFT'93: 1st International Symposium on the Foundations of Software Engineering, Los Angeles, California, December 1993, p. 115-125
Cheung, Shing Chi; Kramer, Jeff A. Conference paper
Tractable Flow Analysis for Anomaly Detection in Distributed Programs
Proc. 4th European Software Engineering Conference (ESEC'93), Germany, September 1993, published in LNCS 717, p. 283-300
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1992 1

Configuring Heterogeneous Open Systems
Proc. First International Conference on Enterprise Integration Modelling Technology, Hilton Head, SC, USA, MIT Press, June 1992, p. 513-523
Twidle, K.P.; Sloman, M.S.; Magee, J.N.; Kramer, Jeff A.; Dulay, N.; Crane, S.; Cheung, Shing Chi Conference paper

1991 2

Parallel Algorithm Design for Workstation Clusters
Software - Practice and Experience, v. 21, (3), March 1991, p. 235-250
Magee, Jeff N.; Cheung, Shing Chi Article
An Introduction to Distributed Programming in REX
Proceedings of ESPRIT Conference'91, Brussels, November 1991, p. 207-221
Kramer, Jeff A.; Magee, J.; Sloman, M.; Dulay, N.; Cheung, Shing Chi; Crane, S.; Twidle, K. Conference paper


Expand All Collapse All


Article 6

Automatic Detection and Update Suggestion for Outdated API Names in Documentation
IEEE Transactions on Software Engineering, v. 47, (4), April 2021, article number 8651318, p. 653-675
Lee, Seonah; Wu, Rongxin; Cheung, Shing Chi; Kang, Sungwon
Sifter: A Service Isolation Strategy For Internet Applications
IEEE Transactions on Services Computing, v. 14, (5), 1 September 2021, p. 1545-1557
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.
To What Extent Do DNN-based Image Classification Models Make Unreliable Inferences?
Empirical Software Engineering, v. 26, (5), September 2021, article number 84
Tian, Yongqiang; Ma, Shiqing; Wen, Ming; Liu, Yepang; Cheung, Shing-chi; Zhang, Xiangyu
Will Dependency Conflicts Affect My Program's Semantics
IEEE Transactions on Software Engineering, February 2021, p. 1-1
Wang, Ying; Wu, Rongxin; Wang, Chao; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Yu, Hai; Xu, Chang; Zhu, Zhi-liang
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness
IEEE Transactions on Services Computing, v. 14, (4), July - August 2021, article number 8450038, p. 1224-1237
Song, Wei; Jacobsen, Hans-Arno; Cheung, Shing Chi; Liu, Hongyu; Ma, Xiaoxing
一种验证分布式协议活性属性容错机制的模型检测方法
计算机学报=Chinese Journal of Computers, v. 44, (8), August 2021, p. 1714-1731
陆超逸; 聂长海; 张成志

Conference paper 5

Darcher: Detecting on-chain-off-chain synchronization bugs in decentralized applications
ESEC/FSE 2021: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York : Association for Computing Machinery, 2021, p. 553-565
Zhang, Wuqi; Wei, Lili; Li, Shuqing; Liu, Yepang; Cheung, Shing Chi
A Comprehensive Study of Deep Learning Compiler Bugs
ESEC/FSE 2021 - Proceedings of the 29th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2021, p. 968-980
Shen, Qingchao; Ma, Haoyang; Chen, Junjie; Tian, Yongqiang; Cheung, Shing Chi; Chen, Xiang
HERO: On the Chaos When PATH Meets Modules
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) / IEEE. New York, NY, USA : IEEE, 2021, p. 99-111
Wang, Ying; Qiao, Liang; Xu, Chang; Liu, Yepang; Cheung, Shing Chi; Meng, Na; Yu, Hai; Zhu, Zhiliang
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
Proceedings of the 30th USENIX Security Symposium, 2021, p. 3847-3864
Li, Yeting; Chen, Zixuan; Cao, Jialun; Xu, Zhiwu; Peng, Qiancheng; Chen, Haiming; Chen, Liyuan; Cheung, Shing Chi
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) / IEEE. IEEE Computer Society, 2021, p. 1210-1222
Li, Yeting; Li, Shuaimin; Xu, Zhiwu; Cao, Jialun; Chen, Zixuan; Hu, Yun; Chen, Haiming; Cheung, Shing Chi


Expand All Collapse All


Article 4

ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection
IEEE Transactions on Services Computing, v. 13, (2), March-April 2020, article number 8883087, p. 314-328
Wang, Xinming; He, Jiahao; Xie, Zhijian; Zhao, Gansen; Cheung, Shing Chi
ContractGuard：面向以太坊區塊鏈智能合約的入侵檢測系統
網絡與信息安全學報=Chinese Journal of Network and Information Security, v. 6, (2), April 2020, p. 35-55
趙淦森; 謝智健; 王欣明; 何嘉浩; 張成志; 林成創; Zhou, Ziheng; 陳冰川; Rong, Chunming
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes
IEEE Transactions on Software Engineering, v. 46, (11), November 2020, p. 1155-1175
Wen, Ming; Wu, Rongxin; Cheung, Shing Chi
Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps
IEEE Transactions on Software Engineering, v. 46, (11), November 2020, p. 1176-1199
Wei, Lili; Liu, Yepang; Cheung, Shing Chi; Huang, Huaxun; Lu, Xuan; Liu, Xuanzhe

Conference paper 6

Boosting Automated Program Repair with Bug-Inducing Commits
ICSE-NIER '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results / Association for Computing Machinery. New York : Association for Computing Machinery, 2020, p. 77-80
Wen, Ming; Liu, Yepang; Cheung, Shing Chi
Detecting numerical bugs in neural network architectures
ESEC/FSE 2020 - Proceedings of the 28th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 8 November 2020, p. 826-837
Zhang, Yuhao; Ren, Luyao; Chen, Liqian; Xiong, Yeifei; Cheung, Shing Chi; Xie, Tao
EvalDNN: A toolbox for evaluating deep neural network models
Proceedings - 2020 ACM/IEEE 42nd International Conference on Software Engineering: Companion, ICSE-Companion 2020, June 2020, article number 3382133, p. 45-48
Tian, Yongqiang; Zeng, Zhihua; Wen, Ming; Liu, Yepang; Kuo, Tzu-yang; Cheung, Shing-Chi
FlashRegex: Deducing Anti-ReDoS Regexes from Examples
Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020 / ACM. New York, NY, USA : ACM, 2020, p. 659-671, Article number: 9286092
Li, Yeting; Xu, Zhiwu; Cao, Jialun; Chen, Haiming; Ge, Tingjian; Cheung, Shing Chi; Zhao, Haoren
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests
Proceedings - 2020 35th IEEE/ACM International Conference on Automated Software Engineering, ASE 2020, ACM. New York, NY, USA : ACM, 2020, p. 436-447, Article no.: 9286134
Zhu, Hengcheng; Wei, Lili; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Sheng, Qin; Zhou, Cui
Watchman: Monitoring Dependency Conflicts for Python Library Ecosystem
ICSE '20: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2020, p. 125-135, Article number 3380426
Wang, Ying; Wen, Ming; Liu, Yepang; Wang, Yibo; Li, Zhenming; Wang, Chao; Yu, Hai; Cheung, Shing Chi; Xu, Chang; Zhu, Zhiliang


Expand All Collapse All


Article 5

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs
IEEE Internet of Things Journal, v. 6, (3), June 2019, p. 5376-5386
Sun, Yuxia; Guo, Song; Cheung, Shing Chi; Tang, Yong
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs
IEEE Internet of Things Journal, v. 6, (5), October 2019, article number 8746139, p. 8945-8957
Sun, Yuxia; Cheung, Shing-Chi; Guo, Song; Cheng, Ming
DroidLeaks: A Comprehensive Database of Resource Leaks in Android Apps
Empirical Software Engineering, v. 24, December 2019, p. 3435-3483
Liu, Yepang; Wang, Jue; Wei, Lili; Xu, Chang; Cheung, Shing Chi; Wu, Tianyong; Yan, Jun; Zhang, Jian
File-level Socio-technical Congruence and Its Relationship With Bug Proneness in OSS Projects
Journal of Systems and Software, v. 156, October 2019, p. 21-40
Zhang, Weiqiang; Cheung, Shing Chi; Chen, Zhenyu; Zhou, Yuming; Luo, Bing
Historical Spectrum based Fault Localization
IEEE Transactions on Software Engineering, v. 47, (11), November 2021, p. 2348-2368
Wen, Ming; Chen, Junjie; Tian, Yongqiang; Wu, Rongxin; Hao, Dan; Han, Shi; Cheung, Shing-chi

Conference paper 5

Could i Have a Stack Trace to Examine the Dependency Conflict Issue?
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812128, p. 572-583
Wang, Ying; Wen, Ming; Wu, Rongxin; Liu, Zhenwei; Tan, Shin Hwei; Zhu, Zhiliang; Yu, Hai; Cheung, Shing Chi
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits
Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, August 2019, p. 326-337
Wen, Ming; Wu, Rongxin; Liu, Yepang; Tian, Yongqiang; Xie, Xuan; Cheung, Shing Chi; Su, Zhendong
Exposing Library API Misuses via Mutation Analysis
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8812114, p. 866-877
Wen, Ming; Liu, Yepang; Wu, Rongxin; Xie, Xuan; Cheung, Shing Chi; Su, Zhendong
Pivot: learning API-device correlations to facilitate Android compatibility issue detection
Proceedings - International Conference on Software Engineering, v. 2019-May, May 2019, article number 8811898, p. 878-888
Wei, Lili; Liu, Yepang; Cheung, Shing Chi
SGUARD: A feature-based clustering tool for effective spreadsheet defect detection
Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 / IEEE. Piscataway, NJ : IEEE, 2019, p. 1142-1145
Li, Da; Wang, Huiyan; Xu, Chang; Zhang, Ruiqing; Cheung, Shing Chi; Ma, Xiaoxing


Expand All Collapse All


Article 1

ChangeLocator:Locate Crash-Inducing Changes Based on Crash Reports
Empirical Software Engineering, v. 23, (5), October 2018, p. 2866-2900
Wu, Rongxin; Wen, Ming; Cheung, Shing Chi; Zhang, hongyu

Conference paper 8

A Tale of Two Cities: How Webview Induces Bugs to Android Applications
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, September 2018, p. 702-713
Hu, Jiajun; Wei, Lili; Liu, Yepang; Cheung, Shing Chi; Huang, Huaxun
An Empirical Study on TensorFlow Program Bugs
ISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, July 2018, p. 129-140
Zhang, Yuhao; Chen, Yifan; Cheung, Shing Chi; Xiong, Yingfei; Zhang, Lu
ChangeLocator: Locate Crash-Inducing Changes Based on Crash Reports
2018 ACM/IEEE 40th International Conference on Software Engineering (ICSE), 2018, p. 536-536
Wu, Rongxin; Wen, Ming; Cheung, Shing Chi; Zhang, Hongyu
Context-Aware Patch Generation for Better Automated Program Repair
Proceedings - International Conference on Software Engineering, v. 2018-January, 2018, p. 1-11
Wen, Ming; Chen, Junjie; Wu, Rongxin; Hao, Dan; Cheung, Shing Chi
Do the Dependency Conflicts in My Project Matter?
ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, October 2018, p. 319-330
Wang, Ying; Wen, Ming; Liu, Zhenwei; Wu, Rongxin; Wang, Rui; Yang, Bo; Yu, Hai; Zhu, Zhiliang; Cheung, Shing Chi
Synthesizing Relation-Aware Entity Transformation by examples
Proceedings - International Conference on Software Engineering, May 2018, p. 266-267
Wu, Jiarong; Jiang, Yanyan; Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Lu, Jiang
Understanding and Detecting Callback Compatibility Issues for Android Applications
ASE 2018 - Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, September 2018, p. 532-542
Huang, Huaxun; Liu, Yepang; Wei, Lili; Cheung, Shing Chi
Which Generated Test Failures Are Fault Revealing? Prioritizing Failures Based on Inferred Precondition Violations Using PAF
ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, October 2018, p. 679-690
Kim, Mi Jung; Cheung, Shing Chi; Kim, Sung Hun


Expand All Collapse All


Article 2

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets
IEEE Transactions on Software Engineering, v. 43, (3), March 2017, article number 7498607, p. 226-251
Dou, Wensheng; Xu, Chang; Cheung, Shing Chi; Wei, Jun
How Effectively Can Spreadsheet Anomalies Be Detected: An Empirical Study
Journal of Systems and Software, v. 126, April 2017, p. 87-100
Zhang, Ruiqing; Xu, Chang; Cheung, Shing Chi; Yu, Ping; Ma, Xiaoxing; LU, Jian

Conference paper 1

OASIS: Prioritizing Static Analysis Warnings for Android Apps Based on App User Reviews
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, August 2017, p. 672-682
Wei, Lili; Liu, Yepang; Cheung, Shingchi


Expand All Collapse All


Article 2

Casper: An efficient approach to call trace collection
ACM SIGPLAN Notices, v. 51, (1), April 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C
Hybrid CPU-GPU constraint checking: Towards efficient context consistency
Information and Software Technology, v. 74, June 2016, p. 230-242
Sui, Jun; Xu, Chang; Cheung, Shing Chi; Xi, Wang; Jiang, Yanyan; Cao, Chun; Ma, Xiaoxing; Lu, Jian

Book chapter 1

GreenDroid: automated diagnosis of energy inefficiency for smartphone applications
Internetware: A new software paradigm for Internet computing / Edited by Hong Mei, Jian Lü. Singapore : Springer, 2016, p. 389-438
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shi-Chi

Conference paper 9

Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C.
Coverage-Driven Test Code Generation for Concurrent Classes
Proceedings - International Conference on Software Engineering, 2016, p. 1121-1132
Terragni, Valerio; Cheung, Shing Chi
CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites
ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis, July 2016, p. 118-129
Terragni, Valerio; Liu, Yepang; Cheung, Shing Chi
CUSTODES: Automatic spreadsheet cell clustering and smell detection using strong and weak features
Proceedings - International Conference on Software Engineering, v. 14-22-May-2016, May 2016, p. 464-475
Cheung, Shing Chi; Chen, Wanjun; Liu, Yepang; Xu, Chang
Detecting Table Clones and Smells in Spreadsheets
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 787-798
Dou, Wensheng; Cheung, Shingchi; Gao, Chushu; Xu, Chang; Xu, Liang; Wei, Jun
Locus: Locating Bugs from Software Changes
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 262-273
Wen, Ming; Wu, Rongxin; Cheung, Shing Chi
Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 226-237
Wei, Lili; Liu, Yepang; Cheung, Shingchi
Understanding and Detecting Wake Lock Misuses for Android Applications
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 396-409
Liu, Yepang; Xu, Chang; Cheung, Shingchi; Terragni, Valerio
VEnron: a Versioned Spreadsheet Corpus and Related Evolution Analysis
Proceedings of the 38th International Conference on Software Engineering Companion (ICSE 2016), May 2016, p. 162-171
Dou, Wensheng; Xu, Liang; Cheung, Shing Chi; Gao, Chushu; Wei, Jun; Huang, Tao


Expand All Collapse All


Article 3

A survey on dependability improvement techniques for pervasive computing systems
Science China Information sciences, v. 58, (5), May 2015
Yang, Wen Hua; Liu, Yepang; Xu, Chang; Cheung, Shing Chi
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications
IEEE Software, v. 32, (1), January 2015, article number 7030255, p. 67-75
Liu, Yepang; Xu, Chang; Cheung, Shing Chi
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities
IEEE Software, v. PP, (99), January 2015, article number 7006336
Liu, Yepang; Xu, Chang; Cheung, Shing Chi

Conference paper 1

RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan


Expand All Collapse All


Article 3

CHECKERDROID: Automated Quality Assurance for Smartphone Applications
International Journal of Software & Informatics, v. 8, (1), 2014, p. 21-41
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Yang, Wen Hua
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
IEEE Transactions on Software Engineering, v. 40, (9), Sept, 2014, p. 911-940
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Lu, Jian
Scaling Up Symbolic Analysis by Removing Z-Equivalent States
ACM Transactions on Software Engineering and Methodology, v. 23, (34), August 2014, p. 911-940
Li, Yueqi; Cheung, Shing Chi; Zhang, Xiangyu; Liu, Yepang

Conference paper 5

Characterizing and Detecting Performance Bugs for Smartphone Applications
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 1013-1024
Liu, Yepang; Xu, Chang; Cheung, Shing Chi
Characterizing and Detecting Performance Bugs for Smartphone Applications
36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, 31 May - 7 June 2014
Liu, Yepang; Xu, Chang; Cheung, Shing Chi
CrashLocator: Locating Crashing Faults Based on Crash Stacks
2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings, July 2014, p. 204-214
Wu, Rongxin; Zhang, Hongyu; Cheung, Shing Chi; Kim, Sung Hun
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 848-858
Dou, Wensheng; Cheung, Shing Chi; Wei, Jun
Symbolic State Validation through Runtime Data
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, New York, NY, USA : ACM, 2014, p. 187-197
Li, Yueqi; Cheung, Shing Chi


Expand All Collapse All


Article 5

AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software, v. 86, (3), March 2013, p. 854-867
Liu, Yepang; Xu, Chang; Cheung, Shing Chi
Detecting Faults in Context-aware Adaptation
International Journal of Software and Informatics (IJSI), v. 7, (1), January 2013, p. 85-111
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lv, Jian
Towards context consistency by concurrent checking for Internetware applications
Science China Information Sciences, v. 56, (8), August 2013, p. 1-20
Xu, Chang; Liu, Yepang; Cheung, Shing Chi; Cao, Chun; Lv, Jian
一种面向传感器网络应用程序的有效测试方法
计算机学报=Chinese Journal of Computers, v. 36, (12), 2013, p. 2371-2389
孙玉霞; Harrold, Mary Jean; Cheung, Shing Chi; 汤庸
一種基于程序變異的軟件錯誤定位技術
計算機學報=Chinese Journal of Computers, v. 36, (11), November 2013, p. 2236-2244
賀韜; 王欣明; 周曉聰; 李文軍; 張震宇; 張成志

Conference paper 2

A Cost-effectiveness Criterion for Applying Software Defect Prediction Models
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 643-646
Zhang, Hongyu; Cheung, Shing Chi
Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications
2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013), Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 2-10
Liu, Yepang; Xu, Chang; Cheung, Shing Chi


Expand All Collapse All


Article 3

Adam: Identifying defects in context-aware adaptation
The Journal of systems and software, v. 85, (12), 2012, Dec, p. 2812-2828
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian
Human and program factors affecting the maintenance of programs with deployed design patterns
Information and software technology, v. 54, (1), 2012, p. 99-118
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi; Chan, W.K.
Mixed-reality simulation of RFID systems using iterated learning
International Journal of RF Technologies: Research and Applications, v. 3, (4), 2012, p. 219-242
Cheng, Hong; Liu, Yu; Cheung, Shing Chi; Zeng, Junfang; Tan, Jie; Yang, Yiping

Conference paper 1

Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012, Article no. 1, p.1-10
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian


Expand All Collapse All


Article 4

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems
IEEE journal on selected areas in communications, v. 29, (8), September 2011, p. 1684-1697
Xu, Xunteng; Gu, Lin; Wang, Jianping; Xing, Guoliang; Cheung, Shing Chi
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views
Journal of database management, v. 22, (2), April 2011, p. 32-63
Chiu, Dickson K.W.; Li, Qing; Hung, Patrick C.K.; Shan, Zhe; Cheung, Shing Chi; Yang, Yu; Farwick, Matthias
The First International Workshop on Cloud Information System Engineering(CISE 2010) chairs' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 6724 LNCS, 2011, p. XI
Leung, Ho Fung; Cheung, Shing Chi; Chiu, Dickson
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
IEEE Transactions on Software Engineering, v. 37, (3), May 2011, p. 430-447
Kim, Dongsun; Wang, Xinming; Kim, Sunghun; Zeller, Andreas; Cheung, Shing Chi; Park, Sooyong

Conference paper 3

Refactoring and publishing WS-BPEL processes to obtain more partners
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, 2011, p. 129-136
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Yang, Qiliang; Jian, Lu
ReLink: Recovering links between bugs and changes
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2011, p. 15-25
Wu, Rongxin; Zhang, Hongyu; Kim, Sunghun; Cheung, Shing Chi
Understanding a developer social network and its evolution
IEEE International Conference on Software Maintenance, ICSM, Sept 2011, Article number 6080799, p. 323-332
Hong, Qiaona; Kim, Sunghun; Cheung, Shing Chi; Bird, Christian A.


Expand All Collapse All


Article 7

Data-driven testing methodology for RFID systems
Frontiers of Computer Science in China, v. 4, (3), 2010, p. 354-364
Lu, An; Fang, Wenbin; Xu, Chang; Cheung, Shing Chi; Liu, Yü
Detecting atomic-set serializability violations in multi-threaded programs through active randomized testing
2010 ACM/IEEE 32nd International Conference on Software Engineering, v. 1, 2010, May, p. 235-244
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K.
Engineering e-Collaboration Services with a Multi-Agent System Approach
International Journal of Systems and Service-Oriented Engineering (IJSSOE), v. 1, (1), 2010, p. 1-25
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung; Hung, Patrick C.K.; Kafeza, Eleanna; Hu, Hua; Wang, Minhong; Hu, Haiyang; Zhuang, Yi
Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization
International Journal of Organizational and Collective Intelligence, v. 1, (1), 2010, p. 15-43
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Narupiyakul, Lalita; Hung, Patrick C.K.
Partial Constraint Checking for Context Consistency in Pervasive Computing
ACM transactions on software engineering and methodology(TOSEM), v. 19, (3), 2010, Jan, Article number 9
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the CSIOT 2010 workshop chairs
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, 11-13 Dec 2010, Article number 5703632, p. xxxi
Jin, Beihong; Pan, Gang; Cheung, Shing Chi
Sequential Event Pattern Based Design of Context-Aware Adaptive Application
Int. J. Software and Informatics, v. 4, (3), 2010, Dec, p. 419-436
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi

Book 1

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
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 / Edited by Dickson K.W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao. Springer Science & Business Media, 2010
Chiu, Dickson K.W.; Bellatreche, Ladjel; Sasaki, Hideyasu; Leung, Ho Fung; Cheung, Shing Chi; Hu, Haiyang; Shao, Jie

Book chapter 1

A metamorphic testing methodology for online SOA application testing
Web Services Research for Emerging Applications: Discoveries and Trends: Discoveries and Trends / Edited by Zhang, Liang-Jie. IGI Global, 2010
Chan, WK; Cheung, Shing Chi; Leung, Karl RPH

Conference paper 6

Factors for effective use of deployed design patterns
Proceedings - International Conference on Quality Software, 2010, p. 112-121
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi
Investigation of Radio Link Budget for UHF RFID Systems
IEEE International Conference on RFID-Technology and Applications 2010 (RFID-TA2010), Guangzhou, China, 17-19 June 2010
Su, Zhuo; Cheung, Shing Chi; Chu, Koon Ting
LocaToR: Locating passive RFID tags with the relative neighborhood graph
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Los Alamitos, California, Washington, Tokyo : CPS, IEEE Computer Society, 2010, p. 154-161
Zhao, Yiyang; Cheung, Shing Chi; Ni, Lionel Ming-Shuan
Preserving data flow correctness in process adaptation
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010, 2010, p. 9-16
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Lü, Jian
Sequential event pattern based context-aware adaptation
Proceedings of the 2nd Asia-Pacific Symposium on Internetware, Internetware 2010, 2010
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi
The impact of reader to tag collision on RFID tag identification
Lecture Notes in Computer Science, v. 6221, 2010, p. 115-119
Zhao, Yiyang; Hong, Weijun; Cheung, Shing Chi; Li, Shufang


Expand All Collapse All


Article 8

Atomicity Analysis of Service Composition across Organizations
IEEE Transactions on Software Engineering, v. 35, (1), 2009, JAN-FEB, p. 2-28
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang
Interactive Visual Optimization and Analysis for RFID Benchmarking
IEEE Transactions on Visualization and Computer Graphics, v. 15, (6), November 2009, article number 5290746, p. 1335-1342
Wu, Yingcai; Chung, Ka-Kei; Qu, Huamin; Yuan, Xiaoru; Cheung, Shing Chi
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
JOURNAL OF SYSTEMS AND SOFTWARE, v. 82, (3), 2009, MAR, p. 422-434
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H.
Preface
Journal of Computer Science and Technology, v. 24, (2), March 2009, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian
Preface for the ICEBE 2007 special section
Service Oriented Computing and Applications, v. 3, (2), 2009, June, p. 127
Cheung, Shing Chi; Lei, Hui; Lyu, Michael R.
Semantic Sensor Net: An Extensible Framework
International Journal of Ad Hoc and Ubiquitous Computing, v. 4, (3-4), 2009, p. 157-167
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang; Li, Minglu; Wu, Min-you
Special Issue on Software Engineering for High-Confidence Systems: Preface
Journal of Computer Science and Technology, v. 24, (2), 2009, March, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization
2009 IEEE 31st International Conference on Software Engineering (ICSE), v. 2009, May, p. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu

Book chapter 2

Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure
Mobile and Ubiquitous Commerce: Advanced E-Business Methods / Edited by Milena M. Head, Eldon Y. Li. Hershey, PA: Information Science Reference, 2009, p. 283-302
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung
Towards a dependable software paradigm for service-oriented computing
High Assurance Services Computing / Edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. US: Springer US, 2009, p. 163-192
Ma, Xiaoxing; Cheung, Shing Chi; Cao, Chun; Xu, Feng; Lu, Jian

Conference paper 4

A public-view approach to timed properties verification for B2B Web service compositions
SCC 2009 - 2009 IEEE International Conference on Services Computing, 2009, p. 427-434
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Dou, Wanchun; Lü, Jian
A study on the replaceability of context-aware middleware
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Ye, Chunyang; Cheung, Shing Chi; Wei, Jun; Zhong, Hua; Huang, Tao
Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization
31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009, pp. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu
Constructing and testing privacy-aware services in a cloud computing environment - Challenges and opportunities
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Gu, Lin; Cheung, Shing Chi


Expand All Collapse All


Article 4

A workflow engine-driven SOA-based cooperative computing paradigm in grid environments
International journal of high performance computing applications, v. 22, (3), 2008, AUG, p. 284-300
Dou, Wanchun; Chen, Jinjun; Liu, Jianxun; Cheung, Shing Chi; Chen, Guihai; Fan, Shaokun
Alerts in Healthcare Applications: Process and Data Integration
International journal of healthcare information systems and informatics, v. 4, (2), 2009, p. 36-56
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Kafeza, Marina; Cheung, Shing Chi; Kafeza, Eleanna; Hung, Patrick C.K.
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 2008, Nov, p. 94-104
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K.
The use of digital watermarking for intelligence multimedia document distribution
Journal of Theoretical and Applied Electronic Commerce Research, v. 3, (3), 2008, p. 103-118
Cheung, Shing Chi; Chiu, Dickson K.W.; Ho, Cedric

Conference paper 2

Decentralized constraint checking for pervasive computing
Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (Ph. D. forum), Hong Kong, 2008, p. 45-48
Xu, Chang; Cheung, Shing Chi
Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications
Proceedings - The 28th International Conference on Distributed Computing Systems, ICDCS 2008, 2008, p. 713-721
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang


Expand All Collapse All


Article 4

A metamorphic testing approach for online testing of service-oriented software applications
International journal of web services research, v. 4, (2), 2007, APR-JUN, p. 61-81
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H.
Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure
International Journal of Knowledge and Learning, v. 3, (1), 2007, p. 88-105
Dou, Wanchun; Liu, Xiping; Cheung, Shing Chi; Cai, Shijie; Chen, Guihai
On design, verification, and dynamic modification of the problem-based scientific workflow model
Simulation modelling practice and theory, v. 15, (9), 2007, OCT, p. 1068-1088
Liu, Xiping; Dou, Wanchun; Chen, Jinjun; Fan, Shaokun; Cheung, Shing Chi; Cai, Shijie
Ubiquitous enterprise service adaptations based on contextual user behavior
Information Systems Frontiers, v. 9, (4), 2007, SEP, p. 343-358
Hong, Dan; Chiu, Dickson K.W.; Shen, Vincent Y.; Cheung, Shing Chi; Kafeza, Eleanna

Conference paper 11

Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture
40th Hawaii International Conference on System Sciences (HICSS-40), Hawaii, Jan. 2007, 10 pages
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna
Detection and resolution of atomicity violation in service composition
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, 2007, p. 235-244
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang
Developing a distributed e-monitoring system for enterprise Website and Web services: An experience report with free libraries and tools
Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007, 2007, p. 1008-1015
Cheong, Frank K.W.; Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.
Do maintainers utilize deployed design patterns effectively?
Proceedings - International Conference on Software Engineering, 2007, p. 168-177
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak
Goal-directed context validation for adaptive ubiquitous systems
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K.
Message from ICEBE 2007 program chairs
Proceedings - ICEBE 2007: IEEE International Conference on e-Business Engineering - Workshops: SOAIC 2007; SOSE 2007; SOKM 2007, 2007, Article number 4402055, p. xviii
Cheung, Shing Chi; Lei, Hui; Lyu, Michael
On impact-oriented automatic resolution of pervasive context inconsistency
Foundations of Software Engineering: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 3-7 Sept 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang
Process evolution with atomicity consistency
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.
Teaching embedded systems software: The HKUST experience
International Conference on Parallel and Distributed Systems (ICPADS), 2007, p. 653-658
Muppala, Jogesh K.; Gu, Zonghua; Cheung, Shing Chi
Towards the testing of power-aware software applications for wireless sensor networks
Lecture Notes in Computer Science, v. 4498, 2007, p. 84-99
Chan, W.K.; Chen, Tsong Yueh; Cheung, Shing Chi; Tse, T.H.; Zhang, Zhenyu
Towards ubiquitous government services through adaptations with context and views in a three-tier architecture
Proceedings of the Annual Hawaii International Conference on System Sciences, 2007
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna


Expand All Collapse All


Article 3

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study
JOURNAL OF SYSTEMS AND SOFTWARE, v. 79, (5), 2006, MAY, p. 602-612
Chan, WK; Cheng, MY; Cheung, Shing Chi; Tse, TH
Performance aware service pool in dependable service oriented architecture
Journal of computer science and technology, v. 21, (4), 2006, JUL, p. 565-573
Huang, Gang; Zhou, Li; Liu, Xuan-Zhe; Mei, Hong; Cheung, Shing Chi
软件体系结构模型单层化的一致性保障方法
软件学报=Journal of Software, v. 2006, (06), 2006, p. 1391-1400
楊杰; 黃罡; 陳湘萍; 梅宏; 張成志

Book chapter 1

Mobile workforce management in a service-oriented enterprise: Capturing concepts and requirements in a multi-agent infrastructure
Enterprise Service Computing: From Concept to Deployment / Robin Qiu. IGI Global, 2006, p. 105-130
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho Fung

Conference paper 18

A Combinatorial Methodology for RFID Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Cheung, Shing Chi; Chan, W.K.; Lee, Penny M.K.; Ni, Lionel Ming-Shuan; Ng, Peter
Adapting ubiquitous enterprise services with context and views
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC, 2006, p. 391-394
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna
An entity-relationship model based conceptual framework for model driven development
Proceedings of the IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, v. 2006, 2006, p. 200-205
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing
Cooperative cognition and its implementation under web environment
2006 2nd International Conference on Semantics Knowledge and Grid, SKG, 2006
Dou, Wanchun; Chen, Guihai; Cheung, Shing Chi; Cai, Shijie
Distinguishing between automatic and manual aspects of model driven development
Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, 2006, p. 487-488
Duan, Yucong; Gu, Yuqing; Cheung, Shing Chi; Fu, Xiaoian; Wang, Jing; Hu, Qingwu
Dynamic model learning using genetic algorithm under adaptive model checking framework
Proceedings - International Conference on Quality Software, 2006, p. 410-417
Lai, Zhifeng; Cheung, Shing Chi; Jiang, Yunfei
Flows and views for scalable scientific process integration
ACM International Conference Proceeding Series, v. 152, 2006, article number 1146877
Li, Qing; Shan, Zhe; Hung, Patrick C.K.; Chiu, Dickson K.W.; Cheung, Shing Chi
Incremental consistency checking for pervasive context
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 292-301
Xu, Chang; Cheung, Shing Chi; Chan, W.K.
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 186-196
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang
MOTSA TOF-MRA using multi-oblique-stacks acquisition (MOSA)
ISMRM 14th Scientific Meeting & Exhibition, Seattle, Washington, 6-12 May 2006, p. Abstract no. 1942
Hui, SK; Yang, J.; Cheung, Shing Chi; Wu, Ed Xuekui
Program co-chairs' message
Proceedings - International Conference on Software Engineering, Shanghai, China, 20-28 May 2006
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, J. Jenny
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 351-360
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.
Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering
Proceedings - International Computer Software and Applications Conference, v. 1, 2006, p. 429-436
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H.
RFID Middleware Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Luo, Zongwei; Wong, Ed; Cheung, Shing Chi; Ni, Lionel Ming-Shuan; Chan, W.K.
The first international workshop on automation of software test
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 1028-1029
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, Jenny
Toward Effective Deployment of Design Patterns for Software Extension: A Case Study
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
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak
Tutorials: full day tutorials
Proceeding of the 28th international conference on Software engineering, 2006
Cheung, Shing Chi; Easterbrook, S.
Work experience versus refactoring to design patterns: A controlled experiment
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 12-22
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak


Expand All Collapse All


Article 8

A hybrid workflow paradigm for integrating self-managing domain-specific applications
Lecture Notes in Computer Science, v. 3795, 2005, p. 1084-1095
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Wang, Jie; Cai, Shijie
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
Journal of Computer Science and Technology, v. 20, (1), January 2005, p. 105-117
Gao, Wen; Ni, Lionel Ming-Shuan; Xu, Zhiwei; Cheung, Shing Chi; Cui, Li; Luo, Qiong
Certificate-driven grid workflow paradigm based on service computing
Lecture Notes in Computer Science, v. 3795, 2005, p. 155-160
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Cai, Shijie
Developing e-Negotiation support with a meta-modeling approach in a Web services environment
Decision Support Systems, v. 40, (1), 2005, JUL, p. 51-69
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, SYY; Chung, AKK
Enhancing class commutability in the deployment of design patterns
Information and software technology, v. 47, (12), 2005, SEP 1, p. 797-804
Ng, TH; Cheung, Shing Chi
Integrating legacy sites into web services with webxcript
International journal of cooperative information systems, v. 14, (1), 2005, MAR, p. 25-44
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi
Toxic effects of copper on larval development of the barnacle Balanus amphitrite
Marine pollution bulletin, v. 51, 8-12, 2005, p. 688-693
Qiu, Jianwen; Thiyagarajan, Vengatesen; Cheung, Shing Chi; Qian, Peiyuan
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 (5/6), 2005, pp. 385-394.
Wang, Changjie; Leung, Ho-fung; Cheung, Shing Chi; Wang, Yumin

Conference paper 8

A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications
Fourth International Conference on Grid and Cooperative Computing, LNCS 3795
Dou, Wanchun; Cheung, Shing Chi; Chen, Guihai; Wang, J.; Cai, S.J.
A metamodel based model transformation approach
Proceedings - Third ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2005, v. 2005, 2005, p. 184-191
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing
A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise
38th Hawaii International Conference on System Sciences (HICSS-38), 2005
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho-fung
Facilitating e-Negotiation Processes with Semantic Web Technologies
Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 1, 2005
Chiu, Dickson; Cheung, Shing Chi; Hung, Patrick; Leung, Ho-fung
Fault-based testing of database application programs with conceptual data model
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 187-196
Cha, W.K.; Cheung, Shing Chi; Tse, T.H.
Inconsistency detection and resolution for context-aware middleware support
ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), 2005, p. 336-345
Xu, Chang; Cheung, Shing Chi
Semantic Sensor net: An Extensible Framework
Networking and Mobile Computing. ICCNMC 2005 / Lu X., Zhao W. (eds). Berlin, Heidelberg : Springer, 2005, p. 1144-1153, Lecture Notes in Computer Science, vol 3619.
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Li, Minglu; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang
Towards a metamorphic testing methodology for service-oriented software applications
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 470-476
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H.


Expand All Collapse All


Article 7

Alerts in mobile healthcare applications: Requirements and pilot study
IEEE transactions on information technology in biomedicine, v. 8, (2), 2004, JUN, p. 173-181
Kafeza, E.; Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, M.
Applying generic timing tests for distributed multimedia software systems
IEEE transactions on reliability, v. 53, (3), 2004, SEP, p. 329-341
Cheung, Shing Chi; Chanson, Samuel; Xu, ZD
Cabot: On the ontology for the middleware support of context-aware pervasive applications
Lecture Notes in Computer Science, v. 3222, 2004, p. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, Kacheong; Wei, Jun
Grammar based interface processing in Web Service composition
Lecture Notes in Computer Science, v. 3289, 2004, p. 323-334
Wang, XL; Cheung, Shing Chi
Process Views with Flows for Heterogeneous and Complex System Integration: A Service Requirement Approach
Workshop on Technology for E-Services, 2004
Chiu, Dickson K.W.; Shan, Zhe; Hung, Patrick C.K.; Cheung, Shing Chi; Li, Qing
Semantic interpretation and matching of Web services
Lecture Notes in Computer Science, v. 3288, 2004, p. 542-554
Xu, Chang; Cheung, Shing Chi; Xiao, Xiangye
Workflow view driven cross-organizational interoperability in a web service environment
Information Technology and Management, v. 5, (3-4), 2004, July, p. 221-250
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Karlapalem, Kamalakar; Li, Qing; Kafeza, Eleanna

Conference paper 8

A commutative encrypted protocol for the privacy protection of watermarks in digital contents
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1493-1502
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie
A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents
37th Hawaii International Conference on System Sciences (HICSS-37), IEEE, Hawaii, January 2004, p. 94-103
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie
Alert-driven E-service management
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1101-1110
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna
Alerts for healthcare process and data integration
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 2305-2314
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna; Kafeza, M.
Constraint-based negotiation in a multi-agent information system with multiple platform support
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 483-492
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Leung, Ho Fung
On the Ontology for the Middleware Support of Context-Aware Pervasive Applications
Building Intelligent Sensor Networks (BISON'04), LNCS 3222, pp. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, K.C.; Wei, Jun
Towards the application of classification techniques to test and identify faults in multimedia systems
Proceedings - Fourth International Conference on Quality Software, QSIC 2004, 2004, p. 32-40
Cheng, M.Y.; Cheung, Shing Chi; Tse, T.H.
Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents
Proceedings - International Conference on Advanced Information Networking and Application (AINA), v. 1, 2004, p. 414-419
Wang, Changjie; Leung, Ho Fung; Cheung, Shing Chi; Wang, Yiyang


Expand All Collapse All


Article 4

A three-tier view-based methodology for adapting human-agent collaboration systems
Lecture Notes in Computer Science, v. 2681, 2003, p. 226-241
Chiu, Dickson KW; Cheung, Shing Chi; Leung, Ho Fung
A three-tier view-based methodology for m-services adaptation
IEEE TRANSACTIONS on SYSTEMS Man and Cybernetics PART a-systems and humans, v. 33, (6), 2003, NOV, p. 725-741
Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, E.; Leung, Ho Fung
Digital Rights Management in Web Services
Electronic Markets, v. 13, (2), January 2003, p. 133-140
Kwok, Sai Ho; Lui, Siu Man; Cheung, Shing Chi; Tam, Kar Yan
Integration of Digital Rights Management into the Internet Open Trading Protocol
Decision Support Systems, v. 34, (4), March 2003, p. 413-425
Kwok, Sai Ho; Cheung, Shing Chi; Wong, K.C.; Tsang, Kai Fung; Lui, Siu Man; Tam, Kar Yan

Conference paper 11

A Data-Driven Methodology to Extending Workflows to E-services over the Internet
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, K.W.; Till, Sven
A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Cheung, Shing Chi; Till, Sven
A Watermarking Infrastructure for Enterprise Content Management
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, Dickson K.W.
Alert-driven Process Integration in a Web Services Environment
Proceedings of the International Conference on Web Services, 2003, p. 145-151
Kafeza, Eleanna; Chiu, Dickson K.W.; Cheung, Shing Chi
An architecture for e-contract enforcement in an e-service environment
36th Hawaii International Conference on System Sciences (HICSS36), January 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Chan, C.W.; Lam, K.W.; Cheung, Shing Chi; Luk, Franklin
Developing e-Negotiation Process Support by Web Services
Proceedings of the International Conference on Web Services, 2003, p. 97-103
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.
Implementing Watermark Token in WS-Security for Digital Content Distribution
Proceedings of the International Conference on Web Services, 2003, p. 415-419
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W.; Hung, Patrick C.K.
Integrating Heterogeneous Web Services with WebXcript
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 272-277
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi
On the e-Negotiation of Unmatched Logrolling Views
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W.
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 242-247
Ng, T.H.; Cheung, Shing Chi


Expand All Collapse All


Article 5

A CSP and Z combined modeling of document exchange processes in e-commerce protocols
Information and software technology, v. 44, (14), 2002, NOV 1, p. 875-889
Wang, Xu; Cheung, Shing Chi; Wei, Jun
A meta-model for e-Contract template variable dependencies facilitating e-negotiation
Lecture Notes in Computer Science, v. 2503, 2002, p. 50-64
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W.
A three-layer framework for cross-organizational e-contract enactment
Lecture Notes in Computer Science, v. 2512, 2002, p. 78-92
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven
Automated test case generation for the stress testing of multimedia systems
Software-practice & Experience, v. 32, (15), 2002, DEC, p. 1411-1435
Zhang, Jian; Cheung, Shing Chi
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Lecture Notes in Computer Science, v. 2512, 2002, p. 41-56
Chiu, Dickson K.W.; Cheung, Shing Chi; Karlapalem, Kamalakar; Li, Qing; Till, Sven; Kafeza, Eleanna

Conference paper 5

A Meta-model for Contract Template Driven e-Negotiation Processes
Pacific Asia Conference on Information Systems (PACIS'02), September 2002
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.
A Watermarking Infrastructure for Digital Rights Protection
International Conference on Electronic Commerce (ICEC 2002), October 2002
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W.
Automating Online Web-based E-Commerce Activities with WebScript
International Conference on Electronic Commerce (ICEC 2002), October
Chiu, Dickson K.W.; Cheung, Shing Chi
Rights protection for digital contents redistribution over the Internet
Proceedings - International Computer Software & Applications Conference, 2002, p. 105-110
Cheung, Shing Chi; Curreem, Hanif
Three-Tier View-Based Support for Mobile Workflows
Proceedings of the Second International Conference on Mobile Business, Vienna, Austria, July 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Kafeza, Eleanna


Expand All Collapse All


Article 1

Towards a methodology for formal design and analysis of agent interaction protocols - An investigation in electronic commerce
Wuhan University Journal of Natural Sciences, v. 6, (1-2), 2001, p. 126-139
Jun, W.; Cheung, Shing Chi; Xu, Weihua

Book chapter 1

5. Organisation Modelling using LDAP
Knowledge Management and Intelligent Enterprises / Edited by Joseph Fong, Qing Li, Daniel Chan, Ronnie Cheung. World Scientific Publishing, 2001, p. 53-68
Chan, Daniel K.C.; Yuen, Simon; Cheung, Shing Chi

Conference paper 6

A Three-Layer Framework for Cross-Organizational E-Contract Enactment
Workshop on Web Services, e-Business, and the Semantic Web
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven
Automatic Generation of Database Instances for White-Box Testing
Proceedings - 25th IEEE Computer Society's International Computer Software and Applications Conference (COMPSAC 2001), 2001, p. 161-165
Zhang, Jian; Chen, Xu; Cheung, Shing Chi
Exploiting automatic analysis of e-commerce protocols
Proceedings International Computer Software and Applications Conference, v. 2001, October 2001, p. 55-62
Wei, Jun; Cheung, Shing Chi; Wang, Xu
Modeling and verifying strong cache consistency for mobile data access
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 103-111
Wei, Jun; Cheung, Shing Chi; Zhou, Huan; Wang, Xu; Li, Jing; Feng, Yulin
On the modelling of document exchange processes in e-commerce protocols
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, p. 387-396
Wang, Xu; Cheung, Shing Chi; Wei, Jun
Toward generic timing tests for distributed multimedia software systems
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 210-220
Cheung, Shing Chi; Chanson, Samuel; Xu, Zhendong


Expand All Collapse All


Conference paper 1

Digital Rights Management in Internet Open Trading Protocol (IOTP)
Proceedings of the International Conference on Electronic Commerce, v. 2000, August 2000, p. 179-185
Kwok, Sai Ho; Wong, K.C.; Tsang, Kai Fung; Cheung, Shing Chi; Tam, Kar Yan


Expand All Collapse All


Article 3

A model-based authorware for the construction of distributed multimedia systems
Information and software technology, v. 41, (11-12), 1999, AUG 15, p. 715-727
Cheung, Shing Chi; Chanson, Samuel
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering, v. 6, (1), January 1999, p. 7-35
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi
Checking safety properties using compositional reachability analysis
ACM transactions on software engineering and methodology, v. 8, (1), 1999, January, p. 49-78
Cheung, Shing Chi; Kramer, Jeff

Book chapter 1

Stress testing of distributed multimedia software systems
Formal Methods for Protocol Engineering and Distributed Systems, IFIP Advances in Information and Communication Technology Volume 28 / Edited by Jianping Wu, Samuel T. Chanson, Qiang Gao. US: Springer US, 1999, p. 119-133
Zhang, Jian; Cheung, Shing Chi; Chanson, Samuel

Conference paper 2

A CSCW framework for the flexible coupling of groupware widgets
Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999. ICECCS '99, Las Vegas, NV, 18-21 Oct 1999
Leung, P.; Cheung, Shing Chi
Testing Database Applications with SQL Semantics
Proceedings of 2nd International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'99), Wollongong, Australia, March 1999, p. 363-374.
Chan, Man Yee; Cheung, Shing Chi


Expand All Collapse All


Conference paper 4

Application of metamorphic testing in numerical analysis
Proceedings of the IASTED International Conference on Software Engineering (SE’98), 1998, p. 191-197
Chan, FT; Chen, TY; Cheung, Shing Chi; Lau, MF; Yiu, SM
Construction of distributed multimedia applications using multiple views
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 166-175
Cheung, Shing Chi; Wong, KK
Towards a framework for testing distributed multimedia software systems
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 72-81
Misic, VB; Chanson, Samuel; Cheung, Shing Chi
Two-tier technique for authoring distributed multimedia applications
Proceedings of the IEEE Conference on Protocols for Multimedia Systems and Multimedia Networking, PROMS-MmNet, 1998, p. 368-371
Cheung, Shing-Chi; Wong, Kam-Keung; Chanson, Samuel T.


Expand All Collapse All


Article 1

Verification of Liveness Properties Using Compositional Reachability Analysis
Lecture Notes in Computer Science, v. 1301, 1997, p. 227-243
Cheung, Shing Chi; Giannakopoulou, Dimitra; Kramer, Jeff

Conference paper 2

A framework for distributed object-oriented testing
Proceedings of International Conference on Formal Description Techniques: Protocol Specification, Testing and Verification. Osaka, Japan. Chapman & Hall, London, UK, 18-21 Nov. 1997, p. 39-56
Wong, Alan C.Y.; Chanson, Samuel; Cheung, Shing Chi; Fuchs, Holger
Tracta : an environment for analysing the behaviour of distributed systems
Proc. of the 1st ACM Sigplan Workshop on Automated Analysis of Software (AAS'97), Paris, France / R. Cleaveland, D. Jackson, 1997, January, p. 113-125.
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi


Expand All Collapse All


Article 1

Context Constraints for Compositional Reachability Analysis
ACM Transactions on Software Engineering and Methodology, v. 5, (4), 1996, p. 334-377
Cheung, Shing Chi; Kramer, Jeff

Conference paper 2

An Integrated Distributed Multimedia System and Development Environment
Proceedings of the 1996 Pacific Workshop on Distributed Multimedia Systems, Hong Kong, Department of Information and Systems Management, Hong Kong University of Science and Technology, Hong Kong, 27-28, June, 1996, p. 191-198
Ngai, Tin-Fook; Yeung, King-On; Cheung, Shing Chi
Checking Subsystem Safety Properties in Compositional Reachability analysis
IEEE International Conference on Software Engineering, 1995, p. 144-154
Cheung, Shing Chi; Kramer, Jeff A.


Expand All Collapse All


Article 1

Contextual local analysis in the design of distributed systems
Automated Software Engineering, v. 2, (1), 1995, p. 5-32
Cheung, Shing Chi; Kramer, Jeff

Conference paper 1

Compositional reachability analysis of finite-state distributed systems with user-specified constraints
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering : Washington, D.C , United States, 12-15 Oct 1995
Cheung, Shing Chi; Kramer, Jeff A.


Expand All Collapse All


Article 1

Tractable dataflow analysis for distributed systems
IEEE Transactions on Software Engineering, v. 20, (8), p. 579-593
Cheung, Shing Chi; Kramer, Jeff

Conference paper 1

An Integrated Method for Effective Behaviour Analysis of Distributed Systems
Proc. the 16th IEEE International Conference on Software Engineering, Sorrento, Italy, 16-19 May 1994, p. 309-320
Cheung, Shing Chi; Kramer, Jeff A.


Expand All Collapse All


Conference paper 2

Enhancing Compositional Reachability Analysis with Context Constraints
Proc. SIGSOFT'93: 1st International Symposium on the Foundations of Software Engineering, Los Angeles, California, December 1993, p. 115-125
Cheung, Shing Chi; Kramer, Jeff A.
Tractable Flow Analysis for Anomaly Detection in Distributed Programs
Proc. 4th European Software Engineering Conference (ESEC'93), Germany, September 1993, published in LNCS 717, p. 283-300
Cheung, Shing Chi; Kramer, Jeff A.


Expand All Collapse All


Conference paper 1

Configuring Heterogeneous Open Systems
Proc. First International Conference on Enterprise Integration Modelling Technology, Hilton Head, SC, USA, MIT Press, June 1992, p. 513-523
Twidle, K.P.; Sloman, M.S.; Magee, J.N.; Kramer, Jeff A.; Dulay, N.; Crane, S.; Cheung, Shing Chi


Expand All Collapse All


Article 1

Parallel Algorithm Design for Workstation Clusters
Software - Practice and Experience, v. 21, (3), March 1991, p. 235-250
Magee, Jeff N.; Cheung, Shing Chi

Conference paper 1

An Introduction to Distributed Programming in REX
Proceedings of ESPRIT Conference'91, Brussels, November 1991, p. 207-221
Kramer, Jeff A.; Magee, J.; Sloman, M.; Dulay, N.; Cheung, Shing Chi; Crane, S.; Twidle, K.


Expand All Collapse All


2016 12

Casper: An efficient approach to call trace collection
ACM SIGPLAN Notices, v. 51, (1), April 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C Article
Hybrid CPU-GPU constraint checking: Towards efficient context consistency
Information and Software Technology, v. 74, June 2016, p. 230-242
Sui, Jun; Xu, Chang; Cheung, Shing Chi; Xi, Wang; Jiang, Yanyan; Cao, Chun; Ma, Xiaoxing; Lu, Jian Article
GreenDroid: automated diagnosis of energy inefficiency for smartphone applications
Internetware: A new software paradigm for Internet computing / Edited by Hong Mei, Jian Lü. Singapore : Springer, 2016, p. 389-438
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shi-Chi Book chapter
Casper: An Efficient Approach to Call Trace Collection
Conference Record of the Annual ACM Symposium on Principles of Programming Languages, January 2016, p. 678-690
Wu, Rongxin; Xiao, Xiao; Cheung, Shing Chi; Zhang, Hongyu; Zhang, Charles C. Conference paper
Coverage-Driven Test Code Generation for Concurrent Classes
Proceedings - International Conference on Software Engineering, 2016, p. 1121-1132
Terragni, Valerio; Cheung, Shing Chi Conference paper
CSNIPPEX: Automated Synthesis of Compilable Code Snippets from Q&A Sites
ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis, July 2016, p. 118-129
Terragni, Valerio; Liu, Yepang; Cheung, Shing Chi Conference paper
CUSTODES: Automatic spreadsheet cell clustering and smell detection using strong and weak features
Proceedings - International Conference on Software Engineering, v. 14-22-May-2016, May 2016, p. 464-475
Cheung, Shing Chi; Chen, Wanjun; Liu, Yepang; Xu, Chang Conference paper
Detecting Table Clones and Smells in Spreadsheets
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 787-798
Dou, Wensheng; Cheung, Shingchi; Gao, Chushu; Xu, Chang; Xu, Liang; Wei, Jun Conference paper
Locus: Locating Bugs from Software Changes
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 262-273
Wen, Ming; Wu, Rongxin; Cheung, Shing Chi Conference paper
Taming Android Fragmentation: Characterizing and Detecting Compatibility Issues for Android Apps
ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, August 2016, p. 226-237
Wei, Lili; Liu, Yepang; Cheung, Shingchi Conference paper
Understanding and Detecting Wake Lock Misuses for Android Applications
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, v. 13-18-November-2016, November 2016, p. 396-409
Liu, Yepang; Xu, Chang; Cheung, Shingchi; Terragni, Valerio Conference paper
VEnron: a Versioned Spreadsheet Corpus and Related Evolution Analysis
Proceedings of the 38th International Conference on Software Engineering Companion (ICSE 2016), May 2016, p. 162-171
Dou, Wensheng; Xu, Liang; Cheung, Shing Chi; Gao, Chushu; Wei, Jun; Huang, Tao Conference paper

2015 4

A survey on dependability improvement techniques for pervasive computing systems
Science China Information sciences, v. 58, (5), May 2015
Yang, Wen Hua; Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications
IEEE Software, v. 32, (1), January 2015, article number 7030255, p. 67-75
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications: Challenges and Opportunities
IEEE Software, v. PP, (99), January 2015, article number 7006336
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
RECONTEST: Effective Regression Testing of Concurrent Programs
Proceedings: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE 2015), v. 2, 2015, p. 246-256
Terragni, Valerio; Cheung, Shing Chi; Zhang, Charles Chuan Conference paper

2014 8

CHECKERDROID: Automated Quality Assurance for Smartphone Applications
International Journal of Software & Informatics, v. 8, (1), 2014, p. 21-41
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Yang, Wen Hua Article
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications
IEEE Transactions on Software Engineering, v. 40, (9), Sept, 2014, p. 911-940
Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Lu, Jian Article
Scaling Up Symbolic Analysis by Removing Z-Equivalent States
ACM Transactions on Software Engineering and Methodology, v. 23, (34), August 2014, p. 911-940
Li, Yueqi; Cheung, Shing Chi; Zhang, Xiangyu; Liu, Yepang Article
Characterizing and Detecting Performance Bugs for Smartphone Applications
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 1013-1024
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper
Characterizing and Detecting Performance Bugs for Smartphone Applications
36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, 31 May - 7 June 2014
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper
CrashLocator: Locating Crashing Faults Based on Crash Stacks
2014 International Symposium on Software Testing and Analysis, ISSTA 2014 - Proceedings, July 2014, p. 204-214
Wu, Rongxin; Zhang, Hongyu; Cheung, Shing Chi; Kim, Sung Hun Conference paper
Is Spreadsheet Ambiguity Harmful? Detecting and Repairing Spreadsheet Smells due to Ambiguous Computation
ICSE 2014: Proceedings of the 36th International Conference on Software Engineering, New York, NY, USA : ACM, 2014, p. 848-858
Dou, Wensheng; Cheung, Shing Chi; Wei, Jun Conference paper
Symbolic State Validation through Runtime Data
Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, New York, NY, USA : ACM, 2014, p. 187-197
Li, Yueqi; Cheung, Shing Chi Conference paper

2013 7

AFChecker: Effective model checking for context-aware adaptive applications
Journal of Systems and Software, v. 86, (3), March 2013, p. 854-867
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Article
Detecting Faults in Context-aware Adaptation
International Journal of Software and Informatics (IJSI), v. 7, (1), January 2013, p. 85-111
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lv, Jian Article
Towards context consistency by concurrent checking for Internetware applications
Science China Information Sciences, v. 56, (8), August 2013, p. 1-20
Xu, Chang; Liu, Yepang; Cheung, Shing Chi; Cao, Chun; Lv, Jian Article
一种面向传感器网络应用程序的有效测试方法
计算机学报=Chinese Journal of Computers, v. 36, (12), 2013, p. 2371-2389
孙玉霞; Harrold, Mary Jean; Cheung, Shing Chi; 汤庸 Article
一種基于程序變異的軟件錯誤定位技術
計算機學報=Chinese Journal of Computers, v. 36, (11), November 2013, p. 2236-2244
賀韜; 王欣明; 周曉聰; 李文軍; 張震宇; 張成志 Article
A Cost-effectiveness Criterion for Applying Software Defect Prediction Models
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, New York, NY, USA : ACM, 2013, p. 643-646
Zhang, Hongyu; Cheung, Shing Chi Conference paper
Where Has My Battery Gone? Finding Sensor Related Energy Black Holes in Smartphone Applications
2013 IEEE International Conference on Pervasive Computing and Communications (PerCom 2013), Institute of Electrical and Electronics Engineers (IEEE), 2013, p. 2-10
Liu, Yepang; Xu, Chang; Cheung, Shing Chi Conference paper

2012 4

Adam: Identifying defects in context-aware adaptation
The Journal of systems and software, v. 85, (12), 2012, Dec, p. 2812-2828
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian Article
Human and program factors affecting the maintenance of programs with deployed design patterns
Information and software technology, v. 54, (1), 2012, p. 99-118
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi; Chan, W.K. Article
Mixed-reality simulation of RFID systems using iterated learning
International Journal of RF Technologies: Research and Applications, v. 3, (4), 2012, p. 219-242
Cheng, Hong; Liu, Yu; Cheung, Shing Chi; Zeng, Junfang; Tan, Jie; Yang, Yiping Article
Dynamic fault detection in context-aware adaptation
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012, Article no. 1, p.1-10
Xu, Chang; Cheung, Shing Chi; Ma, Xiaoxing; Cao, Chun; Lu, Jian Conference paper

2011 7

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems
IEEE journal on selected areas in communications, v. 29, (8), September 2011, p. 1684-1697
Xu, Xunteng; Gu, Lin; Wang, Jianping; Xing, Guoliang; Cheung, Shing Chi Article
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views
Journal of database management, v. 22, (2), April 2011, p. 32-63
Chiu, Dickson K.W.; Li, Qing; Hung, Patrick C.K.; Shan, Zhe; Cheung, Shing Chi; Yang, Yu; Farwick, Matthias Article
The First International Workshop on Cloud Information System Engineering(CISE 2010) chairs' message
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v. 6724 LNCS, 2011, p. XI
Leung, Ho Fung; Cheung, Shing Chi; Chiu, Dickson Article
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
IEEE Transactions on Software Engineering, v. 37, (3), May 2011, p. 430-447
Kim, Dongsun; Wang, Xinming; Kim, Sunghun; Zeller, Andreas; Cheung, Shing Chi; Park, Sooyong Article
Refactoring and publishing WS-BPEL processes to obtain more partners
Proceedings - 2011 IEEE 9th International Conference on Web Services, ICWS 2011, 2011, p. 129-136
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Yang, Qiliang; Jian, Lu Conference paper
ReLink: Recovering links between bugs and changes
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2011, p. 15-25
Wu, Rongxin; Zhang, Hongyu; Kim, Sunghun; Cheung, Shing Chi Conference paper
Understanding a developer social network and its evolution
IEEE International Conference on Software Maintenance, ICSM, Sept 2011, Article number 6080799, p. 323-332
Hong, Qiaona; Kim, Sunghun; Cheung, Shing Chi; Bird, Christian A. Conference paper

2010 15

Data-driven testing methodology for RFID systems
Frontiers of Computer Science in China, v. 4, (3), 2010, p. 354-364
Lu, An; Fang, Wenbin; Xu, Chang; Cheung, Shing Chi; Liu, Yü Article
Detecting atomic-set serializability violations in multi-threaded programs through active randomized testing
2010 ACM/IEEE 32nd International Conference on Software Engineering, v. 1, 2010, May, p. 235-244
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K. Article
Engineering e-Collaboration Services with a Multi-Agent System Approach
International Journal of Systems and Service-Oriented Engineering (IJSSOE), v. 1, (1), 2010, p. 1-25
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung; Hung, Patrick C.K.; Kafeza, Eleanna; Hu, Hua; Wang, Minhong; Hu, Haiyang; Zhuang, Yi Article
Enhancing E-service Collaboration with Enforcement and Relationship Management: a Methodology from Requirements to Event Driven Realization
International Journal of Organizational and Collective Intelligence, v. 1, (1), 2010, p. 15-43
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Narupiyakul, Lalita; Hung, Patrick C.K. Article
Partial Constraint Checking for Context Consistency in Pervasive Computing
ACM transactions on software engineering and methodology(TOSEM), v. 19, (3), 2010, Jan, Article number 9
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Article
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010: Message from the CSIOT 2010 workshop chairs
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, 11-13 Dec 2010, Article number 5703632, p. xxxi
Jin, Beihong; Pan, Gang; Cheung, Shing Chi Article
Sequential Event Pattern Based Design of Context-Aware Adaptive Application
Int. J. Software and Informatics, v. 4, (3), 2010, Dec, p. 419-436
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi Article
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
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 / Edited by Dickson K.W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao. Springer Science & Business Media, 2010
Chiu, Dickson K.W.; Bellatreche, Ladjel; Sasaki, Hideyasu; Leung, Ho Fung; Cheung, Shing Chi; Hu, Haiyang; Shao, Jie Book
A metamorphic testing methodology for online SOA application testing
Web Services Research for Emerging Applications: Discoveries and Trends: Discoveries and Trends / Edited by Zhang, Liang-Jie. IGI Global, 2010
Chan, WK; Cheung, Shing Chi; Leung, Karl RPH Book chapter
Factors for effective use of deployed design patterns
Proceedings - International Conference on Quality Software, 2010, p. 112-121
Ng, T.H.; Yu, Yuen Tak; Cheung, Shing Chi Conference paper
Investigation of Radio Link Budget for UHF RFID Systems
IEEE International Conference on RFID-Technology and Applications 2010 (RFID-TA2010), Guangzhou, China, 17-19 June 2010
Su, Zhuo; Cheung, Shing Chi; Chu, Koon Ting Conference paper
LocaToR: Locating passive RFID tags with the relative neighborhood graph
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010, Los Alamitos, California, Washington, Tokyo : CPS, IEEE Computer Society, 2010, p. 154-161
Zhao, Yiyang; Cheung, Shing Chi; Ni, Lionel Ming-Shuan Conference paper
Preserving data flow correctness in process adaptation
Proceedings - 2010 IEEE 7th International Conference on Services Computing, SCC 2010, 2010, p. 9-16
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Hu, Hao; Lü, Jian Conference paper
Sequential event pattern based context-aware adaptation
Proceedings of the 2nd Asia-Pacific Symposium on Internetware, Internetware 2010, 2010
Gao, Chushu; Wei, Jun; Xu, Chang; Cheung, Shing Chi Conference paper
The impact of reader to tag collision on RFID tag identification
Lecture Notes in Computer Science, v. 6221, 2010, p. 115-119
Zhao, Yiyang; Hong, Weijun; Cheung, Shing Chi; Li, Shufang Conference paper

2009 14

Atomicity Analysis of Service Composition across Organizations
IEEE Transactions on Software Engineering, v. 35, (1), 2009, JAN-FEB, p. 2-28
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Article
Interactive Visual Optimization and Analysis for RFID Benchmarking
IEEE Transactions on Visualization and Computer Graphics, v. 15, (6), November 2009, article number 5290746, p. 1335-1342
Wu, Yingcai; Chung, Ka-Kei; Qu, Huamin; Yuan, Xiaoru; Cheung, Shing Chi Article
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs
JOURNAL OF SYSTEMS AND SOFTWARE, v. 82, (3), 2009, MAR, p. 422-434
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H. Article
Preface
Journal of Computer Science and Technology, v. 24, (2), March 2009, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian Article
Preface for the ICEBE 2007 special section
Service Oriented Computing and Applications, v. 3, (2), 2009, June, p. 127
Cheung, Shing Chi; Lei, Hui; Lyu, Michael R. Article
Semantic Sensor Net: An Extensible Framework
International Journal of Ad Hoc and Ubiquitous Computing, v. 4, (3-4), 2009, p. 157-167
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang; Li, Minglu; Wu, Min-you Article
Special Issue on Software Engineering for High-Confidence Systems: Preface
Journal of Computer Science and Technology, v. 24, (2), 2009, March, p. 181-182
Cheung, Shing Chi; Mei, Hong; Lv, Jian Article
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization
2009 IEEE 31st International Conference on Software Engineering (ICSE), v. 2009, May, p. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu Article
Mobile Workforce Management in a Service-Oriented Enterprise: Capturing Concepts and Requirements in a Multi-Agent Infrastructure
Mobile and Ubiquitous Commerce: Advanced E-Business Methods / Edited by Milena M. Head, Eldon Y. Li. Hershey, PA: Information Science Reference, 2009, p. 283-302
Chiu, Dickson K.W.; Cheung, Shing Chi; Leung, Ho Fung Book chapter
Towards a dependable software paradigm for service-oriented computing
High Assurance Services Computing / Edited by Liang-Jie Zhang, Raymond Paul, Jing Dong. US: Springer US, 2009, p. 163-192
Ma, Xiaoxing; Cheung, Shing Chi; Cao, Chun; Xu, Feng; Lu, Jian Book chapter
A public-view approach to timed properties verification for B2B Web service compositions
SCC 2009 - 2009 IEEE International Conference on Services Computing, 2009, p. 427-434
Song, Wei; Ma, Xiaoxing; Cheung, Shing Chi; Dou, Wanchun; Lü, Jian Conference paper
A study on the replaceability of context-aware middleware
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Ye, Chunyang; Cheung, Shing Chi; Wei, Jun; Zhong, Hua; Huang, Tao Conference paper
Coincidental Correctness: Refine Code Coverage with Context Pattern to Improve Fault Localization
31st International Conference on Software Engineering (ICSE 2009), Vancouver, Canada, May 2009, pp. 45-55
Wang, Xinming; Cheung, Shing Chi; Chan, W.K.; Zhang, Zhenyu Conference paper
Constructing and testing privacy-aware services in a cloud computing environment - Challenges and opportunities
Proceedings of the 1st Asia-Pacific Symposium on Internetware, Internetware 2009, 2009
Gu, Lin; Cheung, Shing Chi Conference paper

2008 6

A workflow engine-driven SOA-based cooperative computing paradigm in grid environments
International journal of high performance computing applications, v. 22, (3), 2008, AUG, p. 284-300
Dou, Wanchun; Chen, Jinjun; Liu, Jianxun; Cheung, Shing Chi; Chen, Guihai; Fan, Shaokun Article
Alerts in Healthcare Applications: Process and Data Integration
International journal of healthcare information systems and informatics, v. 4, (2), 2009, p. 36-56
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Kafeza, Marina; Cheung, Shing Chi; Kafeza, Eleanna; Hung, Patrick C.K. Article
Inter-context control-flow and data-flow test adequacy criteria for nesC applications
SIGSOFT '08/FSE-16 Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, v. 2008, Nov, p. 94-104
Lai, Zhifeng; Cheung, Shing Chi; Chan, W.K. Article
The use of digital watermarking for intelligence multimedia document distribution
Journal of Theoretical and Applied Electronic Commerce Research, v. 3, (3), 2008, p. 103-118
Cheung, Shing Chi; Chiu, Dickson K.W.; Ho, Cedric Article
Decentralized constraint checking for pervasive computing
Proceedings of the 6th Annual IEEE International Conference on Pervasive Computing and Communications (Ph. D. forum), Hong Kong, 2008, p. 45-48
Xu, Chang; Cheung, Shing Chi Conference paper
Heuristics-based strategies for resolving context inconsistencies in pervasive computing applications
Proceedings - The 28th International Conference on Distributed Computing Systems, ICDCS 2008, 2008, p. 713-721
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Conference paper

2007 15

A metamorphic testing approach for online testing of service-oriented software applications
International journal of web services research, v. 4, (2), 2007, APR-JUN, p. 61-81
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H. Article
Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure
International Journal of Knowledge and Learning, v. 3, (1), 2007, p. 88-105
Dou, Wanchun; Liu, Xiping; Cheung, Shing Chi; Cai, Shijie; Chen, Guihai Article
On design, verification, and dynamic modification of the problem-based scientific workflow model
Simulation modelling practice and theory, v. 15, (9), 2007, OCT, p. 1068-1088
Liu, Xiping; Dou, Wanchun; Chen, Jinjun; Fan, Shaokun; Cheung, Shing Chi; Cai, Shijie Article
Ubiquitous enterprise service adaptations based on contextual user behavior
Information Systems Frontiers, v. 9, (4), 2007, SEP, p. 343-358
Hong, Dan; Chiu, Dickson K.W.; Shen, Vincent Y.; Cheung, Shing Chi; Kafeza, Eleanna Article
Adapting Mobile Government Services with Context and Views in a Three-Tier Architecture
40th Hawaii International Conference on System Sciences (HICSS-40), Hawaii, Jan. 2007, 10 pages
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
Detection and resolution of atomicity violation in service composition
6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2007, 2007, p. 235-244
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Conference paper
Developing a distributed e-monitoring system for enterprise Website and Web services: An experience report with free libraries and tools
Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007, 2007, p. 1008-1015
Cheong, Frank K.W.; Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
Do maintainers utilize deployed design patterns effectively?
Proceedings - International Conference on Software Engineering, 2007, p. 168-177
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper
Goal-directed context validation for adaptive ubiquitous systems
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K. Conference paper
Message from ICEBE 2007 program chairs
Proceedings - ICEBE 2007: IEEE International Conference on e-Business Engineering - Workshops: SOAIC 2007; SOSE 2007; SOKM 2007, 2007, Article number 4402055, p. xviii
Cheung, Shing Chi; Lei, Hui; Lyu, Michael Conference paper
On impact-oriented automatic resolution of pervasive context inconsistency
Foundations of Software Engineering: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 3-7 Sept 2007
Xu, Chang; Cheung, Shing Chi; Chan, W.K.; Ye, Chunyang Conference paper
Process evolution with atomicity consistency
Proceedings - ICSE 2007 Workshops: International Workshop on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2007, 2007
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K. Conference paper
Teaching embedded systems software: The HKUST experience
International Conference on Parallel and Distributed Systems (ICPADS), 2007, p. 653-658
Muppala, Jogesh K.; Gu, Zonghua; Cheung, Shing Chi Conference paper
Towards the testing of power-aware software applications for wireless sensor networks
Lecture Notes in Computer Science, v. 4498, 2007, p. 84-99
Chan, W.K.; Chen, Tsong Yueh; Cheung, Shing Chi; Tse, T.H.; Zhang, Zhenyu Conference paper
Towards ubiquitous government services through adaptations with context and views in a three-tier architecture
Proceedings of the Annual Hawaii International Conference on System Sciences, 2007
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper

2006 22

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study
JOURNAL OF SYSTEMS AND SOFTWARE, v. 79, (5), 2006, MAY, p. 602-612
Chan, WK; Cheng, MY; Cheung, Shing Chi; Tse, TH Article
Performance aware service pool in dependable service oriented architecture
Journal of computer science and technology, v. 21, (4), 2006, JUL, p. 565-573
Huang, Gang; Zhou, Li; Liu, Xuan-Zhe; Mei, Hong; Cheung, Shing Chi Article
软件体系结构模型单层化的一致性保障方法
软件学报=Journal of Software, v. 2006, (06), 2006, p. 1391-1400
楊杰; 黃罡; 陳湘萍; 梅宏; 張成志 Article
Mobile workforce management in a service-oriented enterprise: Capturing concepts and requirements in a multi-agent infrastructure
Enterprise Service Computing: From Concept to Deployment / Robin Qiu. IGI Global, 2006, p. 105-130
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho Fung Book chapter
A Combinatorial Methodology for RFID Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Cheung, Shing Chi; Chan, W.K.; Lee, Penny M.K.; Ni, Lionel Ming-Shuan; Ng, Peter Conference paper
Adapting ubiquitous enterprise services with context and views
Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC, 2006, p. 391-394
Chiu, Dickson K.W.; Hong, Dan; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
An entity-relationship model based conceptual framework for model driven development
Proceedings of the IASTED International Conference on Software Engineering, as part of the 24th IASTED International Multi-Conference on APPLIED INFORMATICS, v. 2006, 2006, p. 200-205
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing Conference paper
Cooperative cognition and its implementation under web environment
2006 2nd International Conference on Semantics Knowledge and Grid, SKG, 2006
Dou, Wanchun; Chen, Guihai; Cheung, Shing Chi; Cai, Shijie Conference paper
Distinguishing between automatic and manual aspects of model driven development
Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, 2006, p. 487-488
Duan, Yucong; Gu, Yuqing; Cheung, Shing Chi; Fu, Xiaoian; Wang, Jing; Hu, Qingwu Conference paper
Dynamic model learning using genetic algorithm under adaptive model checking framework
Proceedings - International Conference on Quality Software, 2006, p. 410-417
Lai, Zhifeng; Cheung, Shing Chi; Jiang, Yunfei Conference paper
Flows and views for scalable scientific process integration
ACM International Conference Proceeding Series, v. 152, 2006, article number 1146877
Li, Qing; Shan, Zhe; Hung, Patrick C.K.; Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
Incremental consistency checking for pervasive context
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 292-301
Xu, Chang; Cheung, Shing Chi; Chan, W.K. Conference paper
Local analysis of atomicity sphere for B2B collaboration
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 186-196
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K.; Xu, Chang Conference paper
MOTSA TOF-MRA using multi-oblique-stacks acquisition (MOSA)
ISMRM 14th Scientific Meeting & Exhibition, Seattle, Washington, 6-12 May 2006, p. Abstract no. 1942
Hui, SK; Yang, J.; Cheung, Shing Chi; Wu, Ed Xuekui Conference paper
Program co-chairs' message
Proceedings - International Conference on Software Engineering, Shanghai, China, 20-28 May 2006
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, J. Jenny Conference paper
Publishing and composition of atomicity-equivalent services for B2B collaboration
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 351-360
Ye, Chunyang; Cheung, Shing Chi; Chan, W.K. Conference paper
Reference models and automatic oracles for the testing of Mesh simplification software for graphics rendering
Proceedings - International Computer Software and Applications Conference, v. 1, 2006, p. 429-436
Chan, W.K.; Cheung, Shing Chi; Ho, Jeffrey C.F.; Tse, T.H. Conference paper
RFID Middleware Benchmarking
3rd RFID Academic Convocation in conjunction with the China International RFID Technology Development Conference & Exposition, Shanghai, China, 26-28 October 2006
Luo, Zongwei; Wong, Ed; Cheung, Shing Chi; Ni, Lionel Ming-Shuan; Chan, W.K. Conference paper
The first international workshop on automation of software test
Proceedings - International Conference on Software Engineering, v. 2006, 2006, p. 1028-1029
Zhu, Hong; Horgan, Joseph Robert; Cheung, Shing Chi; Li, Jenny Conference paper
Toward Effective Deployment of Design Patterns for Software Extension: A Case Study
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
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper
Tutorials: full day tutorials
Proceeding of the 28th international conference on Software engineering, 2006
Cheung, Shing Chi; Easterbrook, S. Conference paper
Work experience versus refactoring to design patterns: A controlled experiment
Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2006, p. 12-22
Ng, T.H.; Cheung, Shing Chi; Chan, W.K.; Yu, Yuen Tak Conference paper

2005 16

A hybrid workflow paradigm for integrating self-managing domain-specific applications
Lecture Notes in Computer Science, v. 3795, 2005, p. 1084-1095
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Wang, Jie; Cai, Shijie Article
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale
Journal of Computer Science and Technology, v. 20, (1), January 2005, p. 105-117
Gao, Wen; Ni, Lionel Ming-Shuan; Xu, Zhiwei; Cheung, Shing Chi; Cui, Li; Luo, Qiong Article
Certificate-driven grid workflow paradigm based on service computing
Lecture Notes in Computer Science, v. 3795, 2005, p. 155-160
Dou, Wanchun; Cheung, Shing Chi; Chen, Guanghao; Cai, Shijie Article
Developing e-Negotiation support with a meta-modeling approach in a Web services environment
Decision Support Systems, v. 40, (1), 2005, JUL, p. 51-69
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, SYY; Chung, AKK Article
Enhancing class commutability in the deployment of design patterns
Information and software technology, v. 47, (12), 2005, SEP 1, p. 797-804
Ng, TH; Cheung, Shing Chi Article
Integrating legacy sites into web services with webxcript
International journal of cooperative information systems, v. 14, (1), 2005, MAR, p. 25-44
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi Article
Toxic effects of copper on larval development of the barnacle Balanus amphitrite
Marine pollution bulletin, v. 51, 8-12, 2005, p. 688-693
Qiu, Jianwen; Thiyagarajan, Vengatesen; Cheung, Shing Chi; Qian, Peiyuan Article
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 (5/6), 2005, pp. 385-394.
Wang, Changjie; Leung, Ho-fung; Cheung, Shing Chi; Wang, Yumin Article
A Hybrid Workflow Paradigm for Integrating Self-Managing Domain-Specific Applications
Fourth International Conference on Grid and Cooperative Computing, LNCS 3795
Dou, Wanchun; Cheung, Shing Chi; Chen, Guihai; Wang, J.; Cai, S.J. Conference paper
A metamodel based model transformation approach
Proceedings - Third ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2005, v. 2005, 2005, p. 184-191
Duan, Yucong; Cheung, Shing Chi; Fu, Xiaoian; Gu, Yuqing Conference paper
A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise
38th Hawaii International Conference on System Sciences (HICSS-38), 2005
Chiu, Dickson; Cheung, Shing Chi; Leung, Ho-fung Conference paper
Facilitating e-Negotiation Processes with Semantic Web Technologies
Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 1, 2005
Chiu, Dickson; Cheung, Shing Chi; Hung, Patrick; Leung, Ho-fung Conference paper
Fault-based testing of database application programs with conceptual data model
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 187-196
Cha, W.K.; Cheung, Shing Chi; Tse, T.H. Conference paper
Inconsistency detection and resolution for context-aware middleware support
ESEC/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13), 2005, p. 336-345
Xu, Chang; Cheung, Shing Chi Conference paper
Semantic Sensor net: An Extensible Framework
Networking and Mobile Computing. ICCNMC 2005 / Lu X., Zhao W. (eds). Berlin, Heidelberg : Springer, 2005, p. 1144-1153, Lecture Notes in Computer Science, vol 3619.
Ni, Lionel Ming-Shuan; Zhu, Yanmin; Ma, Jian; Li, Minglu; Luo, Qiong; Liu, Yunhao; Cheung, Shing Chi; Yang, Qiang Conference paper
Towards a metamorphic testing methodology for service-oriented software applications
Proceedings - International Conference on Quality Software, v. 2005, 2005, p. 470-476
Chan, W.K.; Cheung, Shing Chi; Leung, Karl R.P.H. Conference paper

2004 15

Alerts in mobile healthcare applications: Requirements and pilot study
IEEE transactions on information technology in biomedicine, v. 8, (2), 2004, JUN, p. 173-181
Kafeza, E.; Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, M. Article
Applying generic timing tests for distributed multimedia software systems
IEEE transactions on reliability, v. 53, (3), 2004, SEP, p. 329-341
Cheung, Shing Chi; Chanson, Samuel; Xu, ZD Article
Cabot: On the ontology for the middleware support of context-aware pervasive applications
Lecture Notes in Computer Science, v. 3222, 2004, p. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, Kacheong; Wei, Jun Article
Grammar based interface processing in Web Service composition
Lecture Notes in Computer Science, v. 3289, 2004, p. 323-334
Wang, XL; Cheung, Shing Chi Article
Process Views with Flows for Heterogeneous and Complex System Integration: A Service Requirement Approach
Workshop on Technology for E-Services, 2004
Chiu, Dickson K.W.; Shan, Zhe; Hung, Patrick C.K.; Cheung, Shing Chi; Li, Qing Article
Semantic interpretation and matching of Web services
Lecture Notes in Computer Science, v. 3288, 2004, p. 542-554
Xu, Chang; Cheung, Shing Chi; Xiao, Xiangye Article
Workflow view driven cross-organizational interoperability in a web service environment
Information Technology and Management, v. 5, (3-4), 2004, July, p. 221-250
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven; Karlapalem, Kamalakar; Li, Qing; Kafeza, Eleanna Article
A commutative encrypted protocol for the privacy protection of watermarks in digital contents
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1493-1502
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie Conference paper
A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents
37th Hawaii International Conference on System Sciences (HICSS-37), IEEE, Hawaii, January 2004, p. 94-103
Cheung, Shing Chi; Leung, Ho Fung; Wang, Changjie Conference paper
Alert-driven E-service management
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 1101-1110
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna Conference paper
Alerts for healthcare process and data integration
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 2305-2314
Chiu, Dickson K.W.; Kwok, Benny W.C.; Wong, Ray L.S.; Cheung, Shing Chi; Kafeza, Eleanna; Kafeza, M. Conference paper
Constraint-based negotiation in a multi-agent information system with multiple platform support
Proceedings of the Hawaii International Conference on System Sciences, v. 37, 2004, p. 483-492
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K.; Leung, Ho Fung Conference paper
On the Ontology for the Middleware Support of Context-Aware Pervasive Applications
Building Intelligent Sensor Networks (BISON'04), LNCS 3222, pp. 568-575
Xu, Chang; Cheung, Shing Chi; Lo, Cindy; Leung, K.C.; Wei, Jun Conference paper
Towards the application of classification techniques to test and identify faults in multimedia systems
Proceedings - Fourth International Conference on Quality Software, QSIC 2004, 2004, p. 32-40
Cheng, M.Y.; Cheung, Shing Chi; Tse, T.H. Conference paper
Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents
Proceedings - International Conference on Advanced Information Networking and Application (AINA), v. 1, 2004, p. 414-419
Wang, Changjie; Leung, Ho Fung; Cheung, Shing Chi; Wang, Yiyang Conference paper

2003 15

A three-tier view-based methodology for adapting human-agent collaboration systems
Lecture Notes in Computer Science, v. 2681, 2003, p. 226-241
Chiu, Dickson KW; Cheung, Shing Chi; Leung, Ho Fung Article
A three-tier view-based methodology for m-services adaptation
IEEE TRANSACTIONS on SYSTEMS Man and Cybernetics PART a-systems and humans, v. 33, (6), 2003, NOV, p. 725-741
Chiu, Dickson KW; Cheung, Shing Chi; Kafeza, E.; Leung, Ho Fung Article
Digital Rights Management in Web Services
Electronic Markets, v. 13, (2), January 2003, p. 133-140
Kwok, Sai Ho; Lui, Siu Man; Cheung, Shing Chi; Tam, Kar Yan Article
Integration of Digital Rights Management into the Internet Open Trading Protocol
Decision Support Systems, v. 34, (4), March 2003, p. 413-425
Kwok, Sai Ho; Cheung, Shing Chi; Wong, K.C.; Tsang, Kai Fung; Lui, Siu Man; Tam, Kar Yan Article
A Data-Driven Methodology to Extending Workflows to E-services over the Internet
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, K.W.; Till, Sven Conference paper
A Three Layer Architecture for E-Contract Enforcement in an E-Service Environment
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Cheung, Shing Chi; Till, Sven Conference paper
A Watermarking Infrastructure for Enterprise Content Management
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Chiu, Dickson K.W. Conference paper
Alert-driven Process Integration in a Web Services Environment
Proceedings of the International Conference on Web Services, 2003, p. 145-151
Kafeza, Eleanna; Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
An architecture for e-contract enforcement in an e-service environment
36th Hawaii International Conference on System Sciences (HICSS36), January 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Till, Sven Conference paper
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Chiu, K.W.; Chan, C.W.; Lam, K.W.; Cheung, Shing Chi; Luk, Franklin Conference paper
Developing e-Negotiation Process Support by Web Services
Proceedings of the International Conference on Web Services, 2003, p. 97-103
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
Implementing Watermark Token in WS-Security for Digital Content Distribution
Proceedings of the International Conference on Web Services, 2003, p. 415-419
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W.; Hung, Patrick C.K. Conference paper
Integrating Heterogeneous Web Services with WebXcript
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 272-277
Chiu, Dickson K.W.; Kok, Danny; Lee, Alex K.C.; Cheung, Shing Chi Conference paper
On the e-Negotiation of Unmatched Logrolling Views
36th Hawaii International Conference on System Sciences (HICSS-36), January 2003
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W. Conference paper
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference, 2003, p. 242-247
Ng, T.H.; Cheung, Shing Chi Conference paper

2002 10

A CSP and Z combined modeling of document exchange processes in e-commerce protocols
Information and software technology, v. 44, (14), 2002, NOV 1, p. 875-889
Wang, Xu; Cheung, Shing Chi; Wei, Jun Article
A meta-model for e-Contract template variable dependencies facilitating e-negotiation
Lecture Notes in Computer Science, v. 2503, 2002, p. 50-64
Cheung, Shing Chi; Hung, Patrick C.K.; Chiu, Dickson K.W. Article
A three-layer framework for cross-organizational e-contract enactment
Lecture Notes in Computer Science, v. 2512, 2002, p. 78-92
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven Article
Automated test case generation for the stress testing of multimedia systems
Software-practice & Experience, v. 32, (15), 2002, DEC, p. 1411-1435
Zhang, Jian; Cheung, Shing Chi Article
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment
Lecture Notes in Computer Science, v. 2512, 2002, p. 41-56
Chiu, Dickson K.W.; Cheung, Shing Chi; Karlapalem, Kamalakar; Li, Qing; Till, Sven; Kafeza, Eleanna Article
A Meta-model for Contract Template Driven e-Negotiation Processes
Pacific Asia Conference on Information Systems (PACIS'02), September 2002
Chiu, Dickson K.W.; Cheung, Shing Chi; Hung, Patrick C.K. Conference paper
A Watermarking Infrastructure for Digital Rights Protection
International Conference on Electronic Commerce (ICEC 2002), October 2002
Cheung, Shing Chi; Curreem, Hanif; Chiu, Dickson K.W. Conference paper
Automating Online Web-based E-Commerce Activities with WebScript
International Conference on Electronic Commerce (ICEC 2002), October
Chiu, Dickson K.W.; Cheung, Shing Chi Conference paper
Rights protection for digital contents redistribution over the Internet
Proceedings - International Computer Software & Applications Conference, 2002, p. 105-110
Cheung, Shing Chi; Curreem, Hanif Conference paper
Three-Tier View-Based Support for Mobile Workflows
Proceedings of the Second International Conference on Mobile Business, Vienna, Austria, July 2003
Chiu, Dickson K.W.; Cheung, Shing Chi; Kafeza, Eleanna Conference paper

2001 8

Towards a methodology for formal design and analysis of agent interaction protocols - An investigation in electronic commerce
Wuhan University Journal of Natural Sciences, v. 6, (1-2), 2001, p. 126-139
Jun, W.; Cheung, Shing Chi; Xu, Weihua Article
5. Organisation Modelling using LDAP
Knowledge Management and Intelligent Enterprises / Edited by Joseph Fong, Qing Li, Daniel Chan, Ronnie Cheung. World Scientific Publishing, 2001, p. 53-68
Chan, Daniel K.C.; Yuen, Simon; Cheung, Shing Chi Book chapter
A Three-Layer Framework for Cross-Organizational E-Contract Enactment
Workshop on Web Services, e-Business, and the Semantic Web
Cheung, Shing Chi; Chiu, Dickson K.W.; Till, Sven Conference paper
Automatic Generation of Database Instances for White-Box Testing
Proceedings - 25th IEEE Computer Society's International Computer Software and Applications Conference (COMPSAC 2001), 2001, p. 161-165
Zhang, Jian; Chen, Xu; Cheung, Shing Chi Conference paper
Exploiting automatic analysis of e-commerce protocols
Proceedings International Computer Software and Applications Conference, v. 2001, October 2001, p. 55-62
Wei, Jun; Cheung, Shing Chi; Wang, Xu Conference paper
Modeling and verifying strong cache consistency for mobile data access
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 103-111
Wei, Jun; Cheung, Shing Chi; Zhou, Huan; Wang, Xu; Li, Jing; Feng, Yulin Conference paper
On the modelling of document exchange processes in e-commerce protocols
SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, p. 387-396
Wang, Xu; Cheung, Shing Chi; Wei, Jun Conference paper
Toward generic timing tests for distributed multimedia software systems
Proceedings of the International Symposium on Software Reliability Engineering, ISSRE, 2001, p. 210-220
Cheung, Shing Chi; Chanson, Samuel; Xu, Zhendong Conference paper

2000 1

Digital Rights Management in Internet Open Trading Protocol (IOTP)
Proceedings of the International Conference on Electronic Commerce, v. 2000, August 2000, p. 179-185
Kwok, Sai Ho; Wong, K.C.; Tsang, Kai Fung; Cheung, Shing Chi; Tam, Kar Yan Conference paper

1999 6

A model-based authorware for the construction of distributed multimedia systems
Information and software technology, v. 41, (11-12), 1999, AUG 15, p. 715-727
Cheung, Shing Chi; Chanson, Samuel Article
Behaviour Analysis of Distributed Systems Using the Tracta Approach
Automated Software Engineering, v. 6, (1), January 1999, p. 7-35
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi Article
Checking safety properties using compositional reachability analysis
ACM transactions on software engineering and methodology, v. 8, (1), 1999, January, p. 49-78
Cheung, Shing Chi; Kramer, Jeff Article
Stress testing of distributed multimedia software systems
Formal Methods for Protocol Engineering and Distributed Systems, IFIP Advances in Information and Communication Technology Volume 28 / Edited by Jianping Wu, Samuel T. Chanson, Qiang Gao. US: Springer US, 1999, p. 119-133
Zhang, Jian; Cheung, Shing Chi; Chanson, Samuel Book chapter
A CSCW framework for the flexible coupling of groupware widgets
Fifth IEEE International Conference on Engineering of Complex Computer Systems, 1999. ICECCS '99, Las Vegas, NV, 18-21 Oct 1999
Leung, P.; Cheung, Shing Chi Conference paper
Testing Database Applications with SQL Semantics
Proceedings of 2nd International Symposium on Cooperative Database Systems for Advanced Applications (CODAS'99), Wollongong, Australia, March 1999, p. 363-374.
Chan, Man Yee; Cheung, Shing Chi Conference paper

1998 4

Application of metamorphic testing in numerical analysis
Proceedings of the IASTED International Conference on Software Engineering (SE’98), 1998, p. 191-197
Chan, FT; Chen, TY; Cheung, Shing Chi; Lau, MF; Yiu, SM Conference paper
Construction of distributed multimedia applications using multiple views
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 166-175
Cheung, Shing Chi; Wong, KK Conference paper
Towards a framework for testing distributed multimedia software systems
SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS - INTERNATIONAL SYMPOSIUM PROCEEDINGS, 1998, p. 72-81
Misic, VB; Chanson, Samuel; Cheung, Shing Chi Conference paper
Two-tier technique for authoring distributed multimedia applications
Proceedings of the IEEE Conference on Protocols for Multimedia Systems and Multimedia Networking, PROMS-MmNet, 1998, p. 368-371
Cheung, Shing-Chi; Wong, Kam-Keung; Chanson, Samuel T. Conference paper

1997 3

Verification of Liveness Properties Using Compositional Reachability Analysis
Lecture Notes in Computer Science, v. 1301, 1997, p. 227-243
Cheung, Shing Chi; Giannakopoulou, Dimitra; Kramer, Jeff Article
A framework for distributed object-oriented testing
Proceedings of International Conference on Formal Description Techniques: Protocol Specification, Testing and Verification. Osaka, Japan. Chapman & Hall, London, UK, 18-21 Nov. 1997, p. 39-56
Wong, Alan C.Y.; Chanson, Samuel; Cheung, Shing Chi; Fuchs, Holger Conference paper
Tracta : an environment for analysing the behaviour of distributed systems
Proc. of the 1st ACM Sigplan Workshop on Automated Analysis of Software (AAS'97), Paris, France / R. Cleaveland, D. Jackson, 1997, January, p. 113-125.
Giannakopoulou, Dimitra; Kramer, Jeff; Cheung, Shing Chi Conference paper

1996 3

Context Constraints for Compositional Reachability Analysis
ACM Transactions on Software Engineering and Methodology, v. 5, (4), 1996, p. 334-377
Cheung, Shing Chi; Kramer, Jeff Article
An Integrated Distributed Multimedia System and Development Environment
Proceedings of the 1996 Pacific Workshop on Distributed Multimedia Systems, Hong Kong, Department of Information and Systems Management, Hong Kong University of Science and Technology, Hong Kong, 27-28, June, 1996, p. 191-198
Ngai, Tin-Fook; Yeung, King-On; Cheung, Shing Chi Conference paper
Checking Subsystem Safety Properties in Compositional Reachability analysis
IEEE International Conference on Software Engineering, 1995, p. 144-154
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1995 2

Contextual local analysis in the design of distributed systems
Automated Software Engineering, v. 2, (1), 1995, p. 5-32
Cheung, Shing Chi; Kramer, Jeff Article
Compositional reachability analysis of finite-state distributed systems with user-specified constraints
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering : Washington, D.C , United States, 12-15 Oct 1995
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1994 2

Tractable dataflow analysis for distributed systems
IEEE Transactions on Software Engineering, v. 20, (8), p. 579-593
Cheung, Shing Chi; Kramer, Jeff Article
An Integrated Method for Effective Behaviour Analysis of Distributed Systems
Proc. the 16th IEEE International Conference on Software Engineering, Sorrento, Italy, 16-19 May 1994, p. 309-320
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1993 2

Enhancing Compositional Reachability Analysis with Context Constraints
Proc. SIGSOFT'93: 1st International Symposium on the Foundations of Software Engineering, Los Angeles, California, December 1993, p. 115-125
Cheung, Shing Chi; Kramer, Jeff A. Conference paper
Tractable Flow Analysis for Anomaly Detection in Distributed Programs
Proc. 4th European Software Engineering Conference (ESEC'93), Germany, September 1993, published in LNCS 717, p. 283-300
Cheung, Shing Chi; Kramer, Jeff A. Conference paper

1992 1

Configuring Heterogeneous Open Systems
Proc. First International Conference on Enterprise Integration Modelling Technology, Hilton Head, SC, USA, MIT Press, June 1992, p. 513-523
Twidle, K.P.; Sloman, M.S.; Magee, J.N.; Kramer, Jeff A.; Dulay, N.; Crane, S.; Cheung, Shing Chi Conference paper

1991 2

Parallel Algorithm Design for Workstation Clusters
Software - Practice and Experience, v. 21, (3), March 1991, p. 235-250
Magee, Jeff N.; Cheung, Shing Chi Article
An Introduction to Distributed Programming in REX
Proceedings of ESPRIT Conference'91, Brussels, November 1991, p. 207-221
Kramer, Jeff A.; Magee, J.; Sloman, M.; Dulay, N.; Cheung, Shing Chi; Crane, S.; Twidle, K. Conference paper


No Publications






Teaching Assignment

---

2021-22 Winter 0 2021-22 Fall 3 2020-21 Summer 3 2020-21 Spring 3 2020-21 Winter 0 2020-21 Fall 4

---

COMP3021 Java Programming
COMP4981 Final Year Project
CSIT5100 Engineering Reliable Object-Oriented Software Systems


COMP4981 Final Year Project
CPEG4901 Computer Engineering Final Year Project in COMP
UROP1000 Undergraduate Research Opportunities


COMP4981 Final Year Project
COMP5111 Fundamentals of Software Analysis
CPEG4901 Computer Engineering Final Year Project in COMP


COMP3021 Java Programming
COMP4981 Final Year Project
CPEG4901 Computer Engineering Final Year Project in COMP
CSIT5100 Engineering Reliable Object-Oriented Software Systems


No Teaching Assignments


No Teaching Assignments






Research Postgraduate (RPG) Supervision From January 2019 to December 2022 (As of 30 January 2022)

---

All Supervisions Current RPGs Graduated RPGs

---

Current RPGs

---

Doctor of Philosophy MA, Haoyang
Computer Science and Engineering( 2021 - )

ZHU, Hengcheng
Computer Science and Engineering( 2021 - )

LI, Meiziniu
Computer Science and Engineering( 2020 - )

CAO, Jialun
Computer Science and Engineering( 2019 - )

LIU, Lu
Computer Science and Engineering( 2019 - )

ZHANG, Wuqi
Computer Science and Engineering( 2019 - )

WU, Jiarong
Computer Science and Engineering( 2018 - )

HUANG, Huaxun
Computer Science and Engineering( 2017 - )

TIAN, Yongqiang
Computer Science and Engineering( 2017 - )

HU, Jiajun
Computer Science and Engineering( 2016 - )

CHAN, King Sun
Computer Science and Engineering( 2013 - )

---

Master of Philosophy MAK, Ching Hang
Computer Science and Engineering( 2020 - )

YEUNG, Ka Wing Yoyo
Computer Science and Engineering( 2020 - )

QUAN, Yuqing (co-supervision)
Computer Science and Engineering( 2019 - )

---

Graduated RPGs

---

Doctor of Philosophy WEI, Lili
Computer Science and Engineering( Completed in 2020 )

KIM, Mi Jung (co-supervision)
Computer Science and Engineering( Completed in 2019 )

WEN, Ming
Computer Science and Engineering( Completed in 2019 )

---

Master of Philosophy XU, Hang
Computer Science and Engineering( Completed in 2020 )









ProjectsFrom January 2020 to December 2022

---

All Projects 12 Leading Projects 8 Participating Projects 4

---

Cautions about the interactions: detecting and repairing bugs in DApps and their upstream dependencies


檢測和修復去中心化應用程序及其上游依賴中的錯誤 Leading


RGC - General Research Fund


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2022 -




Effective Identification of Bug-Inducing Commits for Fault Localization and Program Repair


有效定位和修復導致軟件錯誤的代碼提交 Leading


RGC - General Research Fund


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2021 -




Testing Technologies for Deep Learning Systems


深度學習系統測試技術 Leading


Innovation and Technology Fund


Project Team (HKUST)
CHEUNG Shing Chi (Lead)
SONG Yangqiu


2021 -




Key Technologies for an Intelligent Legal Assistant for Resolution of Diverse Disputes


面向多元糾紛化解的智能法律助理關鍵技術研究 Participating


Innovation and Technology Fund


Project Team (HKUST)
SONG Yangqiu (Lead)
CHEUNG Shing Chi


2021 -




Research on System Construction and Runtime Support for Growing Complex Software


自成長復雜軟件系統構建方法與運行支撐研究 Participating


National Natural Science Foundation of China


Project Team (HKUST)
CHEUNG Shing Chi


2020 -




EXPLAINABLE AI: A Hybrid Approach with Visualization, Model, Knowledge and Metamorphic Relation Participating


Microsoft Research Asia


Project Team (HKUST)
CHEN Lei (Lead)
CHEUNG Shing Chi
QU Huamin


2020 -




Automated Testing of Android Hybrid Applications


Android混合應用程序的自動化測試 Leading


RGC - General Research Fund


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2020 -




Tackling Grand Challenges in Food Safety: A Big Data and IoT Enabled Approach


應對食品安全中的重大挑戰：一種基於大數據和物聯網的方法 Participating


Research Impact Fund


Project Team (HKUST)
CHEUNG Shing Chi


2019 -




Donation for research activities Leading


Beijing Jiufang Technology Co., Ltd., Leo Paper Group (Hong Kong) Limited


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2012 - , 2019 - 2021




Automatic debugging via leveraging bug-inducing changes Leading


Microsoft Research Asia


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2018 -




Enabling Developers and Manufacturers to Tame Android Compatibility Issues


協助開發和製造商克服Android兼容性問題之研究 Leading


RGC - General Research Fund


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2018 - 2021




International conference on e-business engineering Leading


The University of Hong Kong


Project Team (HKUST)
CHEUNG Shing Chi (Lead)


2009 -