More About HKUST
University News
Academic Departments A-Z
Life@HKUST
Library
Map & Directions
Jobs@HKUST
Faculty Profiles
About HKUST
A
A
A
Global Search  
Shing Chi CHEUNG
張成志

PhD in Computing
Imperial College London, 1994

Professor
Department of Computer Science and Engineering

  • (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 261 2023 3 2022 9 2021 13 2020 10 2019 9 2018 9 2017 208

2023 3

COMET: Coverage-guided Model Generation For Deep Learning Library Testing

ACM Transactions on Software Engineering and Methodology, 8 February 2023
Li, Meiziniu; Cao, Jialun; Tian, Yongqiang; Li, Tsz On; Wen, Ming; Cheung, Shing Chi
Article

Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode

Journal of Systems and Software, v. 199, May 2023, article number 111627
He, Jiahao; Li, Shuangyin; Wang, Xinming; Cheung, Shing Chi; Zhao, Gansen; Yang, Jinji
Article

PLUMBER: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem

IEEE Transactions on Software Engineering, February 2023, article number 10040905, p. 1-26
Wang, Ying; Sun, Peng; Pei, Lin; Yu, Yue; Xu, Chang; Cheung, Shing Chi; Yu, Hai; Zhu, Zhiliang
Article
2022 9

Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation

IEEE Transactions on Image Processing, v. 31, January 2022, p. 1601-1612
Saxena, Divya; Kulshrestha, Tarun; Cao, Jiannong; Cheung, Shing Chi
Article

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward

IEEE Transactions on Software Engineering, 4 February 2022, article number 9705152
Wang, Ying; Wang, Sinan; Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Yu, Hai; Zhu, Zhi-liang
Article

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems

ACM Transactions on Software Engineering and Methodology, v. 31, (2), April 2022, article number 34e, p. 1-36
Cao, Jialun; Li, Meiziniu; Li, Yeting; Wen, Ming; Cheung, Shing Chi; Chen, Haiming
Article

Will Dependency Conflicts Affect My Program's Semantics

IEEE Transactions on Software Engineering, v. 48, (7), July 2022, article number 9350237, p. 2295-2316
Wang, Ying; Wu, Rongxin; Wang, Chao; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Yu, Hai; Xu, Chang; Zhu, Zhi-liang
Article

APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 125-137
Wang, Sinan; Wang, Yibo; Zhan, Xian; Wang, Ying; Liu, Yepang; Luo, Xiapu; Cheung, Shing Chi
Conference paper

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 573-585
Cao, Jialun; Li, Meiziniu; Chen, Xiao; Wen, Ming; Tian, Yongqiang; Wu, Bo; Cheung, Shing Chi
Conference paper

Insight: Exploring Cross-Ecosystem Vulnerability Impacts

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2022, p. 1-13, article number 58
Xu, Meiqiu; Wang, Ying; Cheung, Shing-Chi; Yu, Hai; Zhu, Zhiliang
Conference paper

Nufix: Escape From NuGet Dependency Maze

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 1545-1557
Li, Zhenming; Wang, Ying; Lin, Zeqi; Cheung, Shing-Chi; Lou, Jian-Guang
Conference paper

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix

Proceedings of the 31st USENIX Security Symposium, Security 2022 / USENIX. California, United States : USENIX, 2022, p. 4183-4200
Li, Yeting; Sun, Yecheng; Xu, Zhiwu; Cao, Jialun; Li, Yuekang; Li, Rongchen; Chen, Haiming; Cheung, Shing Chi; Liu, Yang; Xiao, Yang
Conference paper
2021 13

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

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

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), June 2021, article number 84
Tian, Yongqiang; Ma, Shiqing; Wen, Ming; Liu, Yepang; Cheung, Shing-chi; Zhang, Xiangyu
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

Ðarcher: 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 on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2021, p. 968-980
Shen, Qingchao; Ma, Haoyang; Chen, Junjie; Tian, Yongqiang; Cheung, Shing Chi; Chen, Xiang
Conference paper

Characterizing and Detecting Configuration Compatibility Issues in Android Apps

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678556, p. 517-528
Huang, Huaxun; Wen, Ming; Wei, Lili; Liu, Yepang; Cheung, Shing-Chi
Conference paper

Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678597, p. 630-641
Liu, Lu; Wei, Lili; Zhang, Wuqi; Wen, Ming; Liu, Yepang; Cheung, Shing-Chi
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 / Association for Computing Machinery. New York, US : Association for Computing Machinery, 2020, p. 826-837
Zhang, Yuhao; Ren, Luyao; Chen, Liqian; Xiong, Yingfei; 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 9

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

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, Ch. 18
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shing 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


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


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


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


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 16

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 three tier view based methodology for adapting human agent collaborative systems towards a connected society


