Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDShing-Chi Cheung
S. C. Cheung 0001 – 張成志
Person information
- unicode name: 張成志
- affiliation: Hong Kong University of Science and Technology, Department of Computer Science and Engineering, Hong Kong
- affiliation (PhD 1994): Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j84]Jiarong Wu
, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu:
Programming by Example Made Easy. ACM Trans. Softw. Eng. Methodol. 33(1): 4:1-4:36 (2024)- [j83]Hengcheng Zhu, Lili Wei, Valerio Terragni, Yepang Liu, Shing-Chi Cheung, Jiarong Wu, Qin Sheng, Bing Zhang, Lihong Song:
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects. ACM Trans. Softw. Eng. Methodol. 33(1): 16:1-16:31 (2024) - [j82]Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun:
On the Caching Schemes to Speed Up Program Reduction. ACM Trans. Softw. Eng. Methodol. 33(1): 17:1-17:30 (2024) - [i30]Jialun Cao, Wuqi Zhang, Shing-Chi Cheung:
Concerned with Data Contamination? Assessing Countermeasures in Code Language Model. CoRR abs/2403.16898 (2024) - 2023
- [j81]Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang:
Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode. J. Syst. Softw. 199: 111627 (2023) - [j80]Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung:
COMET: Coverage-guided Model Generation For Deep Learning Library Testing. ACM Trans. Softw. Eng. Methodol. 32(5): 127:1-127:34 (2023) - [j79]Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang:
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. ACM Trans. Softw. Eng. Methodol. 32(5): 128:1-128:32 (2023) - [j78]Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. IEEE Trans. Software Eng. 49(1): 185-210 (2023) - [j77]Ying Wang, Peng Sun, Lin Pei, Yue Yu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. IEEE Trans. Software Eng. 49(5): 3155-3181 (2023) - [j76]Wuqi Zhang, Lili Wei, Shing-Chi Cheung, Yepang Liu, Shuqing Li, Lu Liu, Michael R. Lyu:
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation. IEEE Trans. Software Eng. 49(6): 3630-3646 (2023) - [c145]Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Chengnian Sun, Shing-Chi Cheung:
Revisiting the Evaluation of Deep Learning-Based Compiler Testing. IJCAI 2023: 4873-4882 - [c144]Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung:
Fuzzing Deep Learning Compilers with HirGen. ISSTA 2023: 248-260 - [c143]Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, Shing-Chi Cheung:
ConfFix: Repairing Configuration Compatibility Issues in Android Apps. ISSTA 2023: 514-525 - [c142]Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung:
ωTest: WebView-Oriented Testing for Android Applications. ISSTA 2023: 992-1004 - [c141]Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer:
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. ASE 2023: 14-26 - [c140]Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung:
Testing Coreference Resolution Systems without Labeled Test Sets. ESEC/SIGSOFT FSE 2023: 107-119 - [c139]Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Can Machine Learning Pipelines Be Better Configured? ESEC/SIGSOFT FSE 2023: 463-475 - [c138]Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, Hai Jin:
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. ESEC/SIGSOFT FSE 2023: 1358-1370 - [i29]Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang:
Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode. CoRR abs/2301.12695 (2023) - [i28]Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung:
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair. CoRR abs/2304.08191 (2023) - [i27]Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer:
Finding Failure-Inducing Test Cases with ChatGPT. CoRR abs/2304.11686 (2023) - [i26]Haoye Tian, Weiqi Lu, Tsz On Li, Xunzhu Tang, Shing-Chi Cheung, Jacques Klein, Tegawendé F. Bissyandé:
Is ChatGPT the Ultimate Programming Assistant - How far is it? CoRR abs/2304.11938 (2023) - [i25]Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung:
ωTest: WebView-Oriented Testing for Android Applications. CoRR abs/2306.03845 (2023) - [i24]Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu:
Programming by Example Made Easy. CoRR abs/2307.07965 (2023) - [i23]Hengcheng Zhu, Lili Wei, Valerio Terragni, Yepang Liu, Shing-Chi Cheung, Jiarong Wu, Qin Sheng, Bing Zhang, Lihong Song:
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects. CoRR abs/2307.14733 (2023) - [i22]Shuqing Li, Lili Wei, Yepang Liu, Cuiyun Gao, Shing-Chi Cheung, Michael R. Lyu:
Towards Modeling Software Quality of Virtual Reality Applications from Users' Perspectives. CoRR abs/2308.06783 (2023) - [i21]Xiaoyuan Xie, Shuo Jin, Songqiang Chen, Shing-Chi Cheung:
Word Closure-Based Metamorphic Testing for Machine Translation. CoRR abs/2312.12056 (2023) - 2022
- [j75]Divya Saxena, Tarun Kulshrestha, Jiannong Cao, Shing-Chi Cheung:
Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation. IEEE Trans. Image Process. 31: 1601-1612 (2022) - [j74]Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen:
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. ACM Trans. Softw. Eng. Methodol. 31(2): 34e:1-34e:36 (2022) - [j73]Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu:
Will Dependency Conflicts Affect My Program's Semantics? IEEE Trans. Software Eng. 48(7): 2295-2316 (2022) - [c137]Sinan Wang, Yibo Wang, Xian Zhan, Ying Wang, Yepang Liu, Xiapu Luo, Shing-Chi Cheung:
APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps. ICSE 2022: 125-137 - [c136]Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung:
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. ICSE 2022: 573-585 - [c135]Zhenming Li, Ying Wang, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou:
Nufix: Escape From NuGet Dependency Maze. ICSE 2022: 1545-1557 - [c134]Meiqiu Xu, Ying Wang, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Insight: Exploring Cross-Ecosystem Vulnerability Impacts. ASE 2022: 58:1-58:13 - [c133]Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao:
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. USENIX Security Symposium 2022: 4183-4200 - [i20]Sinan Wang, Yibo Wang, Xian Zhan, Ying Wang, Yepang Liu, Xiapu Luo, Shing-Chi Cheung:
Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps. CoRR abs/2201.12542 (2022) - [i19]Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung:
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. CoRR abs/2205.01938 (2022) - [i18]Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung:
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing. CoRR abs/2208.01508 (2022) - [i17]Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung:
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation. CoRR abs/2208.02193 (2022) - [i16]Wuqi Zhang, Lili Wei, Shing-Chi Cheung, Yepang Liu, Shuqing Li, Lu Liu, Michael R. Lyu:
Front-Running Attack Benchmark Construction and Vulnerability Detection Technique Evaluation. CoRR abs/2212.12110 (2022) - 2021
- [j72]Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang:
To what extent do DNN-based image classification models make unreliable inferences? Empir. Softw. Eng. 26(4): 84 (2021) - [j71]Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma:
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. IEEE Trans. Serv. Comput. 14(4): 1224-1237 (2021) - [j70]Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan:
Sifter: A Service Isolation Strategy for Internet Applications. IEEE Trans. Serv. Comput. 14(5): 1545-1557 (2021) - [j69]Seonah Lee, Rongxin Wu, Shing-Chi Cheung, Sungwon Kang:
Automatic Detection and Update Suggestion for Outdated API Names in Documentation. IEEE Trans. Software Eng. 47(4): 653-675 (2021) - [j68]Ming Wen, Junjie Chen, Yongqiang Tian, Rongxin Wu, Dan Hao, Shi Han, Shing-Chi Cheung:
Historical Spectrum Based Fault Localization. IEEE Trans. Software Eng. 47(11): 2348-2368 (2021) - [c132]Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu:
HERO: On the Chaos When PATH Meets Modules. ICSE 2021: 99-111 - [c131]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. ICSE 2021: 1210-1222 - [c130]Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu, Shing-Chi Cheung:
Characterizing and Detecting Configuration Compatibility Issues in Android Apps. ASE 2021: 517-528 - [c129]Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung:
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. ASE 2021: 630-641 - [c128]Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, Shing-Chi Cheung:
ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications. ESEC/SIGSOFT FSE 2021: 553-565 - [c127]Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen:
A comprehensive study of deep learning compiler bugs. ESEC/SIGSOFT FSE 2021: 968-980 - [c126]Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung:
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. USENIX Security Symposium 2021: 3847-3864 - [i15]Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu:
Hero: On the Chaos When PATH Meets Modules. CoRR abs/2102.12105 (2021) - [i14]Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, Shing-Chi Cheung:
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications. CoRR abs/2106.09440 (2021) - [i13]Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu:
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. CoRR abs/2106.13012 (2021) - [i12]Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung:
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. CoRR abs/2108.10799 (2021) - [i11]Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu, Shing-Chi Cheung:
Characterizing and Detecting Configuration Compatibility Issues in Android Apps. CoRR abs/2109.00300 (2021) - [i10]Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang:
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. CoRR abs/2112.02819 (2021) - 2020
- [j67]Xinming Wang, Jiahao He, Zhijian Xie, Gansen Zhao, Shing-Chi Cheung:
ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection. IEEE Trans. Serv. Comput. 13(2): 314-328 (2020) - [j66]Ming Wen, Rongxin Wu, Shing-Chi Cheung:
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes. IEEE Trans. Software Eng. 46(11): 1155-1175 (2020) - [j65]Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang, Xuan Lu, Xuanzhe Liu:
Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps. IEEE Trans. Software Eng. 46(11): 1176-1199 (2020) - [c125]Yongqiang Tian, Zhihua Zeng, Ming Wen, Yepang Liu, Tzu-yang Kuo, Shing-Chi Cheung:
EvalDNN: a toolbox for evaluating deep neural network models. ICSE (Companion Volume) 2020: 45-48 - [c124]Ming Wen, Yepang Liu, Shing-Chi Cheung:
Boosting automated program repair with bug-inducing commits. ICSE (NIER) 2020: 77-80 - [c123]Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, Zhenming Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu:
Watchman: monitoring dependency conflicts for Python library ecosystem. ICSE 2020: 125-135 - [c122]Hengcheng Zhu, Lili Wei, Ming Wen, Yepang Liu, Shing-Chi Cheung, Qin Sheng, Cui Zhou:
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests. ASE 2020: 436-447 - [c121]Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao:
FlashRegex: Deducing Anti-ReDoS Regexes from Examples. ASE 2020: 659-671 - [c120]Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie:
Detecting numerical bugs in neural network architectures. ESEC/SIGSOFT FSE 2020: 826-837 - [i9]Tsong Yueh Chen, S. C. Cheung, Siu-Ming Yiu:
Metamorphic Testing: A New Approach for Generating Next Test Cases. CoRR abs/2002.12543 (2020) - [i8]Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu:
Will Dependency Conflicts Affect My Program's Semantics? CoRR abs/2006.07633 (2020) - [i7]Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung:
SemMT: A Semantic-based Testing Approach for Machine Translation Systems. CoRR abs/2012.01815 (2020) - [i6]Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung:
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair. CoRR abs/2012.15489 (2020)
2010 – 2019
- 2019
- [j64]Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang:
DroidLeaks: a comprehensive database of resource leaks in Android apps. Empir. Softw. Eng. 24(6): 3435-3483 (2019) - [j63]Yuxia Sun, Song Guo, Shing-Chi Cheung, Yong Tang:
Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs. IEEE Internet Things J. 6(3): 5376-5386 (2019) - [j62]Yuxia Sun, Shing-Chi Cheung, Song Guo, Ming Cheng:
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs. IEEE Internet Things J. 6(5): 8945-8957 (2019) - [j61]Weiqiang Zhang, Shing-Chi Cheung, Zhenyu Chen, Yuming Zhou, Bin Luo:
File-level socio-technical congruence and its relationship with bug proneness in OSS projects. J. Syst. Softw. 156: 21-40 (2019) - [c119]Ying Wang, Ming Wen, Rongxin Wu, Zhenwei Liu, Shin Hwei Tan, Zhiliang Zhu, Hai Yu, Shing-Chi Cheung:
Could I have a stack trace to examine the dependency conflict issue? ICSE 2019: 572-583 - [c118]Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su:
Exposing library API misuses via mutation analysis. ICSE 2019: 866-877 - [c117]Lili Wei, Yepang Liu, Shing-Chi Cheung:
Pivot: learning API-device correlations to facilitate Android compatibility issue detection. ICSE 2019: 878-888 - [c116]Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma:
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. ASE 2019: 1142-1145 - [c115]Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su:
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. ESEC/SIGSOFT FSE 2019: 326-337 - [i5]Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang:
Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations. CoRR abs/1909.03824 (2019) - [i4]Xinming Wang, Jiahao He, Zhijian Xie, Gansen Zhao, Shing-Chi Cheung:
ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection. CoRR abs/1911.10472 (2019) - 2018
- [j60]Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang:
ChangeLocator: locate crash-inducing changes based on crash reports. Empir. Softw. Eng. 23(5): 2866-2900 (2018) - [c114]Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung:
Context-aware patch generation for better automated program repair. ICSE 2018: 1-11 - [c113]Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu:
Synthesizing relation-aware entity transformation by examples. ICSE (Companion Volume) 2018: 266-267 - [c112]Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang:
ChangeLocator: locate crash-inducing changes based on crash reports. ICSE 2018: 536 - [c111]Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang:
An empirical study on TensorFlow program bugs. ISSTA 2018: 129-140 - [c110]Huaxun Huang, Lili Wei, Yepang Liu, Shing-Chi Cheung:
Understanding and detecting callback compatibility issues for Android applications. ASE 2018: 532-542 - [c109]Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang:
A tale of two cities: how WebView induces bugs to Android applications. ASE 2018: 702-713 - [c108]Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, Shing-Chi Cheung:
Do the dependency conflicts in my project matter? ESEC/SIGSOFT FSE 2018: 319-330 - [c107]Mijung Kim, Shing-Chi Cheung, Sunghun Kim:
Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF. ESEC/SIGSOFT FSE 2018: 679-690 - [i3]Yuxia Sun, Song Guo, Shing-Chi Cheung, Yong Tang:
Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs. CoRR abs/1810.05789 (2018) - 2017
- [j59]Ruiqing Zhang, Chang Xu, S. C. Cheung, Ping Yu, Xiaoxing Ma, Jian Lu:
How effectively can spreadsheet anomalies be detected: An empirical study. J. Syst. Softw. 126: 87-100 (2017) - [j58]Wensheng Dou, Chang Xu, S. C. Cheung, Jun Wei:
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. IEEE Trans. Software Eng. 43(3): 226-251 (2017) - [c106]Lili Wei, Yepang Liu, Shing-Chi Cheung:
OASIS: prioritizing static analysis warnings for Android apps based on app user reviews. ESEC/SIGSOFT FSE 2017: 672-682 - [i2]Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung:
An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair. CoRR abs/1707.05172 (2017) - 2016
- [j57]Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu:
Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Inf. Softw. Technol. 74: 230-242 (2016) - [c105]Wensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang:
VEnron: a versioned spreadsheet corpus and related evolution analysis. ICSE (Companion Volume) 2016: 162-171 - [c104]Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu:
CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. ICSE 2016: 464-475 - [c103]Valerio Terragni, Shing-Chi Cheung:
Coverage-driven test code generation for concurrent classes. ICSE 2016: 1121-1132 - [c102]Valerio Terragni, Yepang Liu, Shing-Chi Cheung:
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. ISSTA 2016: 118-129 - [c101]Lili Wei, Yepang Liu, Shing-Chi Cheung:
Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps. ASE 2016: 226-237 - [c100]Ming Wen, Rongxin Wu, Shing-Chi Cheung:
Locus: locating bugs from software changes. ASE 2016: 262-273 - [c99]Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang:
Casper: an efficient approach to call trace collection. POPL 2016: 678-690 - [c98]Yepang Liu, Chang Xu, Shing-Chi Cheung, Valerio Terragni:
Understanding and detecting wake lock misuses for Android applications. SIGSOFT FSE 2016: 396-409 - [c97]Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei:
Detecting table clones and smells in spreadsheets. SIGSOFT FSE 2016: 787-798 - [i1]Yepang Liu, Lili Wei, Chang Xu, Shing-Chi Cheung:
DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. CoRR abs/1611.08079 (2016) - 2015
- [j56]Wenhua Yang, Yepang Liu, Chang Xu, Shing-Chi Cheung:
A survey on dependability improvement techniques for pervasive computing systems. Sci. China Inf. Sci. 58(5): 1-14 (2015) - [j55]Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey:
ACM SIGSOFT FSE 2014 Conference Summary. ACM SIGSOFT Softw. Eng. Notes 40(2): 22-27 (2015) - [j54]Yepang Liu, Chang Xu, Shing-Chi Cheung:
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. IEEE Softw. 32(1): 67-75 (2015) - [j53]Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu:
Cina: Suppressing the Detection of Unstable Context Inconsistency. IEEE Trans. Software Eng. 41(9): 842-865 (2015) - [c96]Valerio Terragni, Shing-Chi Cheung, Charles Zhang:
RECONTEST: Effective Regression Testing of Concurrent Programs. ICSE (1) 2015: 246-256 - 2014
- [j52]Yepang Liu, Chang Xu, S. C. Cheung, Wenhua Yang:
CHECKERDROID : Automated Quality Assurance for Smartphone Applications. Int. J. Softw. Informatics 8(1): 21-41 (2014) - [j51]Yueqi Li, Shing-Chi Cheung, Xiangyu Zhang, Yepang Liu:
Scaling Up Symbolic Analysis by Removing Z-Equivalent States. ACM Trans. Softw. Eng. Methodol. 23(4): 34:1-34:32 (2014) - [j50]Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu:
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. IEEE Trans. Software Eng. 40(9): 911-940 (2014) - [c95]Wensheng Dou, Shing-Chi Cheung, Jun Wei:
Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation. ICSE 2014: 848-858 - [c94]Yepang Liu, Chang Xu, Shing-Chi Cheung:
Characterizing and detecting performance bugs for smartphone applications. ICSE 2014: 1013-1024 - [c93]Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim:
CrashLocator: locating crashing faults based on crash stacks. ISSTA 2014: 204-214 - [c92]Yueqi Li, Shing-Chi Cheung:
Symbolic state validation through runtime data. ASE 2014: 187-198 - [e4]Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey:
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014. ACM 2014, ISBN 978-1-4503-3056-5 [contents] - 2013
- [j49]Chang Xu, Yepang Liu, S. C. Cheung, Chun Cao, Jian Lv:
Towards context consistency by concurrent checking for Internetware applications. Sci. China Inf. Sci. 56(8): 1-20 (2013) - [j48]Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lv:
Detecting Faults in Context-Aware Adaptation. Int. J. Softw. Informatics 7(1): 85-111 (2013) - [j47]Yepang Liu, Chang Xu, S. C. Cheung:
AFChecker: Effective model checking for context-aware adaptive applications. J. Syst. Softw. 86(3): 854-867 (2013) - [c91]Yepang Liu, Chang Xu, S. C. Cheung:
Where has my battery gone? Finding sensor related energy black holes in smartphone applications. PerCom 2013: 2-10 - [c90]Hongyu Zhang, S. C. Cheung:
A cost-effectiveness criterion for applying software defect prediction models. ESEC/SIGSOFT FSE 2013: 643-646 - 2012
- [j46]Hong Cheng, Yu Liu, Shing-Chi Cheung, Junfang Zeng, Jie Tan, Yiping Yang:
Mixed-reality simulation of RFID systems using iterated learning. Int. J. RF Technol. Res. Appl. 3(4): 219-242 (2012) - [j45]T. H. Ng, Yuen-Tak Yu, S. C. Cheung, W. K. Chan:
Human and program factors affecting the maintenance of programs with deployed design patterns. Inf. Softw. Technol. 54(1): 99-118 (2012) - [j44]Chang Xu, S. C. Cheung, Xiaoxing Ma, Chun Cao, Jian Lu:
Adam: Identifying defects in context-aware adaptation. J. Syst. Softw. 85(12): 2812-2828 (2012) - [c89]Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu:
Dynamic fault detection in context-aware adaptation. Internetware 2012: 1:1-1:10 - 2011
- [j43]Dickson K. W. Chiu, Qing Li, Patrick C. K. Hung, Zhe Shan, S. C. Cheung, Yu Yang, Matthias Farwick:
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views. J. Database Manag. 22(2): 32-63 (2011) - [j42]Xunteng Xu, Lin Gu, Jianping Wang, Guoliang Xing, Shing-Chi Cheung:
Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems. IEEE J. Sel. Areas Commun. 29(8): 1684-1697 (2011) - [j41]Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park:
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts. IEEE Trans. Software Eng. 37(3): 430-447 (2011) - [c88]Qiaona Hong, Sunghun Kim, S. C. Cheung, Christian Bird:
Understanding a developer social network and its evolution. ICSM 2011: 323-332 - [c87]Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Qiliang Yang, Jian Lü:
Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. ICWS 2011: 129-136 - [c86]Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung:
ReLink: recovering links between bugs and changes. SIGSOFT FSE 2011: 15-25 - [e3]Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao:
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. Lecture Notes in Computer Science 6724, Springer 2011, ISBN 978-3-642-24395-0 [contents] - 2010
- [j40]An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu:
Data-driven testing methodology for RFID systems. Frontiers Comput. Sci. China 4(3): 354-364 (2010) - [j39]Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till, Lalita Narupiyakul, Patrick C. K. Hung:
Enhancing E-Service Collaboration with Enforcement and Relationship Management: A Methodology from Requirements to Event Driven Realization. Int. J. Organ. Collect. Intell. 1(1): 15-43 (2010) - [j38]Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung:
Sequential Event Pattern Based Design of Context-Aware Adaptive Application. Int. J. Softw. Informatics 4(3): 419-436 (2010) - [j37]Dickson K. W. Chiu, S. C. Cheung, Ho-fung Leung, Patrick C. K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, Yi Zhuang:
Engineering e-Collaboration Services with a Multi-Agent System Approach. Int. J. Syst. Serv. Oriented Eng. 1(1): 1-25 (2010) - [j36]Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye:
Partial constraint checking for context consistency in pervasive computing. ACM Trans. Softw. Eng. Methodol. 19(3): 9:1-9:61 (2010) - [c85]Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lu:
Preserving Data Flow Correctness in Process Adaptation. IEEE SCC 2010: 9-16 - [c84]Yiyang Zhao, S. C. Cheung, Lionel M. Ni:
LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph. EUC 2010: 154-161 - [c83]Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan:
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. ICSE (1) 2010: 235-244 - [c82]Chushu Gao, Jun Wei, Chang Xu, S. C. Cheung:
Sequential event pattern based context-aware adaptation. Internetware 2010: 3 - [c81]T. H. Ng, Yuen-Tak Yu, S. C. Cheung:
Factors for Effective Use of Deployed Design Patterns. QSIC 2010: 112-121 - [c80]Yiyang Zhao, Weijun Hong, S. C. Cheung, Shufang Li:
The Impact of Reader to Tag Collision on RFID Tag Identification. WASA 2010: 115-119
2000 – 2009
- 2009
- [j35]Hong Zhu, S. C. Cheung, Joseph Robert Horgan, J. Jenny Li:
Guest Editorial to the Special Issue on Automation of Software Testing. Comput. J. 52(5): 513 (2009) - [j34]Lionel M. Ni, Yanmin Zhu, Jian Ma, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang, Minglu Li, Min-You Wu:
Semantic Sensor Net: an extensible framework. Int. J. Ad Hoc Ubiquitous Comput. 4(3/4): 157-167 (2009) - [j33]Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Marina Kafeza, S. C. Cheung, Eleanna Kafeza, Patrick C. K. Hung:
Alerts in Healthcare Applications: Process and Data Integration. Int. J. Heal. Inf. Syst. Informatics 4(2): 36-56 (2009) - [j32]Wing Kwong Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse:
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs. J. Syst. Softw. 82(3): 422-434 (2009) - [j31]S. C. Cheung, Hui Lei, Michael R. Lyu:
Preface for the ICEBE 2007 special section. Serv. Oriented Comput. Appl. 3(2): 127 (2009) - [j30]Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu:
Atomicity Analysis of Service Composition across Organizations. IEEE Trans. Software Eng. 35(1): 2-28 (2009) - [j29]Yingcai Wu, Ka-Kei Chung, Huamin Qu, Xiaoru Yuan, S. C. Cheung:
Interactive Visual Optimization and Analysis for RFID Benchmarking. IEEE Trans. Vis. Comput. Graph. 15(6): 1335-1342 (2009) - [c79]Wei Song, Xiaoxing Ma, S. C. Cheung, Wanchun Dou, Jian Lu:
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. IEEE SCC 2009: 427-434 - [c78]Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang:
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. ICSE 2009: 45-55 - [c77]Lin Gu, Shing-Chi Cheung:
Constructing and testing privacy-aware services in a cloud computing environment: challenges and opportunities. Internetware 2009: 2 - [c76]Chunyang Ye, Shing-Chi Cheung, Jun Wei, Hua Zhong, Tao Huang:
A study on the replaceability of context-aware middleware. Internetware 2009: 4 - 2008
- [j28]Wan-Chun Dou, Jinjun Chen, Shaokun Fan, S. C. Cheung:
A context- and role-driven scientific workflow development pattern. Concurr. Comput. Pract. Exp. 20(15): 1741-1757 (2008) - [j27]Wanchun Dou, Jinjun Chen, Jianxun Liu, S. C. Cheung, Guihai Chen, Shaokun Fan:
A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments. Int. J. High Perform. Comput. Appl. 22(3): 284-300 (2008) - [j26]Shing-Chi Cheung, Dickson K. W. Chiu, Cedric Ho:
The Use of Digital Watermarking for Intelligence Multimedia Document Distribution. J. Theor. Appl. Electron. Commer. Res. 3(3): 103-118 (2008) - [c75]Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye:
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. ICDCS 2008: 713-721 - [c74]Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan:
Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE 2008: 94-104 - 2007
- [j25]Wan-Chun Dou, Xiping Liu, Guihai Chen, S. C. Cheung, Shijie Cai:
Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure. Int. J. Knowl. Learn. 3(1): 88-105 (2007) - [j24]Dan Hong, Dickson K. W. Chiu, Vincent Y. Shen, S. C. Cheung, Eleanna Kafeza:
Ubiquitous enterprise service adaptations based on contextual user behavior. Inf. Syst. Frontiers 9(4): 343-358 (2007) - [j23]Xiping Liu, Wanchun Dou, Jinjun Chen, Shaokun Fan, Shing-Chi Cheung, Shijie Cai:
On design, verification, and dynamic modification of the problem-based scientific workflow model. Simul. Model. Pract. Theory 15(9): 1068-1088 (2007) - [c73]W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang:
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. Ada-Europe 2007: 84-99 - [c72]Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza:
Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture. HICSS 2007: 94 - [c71]Jogesh K. Muppala, Zonghua Gu, S. C. Cheung:
Teaching embedded systems software: The HKUST experience. ICPADS 2007: 1-6 - [c70]Chang Xu, Shing-Chi Cheung, Wing Kwong Chan:
Goal-Directed Context Validation for Adaptive Ubiquitous Systems. SEAMS 2007: 17 - [c69]Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan:
Process Evolution with Atomicity Consistency. SEAMS 2007: 19 - [c68]T. H. Ng, S. C. Cheung, W. K. Chan, Yuen-Tak Yu:
Do Maintainers Utilize Deployed Design Patterns Effectively?. ICSE 2007: 168-177 - [c67]Frank K. W. Cheong, Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung:
Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools. ICWS 2007: 1008-1015 - [c66]Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu:
Detection and resolution of atomicity violation in service composition. ESEC/SIGSOFT FSE 2007: 235-244 - [c65]Chang Xu, S. C. Cheung, W. K. Chan, Chunyang Ye:
On impact-oriented automatic resolution of pervasive context inconsistency. ESEC/SIGSOFT FSE 2007: 569-572 - [e2]S. C. Cheung, Yinsheng Li, Kuo-Ming Chao, Muhammad Younas, Jen-Yao Chung:
Proceedings of ICEBE 2007, IEEE International Conference on e-Business Engineering and the Workshops SOAIC 2007, SOSE 2007, SOKM 2007, 24-26 October, 2007, Hong Kong, China. IEEE Computer Society 2007, ISBN 0-7695-3003-6 [contents] - 2006
- [j22]Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-Chi Cheung:
Performance Aware Service Pool in Dependable Service Oriented Architecture. J. Comput. Sci. Technol. 21(4): 565-573 (2006) - [j21]W. K. Chan, M. Y. Cheng, S. C. Cheung, T. H. Tse:
Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study. J. Syst. Softw. 79(5): 602-612 (2006) - [c64]W. K. Chan, S. C. Cheung, Jeffrey C. F. Ho, T. H. Tse:
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. COMPSAC (1) 2006: 429-438 - [c63]Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu:
Distinguishing between Automatic and Manual Aspects of Model Driven Development. ECBS 2006: 487-488 - [c62]Dickson K. W. Chiu, Dan Hong, S. C. Cheung, Eleanna Kafeza:
Adapting Ubiquitous Enterprise Services with Context and Views. EDOC 2006: 391-394 - [c61]Yucong Duan, Xiaolan Fu, Shing-Chi Cheung, Yuqing Gu:
An Entity-Relationship Model based Conceptual Framework for Model Driven Development. IASTED Conf. on Software Engineering 2006: 200-205 - [c60]Tsz Hin Ng, Shing-Chi Cheung, Wing Kwong Chan, Yuen-Tak Yu:
Toward effective deployment of design patterns for software extension: a case study. WoSQ@ICSE 2006: 51-56 - [c59]Chang Xu, Shing-Chi Cheung, W. K. Chan:
Incremental consistency checking for pervasive context. ICSE 2006: 292-301 - [c58]Chunyang Ye, S. C. Cheung, W. K. Chan:
Publishing and composition of atomicity-equivalent services for B2B collaboration. ICSE 2006: 351-360 - [c57]Hong Zhu, Joseph Robert Horgan, S. C. Cheung, J. Jenny Li:
The first international workshop on automation of software test. ICSE 2006: 1028-1029 - [c56]Qing Li, Zhe Shan, Patrick C. K. Hung, Dickson K. W. Chiu, S. C. Cheung:
Flows and views for scalable scientific process integration. Infoscale 2006: 30 - [c55]Zhifeng Lai, S. C. Cheung, Yunfei Jiang:
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417 - [c54]T. H. Ng, S. C. Cheung, W. K. Chan, Yuen-Tak Yu:
Work experience versus refactoring to design patterns: a controlled experiment. SIGSOFT FSE 2006: 12-22 - [c53]Chunyang Ye, S. C. Cheung, W. K. Chan, Chang Xu:
Local analysis of atomicity sphere for B2B collaboration. SIGSOFT FSE 2006: 186-196 - [c52]Wan-Chun Dou, Guihai Chen, S. C. Cheung, Shijie Cai:
Cooperative Cognition and Its Implementation under Web Environment. SKG 2006: 46 - [e1]Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li:
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006. ACM 2006, ISBN 1-59593-408-1 [contents] - 2005
- [j20]Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Sherina Y. Y. Chiu, Andriy K. K. Chung:
Developing e-Negotiation support with a meta-modeling approach in a Web services environment. Decis. Support Syst. 40(1): 51-69 (2005) - [j19]Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung:
Integrating Legacy Sites into Web Services with WebXcript. Int. J. Cooperative Inf. Syst. 14(1): 25-44 (2005) - [j18]Changjie Wang, Ho-fung Leung, S. C. Cheung, Yumin Wang:
Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents. Int. J. High Perform. Comput. Netw. 3(5/6): 385-394 (2005) - [j17]T. H. Ng, S. C. Cheung:
Enhancing class commutability in the deployment of design patterns. Inf. Softw. Technol. 47(12): 797-804 (2005) - [j16]Wen Gao, Lionel M. Ni, Zhiwei Xu, S. C. Cheung, Li Cui, Qiong Luo:
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale. J. Comput. Sci. Technol. 20(1): 105-177 (2005) - [c51]Wan-Chun Dou, S. C. Cheung, Guihai Chen, Shijie Cai:
Certificate-Driven Grid Workflow Paradigm Based on Service Computing. GCC 2005: 155-160 - [c50]Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie Wang, Shijie Cai:
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications. GCC 2005: 1084-1095 - [c49]Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung:
Facilitating e-Negotiation Processes with Semantic Web Technologies. HICSS 2005 - [c48]Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung:
A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. HICSS 2005 - [c47]Lionel M. Ni, Yanmin Zhu, Jian Ma, Minglu Li, Qiong Luo, Yunhao Liu, S. C. Cheung, Qiang Yang:
Semantic Sensor Net: An Extensible Framework. ICCNMC 2005: 1144-1153 - [c46]W. K. Chan, S. C. Cheung, T. H. Tse:
Fault-Based Testing of Database Application Programs with Conceptual Data Model. QSIC 2005: 187-196 - [c45]W. K. Chan, S. C. Cheung, Karl R. P. H. Leung:
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. QSIC 2005: 470-476 - [c44]Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu:
A Metamodel Based Model Transformation Approach. SERA 2005: 184-191 - [c43]Chang Xu, Shing-Chi Cheung:
Inconsistency detection and resolution for context-aware middleware support. ESEC/SIGSOFT FSE 2005: 336-345 - 2004
- [j15]Dickson K. W. Chiu, S. C. Cheung, Sven Till, Kamalakar Karlapalem, Qing Li, Eleanna Kafeza:
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment. Inf. Technol. Manag. 5(3-4): 221-250 (2004) - [j14]Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung, Marina Kafeza:
Alerts in Mobile Healthcare Applications: Requirements and Pilot Study. IEEE Trans. Inf. Technol. Biomed. 8(2): 173-181 (2004) - [j13]S. C. Cheung, Samuel T. Chanson, Zhendong Xu:
Applying generic timing tests for distributed multimedia software systems. IEEE Trans. Reliab. 53(3): 329-341 (2004) - [c42]Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang:
Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents. AINA (1) 2004: 414-419 - [c41]Xiaoling Wang, Shing-Chi Cheung:
Grammar Based Interface Processing in Web Service Composition. ER (Workshops) 2004: 323-334 - [c40]Chang Xu, Shing-Chi Cheung, Xiangye Xiao:
Semantic Interpretation and Matching of Web Services. ER 2004: 542-554 - [c39]Shing-Chi Cheung, Ho-fung Leung, Changjie Wang:
A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. HICSS 2004 - [c38]Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung:
Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support. HICSS 2004 - [c37]Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza:
Alert-Driven E-Service Management. HICSS 2004 - [c36]Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza, Marina Kafeza:
Alerts for Healthcare Process and Data Integration. HICSS 2004 - [c35]Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei:
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. NPC 2004: 568-575 - [c34]M. Y. Cheng, S. C. Cheung, T. H. Tse:
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. QSIC 2004: 32-40 - 2003
- [j12]Sai Ho Kwok, S. C. Cheung, K. C. Wong, K. F. Tsang, Siu Man Lui, Kar Yan Tam:
Integration of digital rights management into the Internet Open Trading Protocol. Decis. Support Syst. 34(4): 413-425 (2003) - [j11]Sai Ho Kwok, Siu Man Lui, S. C. Cheung, Kar Yan Tam:
Digital Rights Management in Web Services. Electron. Mark. 13(2): 133-140 (2003) - [j10]Dickson K. W. Chiu, Shing-Chi Cheung, Eleanna Kafeza, Ho-fung Leung:
A three-tier view-based methodology for M-services adaptation. IEEE Trans. Syst. Man Cybern. Part A 33(6): 725-741 (2003) - [c33]Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung:
A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. CAiSE 2003: 226-241 - [c32]Tsz Hin Ng, Shing-Chi Cheung:
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. COMPSAC 2003: 242- - [c31]Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung:
Integrating Heterogeneous Web Services with WebXcript. COMPSAC 2003: 272-277 - [c30]Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu:
On the e-Negotiation of Unmatched Logrolling Views. HICSS 2003: 29 - [c29]Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till:
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. HICSS 2003: 74 - [c28]Shing-Chi Cheung, Dickson K. W. Chiu:
A Watermarking Infrastructure for Enterprise Document Management. HICSS 2003: 105 - [c27]Dickson K. W. Chiu, Wesley C. W. Chan, Gary K. W. Lam, Shing-Chi Cheung, Franklin T. Luk:
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry. HICSS 2003: 182 - [c26]Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till:
Data-driven Methodology to Extending Workflows to E-services over the Internet. HICSS 2003: 202 - [c25]Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung:
Developing e-Negotiation Process Support by Web Services. ICWS 2003: 97-103 - [c24]Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung:
Alert-Driven Process Integration in a Web Services Environment. ICWS 2003: 145-151 - [c23]Shing-Chi Cheung, Hanif Curreem, Dickson K. W. Chiu, Patrick C. K. Hung:
Implementing Watermark Token in WS-Security for Digital Content Distribution. ICWS 2003: 415-419 - 2002
- [j9]Xu Wang, Shing-Chi Cheung, Jun Wei:
A CSP and Z combined modeling of document exchange processes in e-commerce protocols. Inf. Softw. Technol. 44(14): 875-889 (2002) - [j8]Jian Zhang, S. C. Cheung:
Automated test case generation for the stress testing of multimedia systems. Softw. Pract. Exp. 32(15): 1411-1435 (2002) - [c22]Shing-Chi Cheung, Hanif Curreem:
Rights Protection for Digital Contents Redistribution Over the Internet. COMPSAC 2002: 105-110 - [c21]Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu:
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. ER 2002: 50-64 - [c20]Dickson K. W. Chiu, Shing-Chi Cheung, Kamalakar Karlapalem, Qing Li, Sven Till:
Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment. WES 2002: 41-56 - [c19]Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till:
A Three-Layer Framework for Cross-Organizational e-Contract Enactment. WES 2002: 78-92 - 2001
- [c18]X. Wang, Shing-Chi Cheung, J. Wei:
On the Modelling of Document Exchange Processes in E-Commerce Protocols. APAQS 2001: 387-396 - [c17]Jun Wei, Shing-Chi Cheung, Xu Wang:
Exploiting Automatic Analysis of E-Commerce Protocols. COMPSAC 2001: 55- - [c16]Jian Zhang, Chen Xu, S. C. Cheung:
Automatic Generation of Database Instances for White-box Testing. COMPSAC 2001: 161-165 - [c15]Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng:
Modeling and Verifying Strong Cache Consistency for Mobile Data Access . ISSRE 2001: 103-111 - [c14]Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu:
Toward Generic Timing Tests for Distributed Multimedia Software Systems. ISSRE 2001: 210-221
1990 – 1999
- 1999
- [j7]Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung:
Behaviour Analysis of Distributed Systems Using the Tracta Approach. Autom. Softw. Eng. 6(1): 7-35 (1999) - [j6]Shing-Chi Cheung, Samuel T. Chanson:
A model-based authorware for the construction of distributed multimedia systems. Inf. Softw. Technol. 41(11-12): 715-727 (1999) - [j5]Shing-Chi Cheung, Jeff Kramer:
Checking Safety Properties Using Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 8(1): 49-78 (1999) - [c13]Man-yee Chan, Shing-Chi Cheung:
Testing Database Applications with SQL Semantics. CODAS 1999: 364-376 - [c12]Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson:
Stress Testing of Distributed Multimedia Software Systems. FORTE 1999: 119-133 - [c11]Paul Leung, Shing-Chi Cheung:
A CSCW Framework for the Flexible Coupling of Groupware Widgets. ICECCS 1999: 9-20 - 1998
- [c10]Shing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson:
A Two-Tier Technique for Authoring Distributed Multimedia Applications. ICMCS 1998: 368-371 - [c9]Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung:
Towards a Framework for Testing Distributed Multimedia Software Systems. PDSE 1998: 72- - [c8]Shing-Chi Cheung, Kam-Keung Wong:
Construction of Distributed Multimedia Applications using Multiple Views. PDSE 1998: 166-175 - 1997
- [c7]Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer:
Verification of Liveness Properties Using Compositional Reachability Analysis. ESEC / SIGSOFT FSE 1997: 227-243 - [c6]Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs:
A Framework for Distributed Object-Oriented Testing. FORTE 1997: 39-56 - 1996
- [j4]Shing-Chi Cheung, Jeff Kramer:
Context Constraints for Compositional Reachability Analysis. ACM Trans. Softw. Eng. Methodol. 5(4): 334-377 (1996) - [c5]Shing-Chi Cheung, Jeff Kramer:
Checking Subsystem Safety Properties in Compositional Reachability Analysis. ICSE 1996: 144-154 - 1995
- [j3]Shing-Chi Cheung, Jeff Kramer:
Contextual Local Analysis in the Design of Distributed Systems. Autom. Softw. Eng. 2(1): 5-32 (1995) - [c4]Shing-Chi Cheung, Jeff Kramer:
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. SIGSOFT FSE 1995: 140-150 - 1994
- [j2]Shing-Chi Cheung, Jeff Kramer:
Tractable Dataflow Analysis for Distributed Systems. IEEE Trans. Software Eng. 20(8): 579-593 (1994) - [c3]Shing-Chi Cheung, Jeff Kramer:
An Integrated Method for Effective Behaviour Analysis of Distributed Systems. ICSE 1994: 309-320 - 1993
- [c2]Shing-Chi Cheung, Jeff Kramer:
Tractable Flow Analysis for Anomaly Detection in Distributed Programs. ESEC 1993: 283-300 - [c1]Shing-Chi Cheung, Jeff Kramer:
Enhancing Compositional Reachability Analysis with Context Constraints. SIGSOFT FSE 1993: 115-125 - 1991
- [j1]Jeff Magee, Shing-Chi Cheung:
Parallel Algorithm Design for Workstation Clusters. Softw. Pract. Exp. 21(3): 235-250 (1991)
Coauthor Index
[j83] [j78] [j76] [c143] [c142] [i25] [i23] [i22] [j73] [c137] [i20] [i16] [j72] [c132] [c130] [c129] [c128] [i15] [i14] [i13] [i12] [i11] [j65] [c125] [c124] [c123] [c122] [i8] [j64] [c118] [c117] [c115] [i5] [c110] [c109] [c106] [c104] [c102] [c101] [c98] [i1] [j56] [j54] [j52] [j51] [j50] [c94] [j49] [j47] [c91]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-11 20:14 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