Chiu, Dickson K.W.; Cheung, Shing-Chi; Leung, Ho-fung
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
Article 3

COMET: Coverage-guided Model Generation For Deep Learning Library Testing

ACM Transactions on Software Engineering and Methodology, 8 February 2023
Li, Meiziniu; Cao, Jialun; Tian, Yongqiang; Li, Tsz On; Wen, Ming; Cheung, Shing Chi

Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode

Journal of Systems and Software, v. 199, May 2023, article number 111627
He, Jiahao; Li, Shuangyin; Wang, Xinming; Cheung, Shing Chi; Zhao, Gansen; Yang, Jinji

PLUMBER: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem

IEEE Transactions on Software Engineering, February 2023, article number 10040905, p. 1-26
Wang, Ying; Sun, Peng; Pei, Lin; Yu, Yue; Xu, Chang; Cheung, Shing Chi; Yu, Hai; Zhu, Zhiliang
Article 4

Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation

IEEE Transactions on Image Processing, v. 31, January 2022, p. 1601-1612
Saxena, Divya; Kulshrestha, Tarun; Cao, Jiannong; Cheung, Shing Chi

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward

IEEE Transactions on Software Engineering, 4 February 2022, article number 9705152
Wang, Ying; Wang, Sinan; Liu, Yepang; Xu, Chang; Cheung, Shing Chi; Yu, Hai; Zhu, Zhi-liang

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems

ACM Transactions on Software Engineering and Methodology, v. 31, (2), April 2022, article number 34e, p. 1-36
Cao, Jialun; Li, Meiziniu; Li, Yeting; Wen, Ming; Cheung, Shing Chi; Chen, Haiming

Will Dependency Conflicts Affect My Program's Semantics

IEEE Transactions on Software Engineering, v. 48, (7), July 2022, article number 9350237, p. 2295-2316
Wang, Ying; Wu, Rongxin; Wang, Chao; Wen, Ming; Liu, Yepang; Cheung, Shing Chi; Yu, Hai; Xu, Chang; Zhu, Zhi-liang
Conference paper 5

APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 125-137
Wang, Sinan; Wang, Yibo; Zhan, Xian; Wang, Ying; Liu, Yepang; Luo, Xiapu; Cheung, Shing Chi

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 573-585
Cao, Jialun; Li, Meiziniu; Chen, Xiao; Wen, Ming; Tian, Yongqiang; Wu, Bo; Cheung, Shing Chi

Insight: Exploring Cross-Ecosystem Vulnerability Impacts

ASE '22: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering / Association for Computing Machinery. New York, NY : Association for Computing Machinery, 2022, p. 1-13, article number 58
Xu, Meiqiu; Wang, Ying; Cheung, Shing-Chi; Yu, Hai; Zhu, Zhiliang

Nufix: Escape From NuGet Dependency Maze

ICSE '22: Proceedings of the 44th International Conference on Software Engineering / Association for Computing Machinery. New York, NY, United States : Association for Computing Machinery, 2022, p. 1545-1557
Li, Zhenming; Wang, Ying; Lin, Zeqi; Cheung, Shing-Chi; Lou, Jian-Guang

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix

Proceedings of the 31st USENIX Security Symposium, Security 2022 / USENIX. California, United States : USENIX, 2022, p. 4183-4200
Li, Yeting; Sun, Yecheng; Xu, Zhiwu; Cao, Jialun; Li, Yuekang; Li, Rongchen; Chen, Haiming; Cheung, Shing Chi; Liu, Yang; Xiao, Yang
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

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

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), June 2021, article number 84
Tian, Yongqiang; Ma, Shiqing; Wen, Ming; Liu, Yepang; Cheung, Shing-chi; Zhang, Xiangyu

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 7

Ðarcher: 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 on European Software Engineering Conference and Symposium on the Foundations of Software Engineering / Association for Computing Machinery. New York, USA : Association for Computing Machinery, 2021, p. 968-980
Shen, Qingchao; Ma, Haoyang; Chen, Junjie; Tian, Yongqiang; Cheung, Shing Chi; Chen, Xiang

Characterizing and Detecting Configuration Compatibility Issues in Android Apps

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678556, p. 517-528
Huang, Huaxun; Wen, Ming; Wei, Lili; Liu, Yepang; Cheung, Shing-Chi

Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts

Proceedings - 2021 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, November 2021, article number 9678597, p. 630-641
Liu, Lu; Wei, Lili; Zhang, Wuqi; Wen, Ming; Liu, Yepang; Cheung, Shing-Chi

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
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 / Association for Computing Machinery. New York, US : Association for Computing Machinery, 2020, p. 826-837
Zhang, Yuhao; Ren, Luyao; Chen, Liqian; Xiong, Yingfei; 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
Article 4

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
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
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
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
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, Ch. 18
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shing 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
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
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


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
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
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
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.
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


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
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
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
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
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


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


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
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.
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
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 12

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 three tier view based methodology for adapting human agent collaborative systems towards a connected society


Chiu, Dickson K.W.; Cheung, Shing-Chi; Leung, Ho-fung

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
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
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
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
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
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.
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
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.
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.
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.
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.
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
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.
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, Ch. 18
Mei, Hong; Lü, Jian; Liu, Yepang; Xu, Chang; Cheung, Shing 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


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


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


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


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 16

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 three tier view based methodology for adapting human agent collaborative systems towards a connected society


Chiu, Dickson K.W.; Cheung, Shing-Chi; Leung, Ho-fung
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

Teaching Assignment


2022-23 Spring 6 2022-23 Winter 1 2022-23 Fall 4 2021-22 Summer 3 2021-22 Spring 4 2021-22 Winter 0

COMP4910 Co-op Program
COMP4981 Final Year Project
COMP5111 Fundamentals of Software Testing and Analysis
COMP6921B Research Project: Software Fault Analysis
CPEG4901 Computer Engineering Final Year Project in COMP
UROP1100I Undergraduate Research Opportunities Series 1
COMP6921B Research Project: Software Fault Analysis
COMP3021 Java Programming
COMP4981 Final Year Project
CSIT5100 Engineering Reliable Object-Oriented Software Systems
UROP1100H Undergraduate Research Opportunities Series 1
COMP4981 Final Year Project
UROP1000 Undergraduate Research Opportunities
UROP2100G Undergraduate Research Opportunities Series 2
COMP4981 Final Year Project
COMP5111 Fundamentals of Software Testing and Analysis
CPEG4901 Computer Engineering Final Year Project in COMP
UROP1100F Undergraduate Research Opportunities Series 1
No Teaching Assignments

Research Postgraduate (RPG) Supervision

From January 2020 to December 2023 (As of 31 May 2023)

All Supervisions Current RPGs Graduated RPGs

Current RPGs

Doctor of Philosophy
  • CHEN, Xiao
    Computer Science and Engineering

  • LI, Tsz On
    Computer Science and Engineering

  • LI, Xiaolei
    Computer Science and Engineering

  • XU, Congying
    Computer Science and Engineering

  • MA, Haoyang
    Computer Science and Engineering

  • ZHU, Hengcheng
    Computer Science and Engineering

  • LI, Meiziniu
    Computer Science and Engineering

  • CAO, Jialun
    Computer Science and Engineering

  • LIU, Lu
    Computer Science and Engineering

  • ZHANG, Wuqi
    Computer Science and Engineering

  • WU, Jiarong
    Computer Science and Engineering

  • HUANG, Huaxun
    Computer Science and Engineering

  • TIAN, Yongqiang
    Computer Science and Engineering

  • HU, Jiajun
    Computer Science and Engineering


Master of Philosophy
  • MAK, Ching Hang
    Computer Science and Engineering

  • YEUNG, Ka Wing Yoyo
    Computer Science and Engineering


Graduated RPGs

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


Master of Philosophy
  • QUAN, Yuqing (co-supervision)
    Computer Science and Engineering( Completed in 2023 )

  • XU, Hang
    Computer Science and Engineering( Completed in 2020 )

Projects

From January 2021 to December 2023

All Projects 13 Leading Projects 9 Participating Projects 4

  • Automated Coverage-guided Test Generation for Deep Learning Frameworks
    自動生成覆蓋引導的深度學習框架測試 Leading
    RGC - General Research Fund
    Project Team (HKUST)
    • CHEUNG Shing Chi (Lead)
    2023 -
  • 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 -
  • 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 -
  • 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 -
  • Automated Testing of Android Hybrid Applications
    Android混合應用程序的自動化測試 Leading
    RGC - General Research Fund
    Project Team (HKUST)
    • CHEUNG Shing Chi (Lead)
    2020 -