Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Shing-Chi Cheung
@article{DBLP:journals/tosem/WuWJCRX24, author = {Jiarong Wu and Lili Wei and Yanyan Jiang and Shing{-}Chi Cheung and Luyao Ren and Chang Xu}, title = {Programming by Example Made Easy}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {33}, number = {1}, pages = {4:1--4:36}, year = {2024}, url = {https://doi.org/10.1145/3607185}, doi = {10.1145/3607185}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/WuWJCRX24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/ZhuWTLCWSZS24, author = {Hengcheng Zhu and Lili Wei and Valerio Terragni and Yepang Liu and Shing{-}Chi Cheung and Jiarong Wu and Qin Sheng and Bing Zhang and Lihong Song}, title = {StubCoder: Automated Generation and Repair of Stub Code for Mock Objects}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {33}, number = {1}, pages = {16:1--16:31}, year = {2024}, url = {https://doi.org/10.1145/3617171}, doi = {10.1145/3617171}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/ZhuWTLCWSZS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TianZDXZJCS24, author = {Yongqiang Tian and Xueyan Zhang and Yiwen Dong and Zhenyang Xu and Mengxiao Zhang and Yu Jiang and Shing{-}Chi Cheung and Chengnian Sun}, title = {On the Caching Schemes to Speed Up Program Reduction}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {33}, number = {1}, pages = {17:1--17:30}, year = {2024}, url = {https://doi.org/10.1145/3617172}, doi = {10.1145/3617172}, timestamp = {Sat, 10 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/TianZDXZJCS24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2403-16898, author = {Jialun Cao and Wuqi Zhang and Shing{-}Chi Cheung}, title = {Concerned with Data Contamination? Assessing Countermeasures in Code Language Model}, journal = {CoRR}, volume = {abs/2403.16898}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2403.16898}, doi = {10.48550/ARXIV.2403.16898}, eprinttype = {arXiv}, eprint = {2403.16898}, timestamp = {Tue, 09 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2403-16898.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/HeLWCZY23, author = {Jiahao He and Shuangyin Li and Xinming Wang and Shing{-}Chi Cheung and Gansen Zhao and Jinji Yang}, title = {Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode}, journal = {J. Syst. Softw.}, volume = {199}, pages = {111627}, year = {2023}, url = {https://doi.org/10.1016/j.jss.2023.111627}, doi = {10.1016/J.JSS.2023.111627}, timestamp = {Sat, 13 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/HeLWCZY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/LiCTLWC23, author = {Meiziniu Li and Jialun Cao and Yongqiang Tian and Tsz On Li and Ming Wen and Shing{-}Chi Cheung}, title = {{COMET:} Coverage-guided Model Generation For Deep Learning Library Testing}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {5}, pages = {127:1--127:34}, year = {2023}, url = {https://doi.org/10.1145/3583566}, doi = {10.1145/3583566}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/LiCTLWC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/TianZWCSMJ23, author = {Yongqiang Tian and Wuqi Zhang and Ming Wen and Shing{-}Chi Cheung and Chengnian Sun and Shiqing Ma and Yu Jiang}, title = {Finding Deviated Behaviors of the Compressed {DNN} Models for Image Classifications}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {5}, pages = {128:1--128:32}, year = {2023}, url = {https://doi.org/10.1145/3583564}, doi = {10.1145/3583564}, timestamp = {Thu, 31 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/TianZWCSMJ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WangWWLXCYZ23, author = {Ying Wang and Yibo Wang and Sinan Wang and Yepang Liu and Chang Xu and Shing{-}Chi Cheung and Hai Yu and Zhiliang Zhu}, title = {Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {1}, pages = {185--210}, year = {2023}, url = {https://doi.org/10.1109/TSE.2022.3148258}, doi = {10.1109/TSE.2022.3148258}, timestamp = {Sat, 21 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WangWWLXCYZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/0038SP00C0023, author = {Ying Wang and Peng Sun and Lin Pei and Yue Yu and Chang Xu and Shing{-}Chi Cheung and Hai Yu and Zhiliang Zhu}, title = {Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {5}, pages = {3155--3181}, year = {2023}, url = {https://doi.org/10.1109/TSE.2023.3243262}, doi = {10.1109/TSE.2023.3243262}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/0038SP00C0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/ZhangWCLLLL23, author = {Wuqi Zhang and Lili Wei and Shing{-}Chi Cheung and Yepang Liu and Shuqing Li and Lu Liu and Michael R. Lyu}, title = {Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {6}, pages = {3630--3646}, year = {2023}, url = {https://doi.org/10.1109/TSE.2023.3270117}, doi = {10.1109/TSE.2023.3270117}, timestamp = {Thu, 13 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/ZhangWCLLLL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/0001X0SC23, author = {Yongqiang Tian and Zhenyang Xu and Yiwen Dong and Chengnian Sun and Shing{-}Chi Cheung}, title = {Revisiting the Evaluation of Deep Learning-Based Compiler Testing}, booktitle = {Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, {IJCAI} 2023, 19th-25th August 2023, Macao, SAR, China}, pages = {4873--4882}, publisher = {ijcai.org}, year = {2023}, url = {https://doi.org/10.24963/ijcai.2023/542}, doi = {10.24963/IJCAI.2023/542}, timestamp = {Mon, 28 Aug 2023 17:23:07 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/0001X0SC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/MaS00C23, author = {Haoyang Ma and Qingchao Shen and Yongqiang Tian and Junjie Chen and Shing{-}Chi Cheung}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {Fuzzing Deep Learning Compilers with HirGen}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {248--260}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598053}, doi = {10.1145/3597926.3598053}, timestamp = {Mon, 17 Jul 2023 11:49:17 +0200}, biburl = {https://dblp.org/rec/conf/issta/MaS00C23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/HuangXW0C23, author = {Huaxun Huang and Chi Xu and Ming Wen and Yepang Liu and Shing{-}Chi Cheung}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {ConfFix: Repairing Configuration Compatibility Issues in Android Apps}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {514--525}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598074}, doi = {10.1145/3597926.3598074}, timestamp = {Tue, 18 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/HuangXW0C23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/HuW0C23, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, editor = {Ren{\'{e}} Just and Gordon Fraser}, title = {{\(\omega\)}Test: WebView-Oriented Testing for Android Applications}, booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July 17-21, 2023}, pages = {992--1004}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3597926.3598112}, doi = {10.1145/3597926.3598112}, timestamp = {Mon, 17 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/HuW0C23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiZWTWCK23, author = {Tsz On Li and Wenxi Zong and Yibo Wang and Haoye Tian and Ying Wang and Shing{-}Chi Cheung and Jeff Kramer}, title = {Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting}, booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2023, Luxembourg, September 11-15, 2023}, pages = {14--26}, publisher = {{IEEE}}, year = {2023}, url = {https://doi.org/10.1109/ASE56229.2023.00089}, doi = {10.1109/ASE56229.2023.00089}, timestamp = {Thu, 16 Nov 2023 09:03:51 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiZWTWCK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CaoL0C23, author = {Jialun Cao and Yaojie Lu and Ming Wen and Shing{-}Chi Cheung}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Testing Coreference Resolution Systems without Labeled Test Sets}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {107--119}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3616258}, doi = {10.1145/3611643.3616258}, timestamp = {Thu, 14 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/CaoL0C23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/WangWZ0C0023, author = {Yibo Wang and Ying Wang and Tingwei Zhang and Yue Yu and Shing{-}Chi Cheung and Hai Yu and Zhiliang Zhu}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Can Machine Learning Pipelines Be Better Configured?}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {463--475}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3616352}, doi = {10.1145/3611643.3616352}, timestamp = {Mon, 04 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/WangWZ0C0023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/DuCC0C023, author = {Xiaohu Du and Xiao Chen and Jialun Cao and Ming Wen and Shing{-}Chi Cheung and Hai Jin}, editor = {Satish Chandra and Kelly Blincoe and Paolo Tonella}, title = {Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems}, booktitle = {Proceedings of the 31st {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/FSE} 2023, San Francisco, CA, USA, December 3-9, 2023}, pages = {1358--1370}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3611643.3616347}, doi = {10.1145/3611643.3616347}, timestamp = {Mon, 04 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/DuCC0C023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2301-12695, author = {Jiahao He and Shuangyin Li and Xinming Wang and Shing{-}Chi Cheung and Gansen Zhao and Jinji Yang}, title = {Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode}, journal = {CoRR}, volume = {abs/2301.12695}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2301.12695}, doi = {10.48550/ARXIV.2301.12695}, eprinttype = {arXiv}, eprint = {2301.12695}, timestamp = {Wed, 01 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2301-12695.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-08191, author = {Jialun Cao and Meiziniu Li and Ming Wen and Shing{-}Chi Cheung}, title = {A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair}, journal = {CoRR}, volume = {abs/2304.08191}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.08191}, doi = {10.48550/ARXIV.2304.08191}, eprinttype = {arXiv}, eprint = {2304.08191}, timestamp = {Fri, 21 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-08191.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-11686, author = {Tsz On Li and Wenxi Zong and Yibo Wang and Haoye Tian and Ying Wang and Shing{-}Chi Cheung and Jeff Kramer}, title = {Finding Failure-Inducing Test Cases with ChatGPT}, journal = {CoRR}, volume = {abs/2304.11686}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.11686}, doi = {10.48550/ARXIV.2304.11686}, eprinttype = {arXiv}, eprint = {2304.11686}, timestamp = {Tue, 02 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-11686.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2304-11938, author = {Haoye Tian and Weiqi Lu and Tsz On Li and Xunzhu Tang and Shing{-}Chi Cheung and Jacques Klein and Tegawend{\'{e}} F. Bissyand{\'{e}}}, title = {Is ChatGPT the Ultimate Programming Assistant - How far is it?}, journal = {CoRR}, volume = {abs/2304.11938}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2304.11938}, doi = {10.48550/ARXIV.2304.11938}, eprinttype = {arXiv}, eprint = {2304.11938}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2304-11938.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2306-03845, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, title = {{\(\omega\)}Test: WebView-Oriented Testing for Android Applications}, journal = {CoRR}, volume = {abs/2306.03845}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2306.03845}, doi = {10.48550/ARXIV.2306.03845}, eprinttype = {arXiv}, eprint = {2306.03845}, timestamp = {Tue, 13 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2306-03845.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-07965, author = {Jiarong Wu and Lili Wei and Yanyan Jiang and Shing{-}Chi Cheung and Luyao Ren and Chang Xu}, title = {Programming by Example Made Easy}, journal = {CoRR}, volume = {abs/2307.07965}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.07965}, doi = {10.48550/ARXIV.2307.07965}, eprinttype = {arXiv}, eprint = {2307.07965}, timestamp = {Tue, 25 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-07965.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-14733, author = {Hengcheng Zhu and Lili Wei and Valerio Terragni and Yepang Liu and Shing{-}Chi Cheung and Jiarong Wu and Qin Sheng and Bing Zhang and Lihong Song}, title = {StubCoder: Automated Generation and Repair of Stub Code for Mock Objects}, journal = {CoRR}, volume = {abs/2307.14733}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.14733}, doi = {10.48550/ARXIV.2307.14733}, eprinttype = {arXiv}, eprint = {2307.14733}, timestamp = {Wed, 02 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-14733.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2308-06783, author = {Shuqing Li and Lili Wei and Yepang Liu and Cuiyun Gao and Shing{-}Chi Cheung and Michael R. Lyu}, title = {Towards Modeling Software Quality of Virtual Reality Applications from Users' Perspectives}, journal = {CoRR}, volume = {abs/2308.06783}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2308.06783}, doi = {10.48550/ARXIV.2308.06783}, eprinttype = {arXiv}, eprint = {2308.06783}, timestamp = {Wed, 23 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2308-06783.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2312-12056, author = {Xiaoyuan Xie and Shuo Jin and Songqiang Chen and Shing{-}Chi Cheung}, title = {Word Closure-Based Metamorphic Testing for Machine Translation}, journal = {CoRR}, volume = {abs/2312.12056}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2312.12056}, doi = {10.48550/ARXIV.2312.12056}, eprinttype = {arXiv}, eprint = {2312.12056}, timestamp = {Wed, 17 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2312-12056.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tip/SaxenaKCC22, author = {Divya Saxena and Tarun Kulshrestha and Jiannong Cao and Shing{-}Chi Cheung}, title = {Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation}, journal = {{IEEE} Trans. Image Process.}, volume = {31}, pages = {1601--1612}, year = {2022}, url = {https://doi.org/10.1109/TIP.2022.3144886}, doi = {10.1109/TIP.2022.3144886}, timestamp = {Wed, 23 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tip/SaxenaKCC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/CaoLLWCC22, author = {Jialun Cao and Meiziniu Li and Yeting Li and Ming Wen and Shing{-}Chi Cheung and Haiming Chen}, title = {SemMT: {A} Semantic-Based Testing Approach for Machine Translation Systems}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {31}, number = {2}, pages = {34e:1--34e:36}, year = {2022}, url = {https://doi.org/10.1145/3490488}, doi = {10.1145/3490488}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/CaoLLWCC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WangWWWLCYXZ22, author = {Ying Wang and Rongxin Wu and Chao Wang and Ming Wen and Yepang Liu and Shing{-}Chi Cheung and Hai Yu and Chang Xu and Zhiliang Zhu}, title = {Will Dependency Conflicts Affect My Program's Semantics?}, journal = {{IEEE} Trans. Software Eng.}, volume = {48}, number = {7}, pages = {2295--2316}, year = {2022}, url = {https://doi.org/10.1109/TSE.2021.3057767}, doi = {10.1109/TSE.2021.3057767}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WangWWWLCYXZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangWZWLLC22, author = {Sinan Wang and Yibo Wang and Xian Zhan and Ying Wang and Yepang Liu and Xiapu Luo and Shing{-}Chi Cheung}, title = {{APER:} Evolution-Aware Runtime Permission Misuse Detection for Android Apps}, booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022}, pages = {125--137}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3510003.3510074}, doi = {10.1145/3510003.3510074}, timestamp = {Tue, 02 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WangWZWLLC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CaoLC0TWC22, author = {Jialun Cao and Meiziniu Li and Xiao Chen and Ming Wen and Yongqiang Tian and Bo Wu and Shing{-}Chi Cheung}, title = {DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs}, booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022}, pages = {573--585}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3510003.3510099}, doi = {10.1145/3510003.3510099}, timestamp = {Thu, 06 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/CaoLC0TWC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LiWLCL22, author = {Zhenming Li and Ying Wang and Zeqi Lin and Shing{-}Chi Cheung and Jian{-}Guang Lou}, title = {Nufix: Escape From NuGet Dependency Maze}, booktitle = {44th {IEEE/ACM} 44th International Conference on Software Engineering, {ICSE} 2022, Pittsburgh, PA, USA, May 25-27, 2022}, pages = {1545--1557}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3510003.3510118}, doi = {10.1145/3510003.3510118}, timestamp = {Tue, 02 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/LiWLCL22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/XuWCY022, author = {Meiqiu Xu and Ying Wang and Shing{-}Chi Cheung and Hai Yu and Zhiliang Zhu}, title = {Insight: Exploring Cross-Ecosystem Vulnerability Impacts}, booktitle = {37th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2022, Rochester, MI, USA, October 10-14, 2022}, pages = {58:1--58:13}, publisher = {{ACM}}, year = {2022}, url = {https://doi.org/10.1145/3551349.3556921}, doi = {10.1145/3551349.3556921}, timestamp = {Wed, 18 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/XuWCY022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/LiS0CLLCC0X22, author = {Yeting Li and Yecheng Sun and Zhiwu Xu and Jialun Cao and Yuekang Li and Rongchen Li and Haiming Chen and Shing{-}Chi Cheung and Yang Liu and Yang Xiao}, editor = {Kevin R. B. Butler and Kurt Thomas}, title = {RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix}, booktitle = {31st {USENIX} Security Symposium, {USENIX} Security 2022, Boston, MA, USA, August 10-12, 2022}, pages = {4183--4200}, publisher = {{USENIX} Association}, year = {2022}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/li-yeting}, timestamp = {Fri, 21 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uss/LiS0CLLCC0X22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2201-12542, author = {Sinan Wang and Yibo Wang and Xian Zhan and Ying Wang and Yepang Liu and Xiapu Luo and Shing{-}Chi Cheung}, title = {Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps}, journal = {CoRR}, volume = {abs/2201.12542}, year = {2022}, url = {https://arxiv.org/abs/2201.12542}, eprinttype = {arXiv}, eprint = {2201.12542}, timestamp = {Tue, 02 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2201-12542.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2205-01938, author = {Jialun Cao and Meiziniu Li and Xiao Chen and Ming Wen and Yongqiang Tian and Bo Wu and Shing{-}Chi Cheung}, title = {DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs}, journal = {CoRR}, volume = {abs/2205.01938}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2205.01938}, doi = {10.48550/ARXIV.2205.01938}, eprinttype = {arXiv}, eprint = {2205.01938}, timestamp = {Thu, 06 Apr 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2205-01938.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-01508, author = {Meiziniu Li and Jialun Cao and Yongqiang Tian and Tsz On Li and Ming Wen and Shing{-}Chi Cheung}, title = {{MEMO:} Coverage-guided Model Generation For Deep Learning Library Testing}, journal = {CoRR}, volume = {abs/2208.01508}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.01508}, doi = {10.48550/ARXIV.2208.01508}, eprinttype = {arXiv}, eprint = {2208.01508}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-01508.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2208-02193, author = {Haoyang Ma and Qingchao Shen and Yongqiang Tian and Junjie Chen and Shing{-}Chi Cheung}, title = {HirFuzz: Detecting High-Level Optimization Bugs in {DL} Compilers via Computational Graph Generation}, journal = {CoRR}, volume = {abs/2208.02193}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2208.02193}, doi = {10.48550/ARXIV.2208.02193}, eprinttype = {arXiv}, eprint = {2208.02193}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2208-02193.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2212-12110, author = {Wuqi Zhang and Lili Wei and Shing{-}Chi Cheung and Yepang Liu and Shuqing Li and Lu Liu and Michael R. Lyu}, title = {Front-Running Attack Benchmark Construction and Vulnerability Detection Technique Evaluation}, journal = {CoRR}, volume = {abs/2212.12110}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2212.12110}, doi = {10.48550/ARXIV.2212.12110}, eprinttype = {arXiv}, eprint = {2212.12110}, timestamp = {Wed, 04 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2212-12110.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/TianMWLCZ21, author = {Yongqiang Tian and Shiqing Ma and Ming Wen and Yepang Liu and Shing{-}Chi Cheung and Xiangyu Zhang}, title = {To what extent do DNN-based image classification models make unreliable inferences?}, journal = {Empir. Softw. Eng.}, volume = {26}, number = {4}, pages = {84}, year = {2021}, url = {https://doi.org/10.1007/s10664-021-09985-1}, doi = {10.1007/S10664-021-09985-1}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ese/TianMWLCZ21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/SongJCLM21, author = {Wei Song and Hans{-}Arno Jacobsen and Shing{-}Chi Cheung and Hongyu Liu and Xiaoxing Ma}, title = {Workflow Refactoring for Maximizing Concurrency and Block-Structuredness}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {14}, number = {4}, pages = {1224--1237}, year = {2021}, url = {https://doi.org/10.1109/TSC.2018.2867593}, doi = {10.1109/TSC.2018.2867593}, timestamp = {Thu, 12 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/SongJCLM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/YeCC21, author = {Chunyang Ye and Shing{-}Chi Cheung and Wing Kwong Chan}, title = {Sifter: {A} Service Isolation Strategy for Internet Applications}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {14}, number = {5}, pages = {1545--1557}, year = {2021}, url = {https://doi.org/10.1109/TSC.2018.2876254}, doi = {10.1109/TSC.2018.2876254}, timestamp = {Wed, 03 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tsc/YeCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LeeWCK21, author = {Seonah Lee and Rongxin Wu and Shing{-}Chi Cheung and Sungwon Kang}, title = {Automatic Detection and Update Suggestion for Outdated {API} Names in Documentation}, journal = {{IEEE} Trans. Software Eng.}, volume = {47}, number = {4}, pages = {653--675}, year = {2021}, url = {https://doi.org/10.1109/TSE.2019.2901459}, doi = {10.1109/TSE.2019.2901459}, timestamp = {Wed, 05 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LeeWCK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WenCTWHHC21, author = {Ming Wen and Junjie Chen and Yongqiang Tian and Rongxin Wu and Dan Hao and Shi Han and Shing{-}Chi Cheung}, title = {Historical Spectrum Based Fault Localization}, journal = {{IEEE} Trans. Software Eng.}, volume = {47}, number = {11}, pages = {2348--2368}, year = {2021}, url = {https://doi.org/10.1109/TSE.2019.2948158}, doi = {10.1109/TSE.2019.2948158}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/WenCTWHHC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangQXLCMY021, author = {Ying Wang and Liang Qiao and Chang Xu and Yepang Liu and Shing{-}Chi Cheung and Na Meng and Hai Yu and Zhiliang Zhu}, title = {{HERO:} On the Chaos When {PATH} Meets Modules}, booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021}, pages = {99--111}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICSE43902.2021.00022}, doi = {10.1109/ICSE43902.2021.00022}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WangQXLCMY021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LiLXCCHCC21, author = {Yeting Li and Shuaimin Li and Zhiwu Xu and Jialun Cao and Zixuan Chen and Yun Hu and Haiming Chen and Shing{-}Chi Cheung}, title = {{TRANSREGEX:} Multi-modal Regular Expression Synthesis by Generate-and-Repair}, booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021}, pages = {1210--1222}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ICSE43902.2021.00111}, doi = {10.1109/ICSE43902.2021.00111}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LiLXCCHCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/Huang0W0C21, author = {Huaxun Huang and Ming Wen and Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, title = {Characterizing and Detecting Configuration Compatibility Issues in Android Apps}, booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2021, Melbourne, Australia, November 15-19, 2021}, pages = {517--528}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ASE51524.2021.9678556}, doi = {10.1109/ASE51524.2021.9678556}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/Huang0W0C21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiuWZ00C21, author = {Lu Liu and Lili Wei and Wuqi Zhang and Ming Wen and Yepang Liu and Shing{-}Chi Cheung}, title = {Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts}, booktitle = {36th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2021, Melbourne, Australia, November 15-19, 2021}, pages = {630--641}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/ASE51524.2021.9678597}, doi = {10.1109/ASE51524.2021.9678597}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LiuWZ00C21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ZhangWL0C21, author = {Wuqi Zhang and Lili Wei and Shuqing Li and Yepang Liu and Shing{-}Chi Cheung}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {{\DH}Archer: detecting on-chain-off-chain synchronization bugs in decentralized applications}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {553--565}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3468546}, doi = {10.1145/3468264.3468546}, timestamp = {Sat, 08 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/ZhangWL0C21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ShenM0TCC21, author = {Qingchao Shen and Haoyang Ma and Junjie Chen and Yongqiang Tian and Shing{-}Chi Cheung and Xiang Chen}, editor = {Diomidis Spinellis and Georgios Gousios and Marsha Chechik and Massimiliano Di Penta}, title = {A comprehensive study of deep learning compiler bugs}, booktitle = {{ESEC/FSE} '21: 29th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Athens, Greece, August 23-28, 2021}, pages = {968--980}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3468264.3468591}, doi = {10.1145/3468264.3468591}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/ShenM0TCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uss/LiCC0PCCC21, author = {Yeting Li and Zixuan Chen and Jialun Cao and Zhiwu Xu and Qiancheng Peng and Haiming Chen and Liyuan Chen and Shing{-}Chi Cheung}, editor = {Michael D. Bailey and Rachel Greenstadt}, title = {ReDoSHunter: {A} Combined Static and Dynamic Approach for Regular Expression DoS Detection}, booktitle = {30th {USENIX} Security Symposium, {USENIX} Security 2021, August 11-13, 2021}, pages = {3847--3864}, publisher = {{USENIX} Association}, year = {2021}, url = {https://www.usenix.org/conference/usenixsecurity21/presentation/li-yeting}, timestamp = {Mon, 20 Nov 2023 08:57:49 +0100}, biburl = {https://dblp.org/rec/conf/uss/LiCC0PCCC21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2102-12105, author = {Ying Wang and Liang Qiao and Chang Xu and Yepang Liu and Shing{-}Chi Cheung and Na Meng and Hai Yu and Zhiliang Zhu}, title = {Hero: On the Chaos When {PATH} Meets Modules}, journal = {CoRR}, volume = {abs/2102.12105}, year = {2021}, url = {https://arxiv.org/abs/2102.12105}, eprinttype = {arXiv}, eprint = {2102.12105}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2102-12105.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-09440, author = {Wuqi Zhang and Lili Wei and Shuqing Li and Yepang Liu and Shing{-}Chi Cheung}, title = {{\DH}Archer: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications}, journal = {CoRR}, volume = {abs/2106.09440}, year = {2021}, url = {https://arxiv.org/abs/2106.09440}, eprinttype = {arXiv}, eprint = {2106.09440}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-09440.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2106-13012, author = {Ying Wang and Yibo Wang and Sinan Wang and Yepang Liu and Chang Xu and Shing{-}Chi Cheung and Hai Yu and Zhiliang Zhu}, title = {Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward}, journal = {CoRR}, volume = {abs/2106.13012}, year = {2021}, url = {https://arxiv.org/abs/2106.13012}, eprinttype = {arXiv}, eprint = {2106.13012}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2106-13012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2108-10799, author = {Lu Liu and Lili Wei and Wuqi Zhang and Ming Wen and Yepang Liu and Shing{-}Chi Cheung}, title = {Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts}, journal = {CoRR}, volume = {abs/2108.10799}, year = {2021}, url = {https://arxiv.org/abs/2108.10799}, eprinttype = {arXiv}, eprint = {2108.10799}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2108-10799.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2109-00300, author = {Huaxun Huang and Ming Wen and Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, title = {Characterizing and Detecting Configuration Compatibility Issues in Android Apps}, journal = {CoRR}, volume = {abs/2109.00300}, year = {2021}, url = {https://arxiv.org/abs/2109.00300}, eprinttype = {arXiv}, eprint = {2109.00300}, timestamp = {Mon, 20 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2109-00300.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2112-02819, author = {Yongqiang Tian and Wuqi Zhang and Ming Wen and Shing{-}Chi Cheung and Chengnian Sun and Shiqing Ma and Yu Jiang}, title = {Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network}, journal = {CoRR}, volume = {abs/2112.02819}, year = {2021}, url = {https://arxiv.org/abs/2112.02819}, eprinttype = {arXiv}, eprint = {2112.02819}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2112-02819.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/WangHXZC20, author = {Xinming Wang and Jiahao He and Zhijian Xie and Gansen Zhao and Shing{-}Chi Cheung}, title = {ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {13}, number = {2}, pages = {314--328}, year = {2020}, url = {https://doi.org/10.1109/TSC.2019.2949561}, doi = {10.1109/TSC.2019.2949561}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/WangHXZC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WenWC20, author = {Ming Wen and Rongxin Wu and Shing{-}Chi Cheung}, title = {How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes}, journal = {{IEEE} Trans. Software Eng.}, volume = {46}, number = {11}, pages = {1155--1175}, year = {2020}, url = {https://doi.org/10.1109/TSE.2018.2876256}, doi = {10.1109/TSE.2018.2876256}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/WenWC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WeiLCHLL20, author = {Lili Wei and Yepang Liu and Shing{-}Chi Cheung and Huaxun Huang and Xuan Lu and Xuanzhe Liu}, title = {Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps}, journal = {{IEEE} Trans. Software Eng.}, volume = {46}, number = {11}, pages = {1176--1199}, year = {2020}, url = {https://doi.org/10.1109/TSE.2018.2876439}, doi = {10.1109/TSE.2018.2876439}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/WeiLCHLL20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TianZW0KC20, author = {Yongqiang Tian and Zhihua Zeng and Ming Wen and Yepang Liu and Tzu{-}yang Kuo and Shing{-}Chi Cheung}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {EvalDNN: a toolbox for evaluating deep neural network models}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {45--48}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3377812.3382133}, doi = {10.1145/3377812.3382133}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/TianZW0KC20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Wen0C20, author = {Ming Wen and Yepang Liu and Shing{-}Chi Cheung}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {Boosting automated program repair with bug-inducing commits}, booktitle = {{ICSE-NIER} 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {77--80}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3377816.3381743}, doi = {10.1145/3377816.3381743}, timestamp = {Mon, 03 May 2021 16:42:27 +0200}, biburl = {https://dblp.org/rec/conf/icse/Wen0C20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangW0WLWYCX020, author = {Ying Wang and Ming Wen and Yepang Liu and Yibo Wang and Zhenming Li and Chao Wang and Hai Yu and Shing{-}Chi Cheung and Chang Xu and Zhiliang Zhu}, editor = {Gregg Rothermel and Doo{-}Hwan Bae}, title = {Watchman: monitoring dependency conflicts for Python library ecosystem}, booktitle = {{ICSE} '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020}, pages = {125--135}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3377811.3380426}, doi = {10.1145/3377811.3380426}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WangW0WLWYCX020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/ZhuWWLCSZ20, author = {Hengcheng Zhu and Lili Wei and Ming Wen and Yepang Liu and Shing{-}Chi Cheung and Qin Sheng and Cui Zhou}, title = {MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests}, booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, pages = {436--447}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1145/3324884.3416539}, doi = {10.1145/3324884.3416539}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/ZhuWWLCSZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiXCCGCZ20, author = {Yeting Li and Zhiwu Xu and Jialun Cao and Haiming Chen and Tingjian Ge and Shing{-}Chi Cheung and Haoren Zhao}, title = {FlashRegex: Deducing Anti-ReDoS Regexes from Examples}, booktitle = {35th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2020, Melbourne, Australia, September 21-25, 2020}, pages = {659--671}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1145/3324884.3416556}, doi = {10.1145/3324884.3416556}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiXCCGCZ20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ZhangRC0C020, author = {Yuhao Zhang and Luyao Ren and Liqian Chen and Yingfei Xiong and Shing{-}Chi Cheung and Tao Xie}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann}, title = {Detecting numerical bugs in neural network architectures}, booktitle = {{ESEC/FSE} '20: 28th {ACM} Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020}, pages = {826--837}, publisher = {{ACM}}, year = {2020}, url = {https://doi.org/10.1145/3368089.3409720}, doi = {10.1145/3368089.3409720}, timestamp = {Tue, 05 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/ZhangRC0C020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2002-12543, author = {Tsong Yueh Chen and S. C. Cheung and Siu{-}Ming Yiu}, title = {Metamorphic Testing: {A} New Approach for Generating Next Test Cases}, journal = {CoRR}, volume = {abs/2002.12543}, year = {2020}, url = {https://arxiv.org/abs/2002.12543}, eprinttype = {arXiv}, eprint = {2002.12543}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2002-12543.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2006-07633, author = {Ying Wang and Rongxin Wu and Chao Wang and Ming Wen and Yepang Liu and Shing{-}Chi Cheung and Hai Yu and Chang Xu and Zhiliang Zhu}, title = {Will Dependency Conflicts Affect My Program's Semantics?}, journal = {CoRR}, volume = {abs/2006.07633}, year = {2020}, url = {https://arxiv.org/abs/2006.07633}, eprinttype = {arXiv}, eprint = {2006.07633}, timestamp = {Mon, 01 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2006-07633.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-01815, author = {Jialun Cao and Meiziniu Li and Yeting Li and Ming Wen and Shing{-}Chi Cheung}, title = {SemMT: {A} Semantic-based Testing Approach for Machine Translation Systems}, journal = {CoRR}, volume = {abs/2012.01815}, year = {2020}, url = {https://arxiv.org/abs/2012.01815}, eprinttype = {arXiv}, eprint = {2012.01815}, timestamp = {Tue, 02 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-01815.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2012-15489, author = {Yeting Li and Shuaimin Li and Zhiwu Xu and Jialun Cao and Zixuan Chen and Yun Hu and Haiming Chen and Shing{-}Chi Cheung}, title = {TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair}, journal = {CoRR}, volume = {abs/2012.15489}, year = {2020}, url = {https://arxiv.org/abs/2012.15489}, eprinttype = {arXiv}, eprint = {2012.15489}, timestamp = {Mon, 11 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2012-15489.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/LiuWWXCWYZ19, author = {Yepang Liu and Jue Wang and Lili Wei and Chang Xu and Shing{-}Chi Cheung and Tianyong Wu and Jun Yan and Jian Zhang}, title = {DroidLeaks: a comprehensive database of resource leaks in Android apps}, journal = {Empir. Softw. Eng.}, volume = {24}, number = {6}, pages = {3435--3483}, year = {2019}, url = {https://doi.org/10.1007/s10664-019-09715-8}, doi = {10.1007/S10664-019-09715-8}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ese/LiuWWXCWYZ19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/SunGCT19, author = {Yuxia Sun and Song Guo and Shing{-}Chi Cheung and Yong Tang}, title = {Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs}, journal = {{IEEE} Internet Things J.}, volume = {6}, number = {3}, pages = {5376--5386}, year = {2019}, url = {https://doi.org/10.1109/JIOT.2019.2900769}, doi = {10.1109/JIOT.2019.2900769}, timestamp = {Tue, 04 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iotj/SunGCT19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iotj/SunCGC19, author = {Yuxia Sun and Shing{-}Chi Cheung and Song Guo and Ming Cheng}, title = {Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs}, journal = {{IEEE} Internet Things J.}, volume = {6}, number = {5}, pages = {8945--8957}, year = {2019}, url = {https://doi.org/10.1109/JIOT.2019.2925291}, doi = {10.1109/JIOT.2019.2925291}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/iotj/SunCGC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ZhangCCZL19, author = {Weiqiang Zhang and Shing{-}Chi Cheung and Zhenyu Chen and Yuming Zhou and Bin Luo}, title = {File-level socio-technical congruence and its relationship with bug proneness in {OSS} projects}, journal = {J. Syst. Softw.}, volume = {156}, pages = {21--40}, year = {2019}, url = {https://doi.org/10.1016/j.jss.2019.05.030}, doi = {10.1016/J.JSS.2019.05.030}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/ZhangCCZL19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangWWLTZYC19, author = {Ying Wang and Ming Wen and Rongxin Wu and Zhenwei Liu and Shin Hwei Tan and Zhiliang Zhu and Hai Yu and Shing{-}Chi Cheung}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Could {I} have a stack trace to examine the dependency conflict issue?}, booktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {572--583}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE.2019.00068}, doi = {10.1109/ICSE.2019.00068}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WangWWLTZYC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WenLWXCS19, author = {Ming Wen and Yepang Liu and Rongxin Wu and Xuan Xie and Shing{-}Chi Cheung and Zhendong Su}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Exposing library {API} misuses via mutation analysis}, booktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {866--877}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE.2019.00093}, doi = {10.1109/ICSE.2019.00093}, timestamp = {Sat, 02 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WenLWXCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WeiLC19, author = {Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, editor = {Joanne M. Atlee and Tevfik Bultan and Jon Whittle}, title = {Pivot: learning API-device correlations to facilitate Android compatibility issue detection}, booktitle = {Proceedings of the 41st International Conference on Software Engineering, {ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019}, pages = {878--888}, publisher = {{IEEE} / {ACM}}, year = {2019}, url = {https://doi.org/10.1109/ICSE.2019.00094}, doi = {10.1109/ICSE.2019.00094}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WeiLC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiW0ZCM19, author = {Da Li and Huiyan Wang and Chang Xu and Ruiqing Zhang and Shing{-}Chi Cheung and Xiaoxing Ma}, title = {{SGUARD:} {A} Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection}, booktitle = {34th {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2019, San Diego, CA, USA, November 11-15, 2019}, pages = {1142--1145}, publisher = {{IEEE}}, year = {2019}, url = {https://doi.org/10.1109/ASE.2019.00122}, doi = {10.1109/ASE.2019.00122}, timestamp = {Thu, 11 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LiW0ZCM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/WenWLTXCS19, author = {Ming Wen and Rongxin Wu and Yepang Liu and Yongqiang Tian and Xuan Xie and Shing{-}Chi Cheung and Zhendong Su}, editor = {Marlon Dumas and Dietmar Pfahl and Sven Apel and Alessandra Russo}, title = {Exploring and exploiting the correlations between bug-inducing and bug-fixing commits}, booktitle = {Proceedings of the {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2019, Tallinn, Estonia, August 26-30, 2019}, pages = {326--337}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3338906.3338962}, doi = {10.1145/3338906.3338962}, timestamp = {Sat, 30 Sep 2023 09:56:36 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/WenWLTXCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1909-03824, author = {Yongqiang Tian and Shiqing Ma and Ming Wen and Yepang Liu and Shing{-}Chi Cheung and Xiangyu Zhang}, title = {Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations}, journal = {CoRR}, volume = {abs/1909.03824}, year = {2019}, url = {http://arxiv.org/abs/1909.03824}, eprinttype = {arXiv}, eprint = {1909.03824}, timestamp = {Mon, 02 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1909-03824.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1911-10472, author = {Xinming Wang and Jiahao He and Zhijian Xie and Gansen Zhao and Shing{-}Chi Cheung}, title = {ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection}, journal = {CoRR}, volume = {abs/1911.10472}, year = {2019}, url = {http://arxiv.org/abs/1911.10472}, eprinttype = {arXiv}, eprint = {1911.10472}, timestamp = {Tue, 03 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1911-10472.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ese/WuWCZ18, author = {Rongxin Wu and Ming Wen and Shing{-}Chi Cheung and Hongyu Zhang}, title = {ChangeLocator: locate crash-inducing changes based on crash reports}, journal = {Empir. Softw. Eng.}, volume = {23}, number = {5}, pages = {2866--2900}, year = {2018}, url = {https://doi.org/10.1007/s10664-017-9567-4}, doi = {10.1007/S10664-017-9567-4}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ese/WuWCZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WenCWHC18, author = {Ming Wen and Junjie Chen and Rongxin Wu and Dan Hao and Shing{-}Chi Cheung}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Context-aware patch generation for better automated program repair}, booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {1--11}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3180155.3180233}, doi = {10.1145/3180155.3180233}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/WenCWHC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/Wu00CML18, author = {Jiarong Wu and Yanyan Jiang and Chang Xu and Shing{-}Chi Cheung and Xiaoxing Ma and Jian Lu}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {Synthesizing relation-aware entity transformation by examples}, booktitle = {Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {266--267}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3183440.3194963}, doi = {10.1145/3183440.3194963}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/Wu00CML18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WuWCZ18, author = {Rongxin Wu and Ming Wen and Shing{-}Chi Cheung and Hongyu Zhang}, editor = {Michel Chaudron and Ivica Crnkovic and Marsha Chechik and Mark Harman}, title = {ChangeLocator: locate crash-inducing changes based on crash reports}, booktitle = {Proceedings of the 40th International Conference on Software Engineering, {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018}, pages = {536}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3180155.3182516}, doi = {10.1145/3180155.3182516}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/WuWCZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/ZhangCCXZ18, author = {Yuhao Zhang and Yifan Chen and Shing{-}Chi Cheung and Yingfei Xiong and Lu Zhang}, editor = {Frank Tip and Eric Bodden}, title = {An empirical study on TensorFlow program bugs}, booktitle = {Proceedings of the 27th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} 2018, Amsterdam, The Netherlands, July 16-21, 2018}, pages = {129--140}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3213846.3213866}, doi = {10.1145/3213846.3213866}, timestamp = {Tue, 05 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/ZhangCCXZ18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HuangWLC18, author = {Huaxun Huang and Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, editor = {Marianne Huchard and Christian K{\"{a}}stner and Gordon Fraser}, title = {Understanding and detecting callback compatibility issues for Android applications}, booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} 2018, Montpellier, France, September 3-7, 2018}, pages = {532--542}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3238147.3238181}, doi = {10.1145/3238147.3238181}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/HuangWLC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/HuWLCH18, author = {Jiajun Hu and Lili Wei and Yepang Liu and Shing{-}Chi Cheung and Huaxun Huang}, editor = {Marianne Huchard and Christian K{\"{a}}stner and Gordon Fraser}, title = {A tale of two cities: how WebView induces bugs to Android applications}, booktitle = {Proceedings of the 33rd {ACM/IEEE} International Conference on Automated Software Engineering, {ASE} 2018, Montpellier, France, September 3-7, 2018}, pages = {702--713}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3238147.3238180}, doi = {10.1145/3238147.3238180}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/HuWLCH18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/WangWLWWYYZC18, author = {Ying Wang and Ming Wen and Zhenwei Liu and Rongxin Wu and Rui Wang and Bo Yang and Hai Yu and Zhiliang Zhu and Shing{-}Chi Cheung}, editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu}, title = {Do the dependency conflicts in my project matter?}, booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09, 2018}, pages = {319--330}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3236024.3236056}, doi = {10.1145/3236024.3236056}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/WangWLWWYYZC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/KimC018, author = {Mijung Kim and Shing{-}Chi Cheung and Sunghun Kim}, editor = {Gary T. Leavens and Alessandro Garcia and Corina S. Pasareanu}, title = {Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using {PAF}}, booktitle = {Proceedings of the 2018 {ACM} Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, {ESEC/SIGSOFT} {FSE} 2018, Lake Buena Vista, FL, USA, November 04-09, 2018}, pages = {679--690}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3236024.3236058}, doi = {10.1145/3236024.3236058}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/KimC018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1810-05789, author = {Yuxia Sun and Song Guo and Shing{-}Chi Cheung and Yong Tang}, title = {Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs}, journal = {CoRR}, volume = {abs/1810.05789}, year = {2018}, url = {http://arxiv.org/abs/1810.05789}, eprinttype = {arXiv}, eprint = {1810.05789}, timestamp = {Tue, 10 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1810-05789.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ZhangXCYML17, author = {Ruiqing Zhang and Chang Xu and S. C. Cheung and Ping Yu and Xiaoxing Ma and Jian Lu}, title = {How effectively can spreadsheet anomalies be detected: An empirical study}, journal = {J. Syst. Softw.}, volume = {126}, pages = {87--100}, year = {2017}, url = {https://doi.org/10.1016/j.jss.2016.03.061}, doi = {10.1016/J.JSS.2016.03.061}, timestamp = {Fri, 09 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/ZhangXCYML17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/DouXCW17, author = {Wensheng Dou and Chang Xu and S. C. Cheung and Jun Wei}, title = {CACheck: Detecting and Repairing Cell Arrays in Spreadsheets}, journal = {{IEEE} Trans. Software Eng.}, volume = {43}, number = {3}, pages = {226--251}, year = {2017}, url = {https://doi.org/10.1109/TSE.2016.2584059}, doi = {10.1109/TSE.2016.2584059}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/DouXCW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/WeiLC17, author = {Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, editor = {Eric Bodden and Wilhelm Sch{\"{a}}fer and Arie van Deursen and Andrea Zisman}, title = {{OASIS:} prioritizing static analysis warnings for Android apps based on app user reviews}, booktitle = {Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, {ESEC/FSE} 2017, Paderborn, Germany, September 4-8, 2017}, pages = {672--682}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3106237.3106294}, doi = {10.1145/3106237.3106294}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/WeiLC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/WenCWHC17, author = {Ming Wen and Junjie Chen and Rongxin Wu and Dan Hao and Shing{-}Chi Cheung}, title = {An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair}, journal = {CoRR}, volume = {abs/1707.05172}, year = {2017}, url = {http://arxiv.org/abs/1707.05172}, eprinttype = {arXiv}, eprint = {1707.05172}, timestamp = {Mon, 13 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/WenCWHC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/SuiXCX0CML16, author = {Jun Sui and Chang Xu and Shing{-}Chi Cheung and Wang Xi and Yanyan Jiang and Chun Cao and Xiaoxing Ma and Jian Lu}, title = {Hybrid {CPU-GPU} constraint checking: Towards efficient context consistency}, journal = {Inf. Softw. Technol.}, volume = {74}, pages = {230--242}, year = {2016}, url = {https://doi.org/10.1016/j.infsof.2015.10.003}, doi = {10.1016/J.INFSOF.2015.10.003}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/SuiXCX0CML16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DouXCGWH16, author = {Wensheng Dou and Liang Xu and Shing{-}Chi Cheung and Chushu Gao and Jun Wei and Tao Huang}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {VEnron: a versioned spreadsheet corpus and related evolution analysis}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume}, pages = {162--171}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2889160.2889238}, doi = {10.1145/2889160.2889238}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/DouXCGWH16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CheungCLX16, author = {Shing{-}Chi Cheung and Wanjun Chen and Yepang Liu and Chang Xu}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {{CUSTODES:} automatic spreadsheet cell clustering and smell detection using strong and weak features}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {464--475}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781.2884796}, doi = {10.1145/2884781.2884796}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/CheungCLX16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TerragniC16, author = {Valerio Terragni and Shing{-}Chi Cheung}, editor = {Laura K. Dillon and Willem Visser and Laurie A. Williams}, title = {Coverage-driven test code generation for concurrent classes}, booktitle = {Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016}, pages = {1121--1132}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2884781.2884876}, doi = {10.1145/2884781.2884876}, timestamp = {Tue, 10 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/TerragniC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/TerragniLC16, author = {Valerio Terragni and Yepang Liu and Shing{-}Chi Cheung}, editor = {Andreas Zeller and Abhik Roychoudhury}, title = {{CSNIPPEX:} automated synthesis of compilable code snippets from Q{\&}A sites}, booktitle = {Proceedings of the 25th International Symposium on Software Testing and Analysis, {ISSTA} 2016, Saarbr{\"{u}}cken, Germany, July 18-20, 2016}, pages = {118--129}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2931037.2931058}, doi = {10.1145/2931037.2931058}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/issta/TerragniLC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WeiLC16, author = {Lili Wei and Yepang Liu and Shing{-}Chi Cheung}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {226--237}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970312}, doi = {10.1145/2970276.2970312}, timestamp = {Sat, 30 Sep 2023 09:51:40 +0200}, biburl = {https://dblp.org/rec/conf/kbse/WeiLC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/WenWC16, author = {Ming Wen and Rongxin Wu and Shing{-}Chi Cheung}, editor = {David Lo and Sven Apel and Sarfraz Khurshid}, title = {Locus: locating bugs from software changes}, booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016}, pages = {262--273}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2970276.2970359}, doi = {10.1145/2970276.2970359}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/WenWC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/popl/WuXCZZ16, author = {Rongxin Wu and Xiao Xiao and Shing{-}Chi Cheung and Hongyu Zhang and Charles Zhang}, editor = {Rastislav Bod{\'{\i}}k and Rupak Majumdar}, title = {Casper: an efficient approach to call trace collection}, booktitle = {Proceedings of the 43rd Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2016, St. Petersburg, FL, USA, January 20 - 22, 2016}, pages = {678--690}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2837614.2837619}, doi = {10.1145/2837614.2837619}, timestamp = {Wed, 10 Apr 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/popl/WuXCZZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LiuXCT16, author = {Yepang Liu and Chang Xu and Shing{-}Chi Cheung and Valerio Terragni}, editor = {Thomas Zimmermann and Jane Cleland{-}Huang and Zhendong Su}, title = {Understanding and detecting wake lock misuses for Android applications}, booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016}, pages = {396--409}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2950290.2950297}, doi = {10.1145/2950290.2950297}, timestamp = {Thu, 02 Dec 2021 11:46:17 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/LiuXCT16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/DouCGXXW16, author = {Wensheng Dou and Shing{-}Chi Cheung and Chushu Gao and Chang Xu and Liang Xu and Jun Wei}, editor = {Thomas Zimmermann and Jane Cleland{-}Huang and Zhendong Su}, title = {Detecting table clones and smells in spreadsheets}, booktitle = {Proceedings of the 24th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2016, Seattle, WA, USA, November 13-18, 2016}, pages = {787--798}, publisher = {{ACM}}, year = {2016}, url = {https://doi.org/10.1145/2950290.2950359}, doi = {10.1145/2950290.2950359}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/DouCGXXW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/LiuWXC16, author = {Yepang Liu and Lili Wei and Chang Xu and Shing{-}Chi Cheung}, title = {DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications}, journal = {CoRR}, volume = {abs/1611.08079}, year = {2016}, url = {http://arxiv.org/abs/1611.08079}, eprinttype = {arXiv}, eprint = {1611.08079}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/LiuWXC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chinaf/YangLXC15, author = {Wenhua Yang and Yepang Liu and Chang Xu and Shing{-}Chi Cheung}, title = {A survey on dependability improvement techniques for pervasive computing systems}, journal = {Sci. China Inf. Sci.}, volume = {58}, number = {5}, pages = {1--14}, year = {2015}, url = {https://doi.org/10.1007/s11432-015-5300-3}, doi = {10.1007/S11432-015-5300-3}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/chinaf/YangLXC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/CheungOS15, author = {Shing{-}Chi Cheung and Alessandro Orso and Margaret{-}Anne D. Storey}, title = {{ACM} {SIGSOFT} {FSE} 2014 Conference Summary}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {40}, number = {2}, pages = {22--27}, year = {2015}, url = {https://doi.org/10.1145/2735399.2735417}, doi = {10.1145/2735399.2735417}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sigsoft/CheungOS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/software/LiuXC15, author = {Yepang Liu and Chang Xu and Shing{-}Chi Cheung}, title = {Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications}, journal = {{IEEE} Softw.}, volume = {32}, number = {1}, pages = {67--75}, year = {2015}, url = {https://doi.org/10.1109/MS.2015.4}, doi = {10.1109/MS.2015.4}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/software/LiuXC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/XuXCMCL15, author = {Chang Xu and Wang Xi and Shing{-}Chi Cheung and Xiaoxing Ma and Chun Cao and Jian Lu}, title = {Cina: Suppressing the Detection of Unstable Context Inconsistency}, journal = {{IEEE} Trans. Software Eng.}, volume = {41}, number = {9}, pages = {842--865}, year = {2015}, url = {https://doi.org/10.1109/TSE.2015.2418760}, doi = {10.1109/TSE.2015.2418760}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/XuXCMCL15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/TerragniCZ15, author = {Valerio Terragni and Shing{-}Chi Cheung and Charles Zhang}, editor = {Antonia Bertolino and Gerardo Canfora and Sebastian G. Elbaum}, title = {{RECONTEST:} Effective Regression Testing of Concurrent Programs}, booktitle = {37th {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1}, pages = {246--256}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/ICSE.2015.45}, doi = {10.1109/ICSE.2015.45}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/TerragniCZ15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/LiuXCY14, author = {Yepang Liu and Chang Xu and S. C. Cheung and Wenhua Yang}, title = {{CHECKERDROID} : Automated Quality Assurance for Smartphone Applications}, journal = {Int. J. Softw. Informatics}, volume = {8}, number = {1}, pages = {21--41}, year = {2014}, url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i181}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/LiuXCY14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/LiCZL14, author = {Yueqi Li and Shing{-}Chi Cheung and Xiangyu Zhang and Yepang Liu}, title = {Scaling Up Symbolic Analysis by Removing Z-Equivalent States}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {23}, number = {4}, pages = {34:1--34:32}, year = {2014}, url = {https://doi.org/10.1145/2652484}, doi = {10.1145/2652484}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/LiCZL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/LiuXCL14, author = {Yepang Liu and Chang Xu and Shing{-}Chi Cheung and Jian Lu}, title = {GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications}, journal = {{IEEE} Trans. Software Eng.}, volume = {40}, number = {9}, pages = {911--940}, year = {2014}, url = {https://doi.org/10.1109/TSE.2014.2323982}, doi = {10.1109/TSE.2014.2323982}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/LiuXCL14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/DouCW14, author = {Wensheng Dou and Shing{-}Chi Cheung and Jun Wei}, editor = {Pankaj Jalote and Lionel C. Briand and Andr{\'{e}} van der Hoek}, title = {Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation}, booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014}, pages = {848--858}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2568225.2568316}, doi = {10.1145/2568225.2568316}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/DouCW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LiuXC14, author = {Yepang Liu and Chang Xu and Shing{-}Chi Cheung}, editor = {Pankaj Jalote and Lionel C. Briand and Andr{\'{e}} van der Hoek}, title = {Characterizing and detecting performance bugs for smartphone applications}, booktitle = {36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014}, pages = {1013--1024}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2568225.2568229}, doi = {10.1145/2568225.2568229}, timestamp = {Thu, 16 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/LiuXC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issta/WuZCK14, author = {Rongxin Wu and Hongyu Zhang and Shing{-}Chi Cheung and Sunghun Kim}, editor = {Corina S. Pasareanu and Darko Marinov}, title = {CrashLocator: locating crashing faults based on crash stacks}, booktitle = {International Symposium on Software Testing and Analysis, {ISSTA} '14, San Jose, CA, {USA} - July 21 - 26, 2014}, pages = {204--214}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2610384.2610386}, doi = {10.1145/2610384.2610386}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issta/WuZCK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LiC14, author = {Yueqi Li and Shing{-}Chi Cheung}, editor = {Ivica Crnkovic and Marsha Chechik and Paul Gr{\"{u}}nbacher}, title = {Symbolic state validation through runtime data}, booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering, {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014}, pages = {187--198}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2642937.2642973}, doi = {10.1145/2642937.2642973}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/LiC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/sigsoft/2014, editor = {Shing{-}Chi Cheung and Alessandro Orso and Margaret{-}Anne D. Storey}, title = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014}, publisher = {{ACM}}, year = {2014}, url = {https://doi.org/10.1145/2635868}, doi = {10.1145/2635868}, isbn = {978-1-4503-3056-5}, timestamp = {Tue, 01 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/chinaf/XuLCCL13, author = {Chang Xu and Yepang Liu and S. C. Cheung and Chun Cao and Jian Lv}, title = {Towards context consistency by concurrent checking for Internetware applications}, journal = {Sci. China Inf. Sci.}, volume = {56}, number = {8}, pages = {1--20}, year = {2013}, url = {https://doi.org/10.1007/s11432-013-4907-5}, doi = {10.1007/S11432-013-4907-5}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/chinaf/XuLCCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/XuCMCL13, author = {Chang Xu and S. C. Cheung and Xiaoxing Ma and Chun Cao and Jian Lv}, title = {Detecting Faults in Context-Aware Adaptation}, journal = {Int. J. Softw. Informatics}, volume = {7}, number = {1}, pages = {85--111}, year = {2013}, url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i148}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/XuCMCL13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/LiuXC13, author = {Yepang Liu and Chang Xu and S. C. Cheung}, title = {AFChecker: Effective model checking for context-aware adaptive applications}, journal = {J. Syst. Softw.}, volume = {86}, number = {3}, pages = {854--867}, year = {2013}, url = {https://doi.org/10.1016/j.jss.2012.11.055}, doi = {10.1016/J.JSS.2012.11.055}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/LiuXC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/percom/LiuXC13, author = {Yepang Liu and Chang Xu and S. C. Cheung}, title = {Where has my battery gone? Finding sensor related energy black holes in smartphone applications}, booktitle = {2013 {IEEE} International Conference on Pervasive Computing and Communications, PerCom 2013, San Diego, CA, USA, March 18-22, 2013}, pages = {2--10}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/PerCom.2013.6526708}, doi = {10.1109/PERCOM.2013.6526708}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/percom/LiuXC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/ZhangC13, author = {Hongyu Zhang and S. C. Cheung}, editor = {Bertrand Meyer and Luciano Baresi and Mira Mezini}, title = {A cost-effectiveness criterion for applying software defect prediction models}, booktitle = {Joint Meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013}, pages = {643--646}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2491411.2494581}, doi = {10.1145/2491411.2494581}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/ZhangC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijrft/ChengLCZTY12, author = {Hong Cheng and Yu Liu and Shing{-}Chi Cheung and Junfang Zeng and Jie Tan and Yiping Yang}, title = {Mixed-reality simulation of {RFID} systems using iterated learning}, journal = {Int. J. {RF} Technol. Res. Appl.}, volume = {3}, number = {4}, pages = {219--242}, year = {2012}, url = {https://doi.org/10.3233/RFT-2012-026}, doi = {10.3233/RFT-2012-026}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijrft/ChengLCZTY12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/NgYCC12, author = {T. H. Ng and Yuen{-}Tak Yu and S. C. Cheung and W. K. Chan}, title = {Human and program factors affecting the maintenance of programs with deployed design patterns}, journal = {Inf. Softw. Technol.}, volume = {54}, number = {1}, pages = {99--118}, year = {2012}, url = {https://doi.org/10.1016/j.infsof.2011.08.002}, doi = {10.1016/J.INFSOF.2011.08.002}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/NgYCC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/XuCMCL12, author = {Chang Xu and S. C. Cheung and Xiaoxing Ma and Chun Cao and Jian Lu}, title = {Adam: Identifying defects in context-aware adaptation}, journal = {J. Syst. Softw.}, volume = {85}, number = {12}, pages = {2812--2828}, year = {2012}, url = {https://doi.org/10.1016/j.jss.2012.04.078}, doi = {10.1016/J.JSS.2012.04.078}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/XuCMCL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/XuCMCL12, author = {Chang Xu and Shing{-}Chi Cheung and Xiaoxing Ma and Chun Cao and Jian Lu}, editor = {Hong Mei and Jian Lv and Qianxiang Wang and Lin Liu}, title = {Dynamic fault detection in context-aware adaptation}, booktitle = {Proceedings of the Fourth Asia-Pacific Symposium on Internetware, Internetware 2012, QingDao, China, October 30-31, 2012}, pages = {1:1--1:10}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2430475.2430476}, doi = {10.1145/2430475.2430476}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/XuCMCL12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jdm/ChiuLHSCYF11, author = {Dickson K. W. Chiu and Qing Li and Patrick C. K. Hung and Zhe Shan and S. C. Cheung and Yu Yang and Matthias Farwick}, title = {Service Composition and Interaction in a {SOC} Middleware Supporting Separation of Concerns with Flows and Views}, journal = {J. Database Manag.}, volume = {22}, number = {2}, pages = {32--63}, year = {2011}, url = {https://doi.org/10.4018/jdm.2011040102}, doi = {10.4018/JDM.2011040102}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jdm/ChiuLHSCYF11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsac/XuGWXC11, author = {Xunteng Xu and Lin Gu and Jianping Wang and Guoliang Xing and Shing{-}Chi Cheung}, title = {Read More with Less: An Adaptive Approach to Energy-Efficient {RFID} Systems}, journal = {{IEEE} J. Sel. Areas Commun.}, volume = {29}, number = {8}, pages = {1684--1697}, year = {2011}, url = {https://doi.org/10.1109/JSAC.2011.110917}, doi = {10.1109/JSAC.2011.110917}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jsac/XuGWXC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/KimWKZCP11, author = {Dongsun Kim and Xinming Wang and Sunghun Kim and Andreas Zeller and Shing{-}Chi Cheung and Sooyong Park}, title = {Which Crashes Should {I} Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts}, journal = {{IEEE} Trans. Software Eng.}, volume = {37}, number = {3}, pages = {430--447}, year = {2011}, url = {https://doi.org/10.1109/TSE.2011.20}, doi = {10.1109/TSE.2011.20}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/KimWKZCP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsm/HongKCB11, author = {Qiaona Hong and Sunghun Kim and S. C. Cheung and Christian Bird}, title = {Understanding a developer social network and its evolution}, booktitle = {{IEEE} 27th International Conference on Software Maintenance, {ICSM} 2011, Williamsburg, VA, USA, September 25-30, 2011}, pages = {323--332}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICSM.2011.6080799}, doi = {10.1109/ICSM.2011.6080799}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsm/HongKCB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/SongMCHYL11, author = {Wei Song and Xiaoxing Ma and S. C. Cheung and Hao Hu and Qiliang Yang and Jian L{\"{u}}}, title = {Refactoring and Publishing {WS-BPEL} Processes to Obtain More Partners}, booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington, DC, USA, July 4-9, 2011}, pages = {129--136}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICWS.2011.12}, doi = {10.1109/ICWS.2011.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icws/SongMCHYL11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/WuZKC11, author = {Rongxin Wu and Hongyu Zhang and Sunghun Kim and Shing{-}Chi Cheung}, editor = {Tibor Gyim{\'{o}}thy and Andreas Zeller}, title = {ReLink: recovering links between bugs and changes}, booktitle = {SIGSOFT/FSE'11 19th {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering {(FSE-19)} and ESEC'11: 13th European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011}, pages = {15--25}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2025113.2025120}, doi = {10.1145/2025113.2025120}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/WuZKC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wise/2010-w, editor = {Dickson K. W. Chiu and Ladjel Bellatreche and Hideyasu Sasaki and Ho{-}fung Leung and Shing{-}Chi Cheung and Haiyang Hu and Jie Shao}, title = {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}, series = {Lecture Notes in Computer Science}, volume = {6724}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24396-7}, doi = {10.1007/978-3-642-24396-7}, isbn = {978-3-642-24395-0}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wise/2010-w.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/LuFXCL10, author = {An Lu and Wenbin Fang and Chang Xu and Shing{-}Chi Cheung and Yu Liu}, title = {Data-driven testing methodology for {RFID} systems}, journal = {Frontiers Comput. Sci. China}, volume = {4}, number = {3}, pages = {354--364}, year = {2010}, url = {https://doi.org/10.1007/s11704-010-0387-6}, doi = {10.1007/S11704-010-0387-6}, timestamp = {Mon, 19 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/LuFXCL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijoci/ChiuCTNH10, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Sven Till and Lalita Narupiyakul and Patrick C. K. Hung}, title = {Enhancing E-Service Collaboration with Enforcement and Relationship Management: {A} Methodology from Requirements to Event Driven Realization}, journal = {Int. J. Organ. Collect. Intell.}, volume = {1}, number = {1}, pages = {15--43}, year = {2010}, url = {https://doi.org/10.4018/joci.2010100802}, doi = {10.4018/JOCI.2010100802}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijoci/ChiuCTNH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijsi/GaoWXC10, author = {Chushu Gao and Jun Wei and Chang Xu and S. C. Cheung}, title = {Sequential Event Pattern Based Design of Context-Aware Adaptive Application}, journal = {Int. J. Softw. Informatics}, volume = {4}, number = {3}, pages = {419--436}, year = {2010}, url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i66}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/GaoWXC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijssoe/ChiuCLHKHWHZ10, author = {Dickson K. W. Chiu and S. C. Cheung and Ho{-}fung Leung and Patrick C. K. Hung and Eleanna Kafeza and Hua Hu and Minhong Wang and Haiyang Hu and Yi Zhuang}, title = {Engineering e-Collaboration Services with a Multi-Agent System Approach}, journal = {Int. J. Syst. Serv. Oriented Eng.}, volume = {1}, number = {1}, pages = {1--25}, year = {2010}, url = {https://doi.org/10.4018/jssoe.2010092101}, doi = {10.4018/JSSOE.2010092101}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijssoe/ChiuCLHKHWHZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/XuCCY10, author = {Chang Xu and S. C. Cheung and W. K. Chan and Chunyang Ye}, title = {Partial constraint checking for context consistency in pervasive computing}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {19}, number = {3}, pages = {9:1--9:61}, year = {2010}, url = {https://doi.org/10.1145/1656250.1656253}, doi = {10.1145/1656250.1656253}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/XuCCY10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/SongMCHL10, author = {Wei Song and Xiaoxing Ma and S. C. Cheung and Hao Hu and Jian Lu}, title = {Preserving Data Flow Correctness in Process Adaptation}, booktitle = {2010 {IEEE} International Conference on Services Computing, {SCC} 2010, Miami, Florida, USA, July 5-10, 2010}, pages = {9--16}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/SCC.2010.24}, doi = {10.1109/SCC.2010.24}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/SongMCHL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/euc/ZhaoCN10, author = {Yiyang Zhao and S. C. Cheung and Lionel M. Ni}, title = {LocaToR: Locating Passive {RFID} Tags with the Relative Neighborhood Graph}, booktitle = {{IEEE/IFIP} 8th International Conference on Embedded and Ubiquitous Computing, {EUC} 2010, Hong Kong, China, 11-13 December 2010}, pages = {154--161}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/EUC.2010.31}, doi = {10.1109/EUC.2010.31}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/euc/ZhaoCN10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/LaiCC10, author = {Zhifeng Lai and Shing{-}Chi Cheung and Wing Kwong Chan}, editor = {Jeff Kramer and Judith Bishop and Premkumar T. Devanbu and Sebasti{\'{a}}n Uchitel}, title = {Detecting atomic-set serializability violations in multithreaded programs through active randomized testing}, booktitle = {Proceedings of the 32nd {ACM/IEEE} International Conference on Software Engineering - Volume 1, {ICSE} 2010, Cape Town, South Africa, 1-8 May 2010}, pages = {235--244}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1806799.1806836}, doi = {10.1145/1806799.1806836}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/LaiCC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/GaoWXC10, author = {Chushu Gao and Jun Wei and Chang Xu and S. C. Cheung}, editor = {Hong Mei and Jian Lv and Xuandong Li and Zhi Jin}, title = {Sequential event pattern based context-aware adaptation}, booktitle = {Proceedings of the Second Asia-Pacific Symposium on Internetware, Internetware 2010, Suzhou, China, November 3-4, 2010}, pages = {3}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/2020723.2020726}, doi = {10.1145/2020723.2020726}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/GaoWXC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/NgYC10, author = {T. H. Ng and Yuen{-}Tak Yu and S. C. Cheung}, editor = {Ji Wang and W. K. Chan and Fei{-}Ching Kuo}, title = {Factors for Effective Use of Deployed Design Patterns}, booktitle = {Proceedings of the 10th International Conference on Quality Software, {QSIC} 2010, Zhangjiajie, China, 14-15 July 2010}, pages = {112--121}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/QSIC.2010.73}, doi = {10.1109/QSIC.2010.73}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/NgYC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wasa/ZhaoHCL10, author = {Yiyang Zhao and Weijun Hong and S. C. Cheung and Shufang Li}, editor = {Gopal Pandurangan and V. S. Anil Kumar and Gu Ming and Yunhao Liu and Yingshu Li}, title = {The Impact of Reader to Tag Collision on {RFID} Tag Identification}, booktitle = {Wireless Algorithms, Systems, and Applications, 5th International Conference, {WASA} 2010, Beijing, China, August 15-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6221}, pages = {115--119}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14654-1\_15}, doi = {10.1007/978-3-642-14654-1\_15}, timestamp = {Tue, 20 Dec 2022 21:20:03 +0100}, biburl = {https://dblp.org/rec/conf/wasa/ZhaoHCL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/ZhuCHL09, author = {Hong Zhu and S. C. Cheung and Joseph Robert Horgan and J. Jenny Li}, title = {Guest Editorial to the Special Issue on Automation of Software Testing}, journal = {Comput. J.}, volume = {52}, number = {5}, pages = {513}, year = {2009}, url = {https://doi.org/10.1093/comjnl/bxm077}, doi = {10.1093/COMJNL/BXM077}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/ZhuCHL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijahuc/NiZMLLCYLW09, author = {Lionel M. Ni and Yanmin Zhu and Jian Ma and Qiong Luo and Yunhao Liu and S. C. Cheung and Qiang Yang and Minglu Li and Min{-}You Wu}, title = {Semantic Sensor Net: an extensible framework}, journal = {Int. J. Ad Hoc Ubiquitous Comput.}, volume = {4}, number = {3/4}, pages = {157--167}, year = {2009}, url = {https://doi.org/10.1504/IJAHUC.2009.024518}, doi = {10.1504/IJAHUC.2009.024518}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijahuc/NiZMLLCYLW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhisi/ChiuKWKCKH09, author = {Dickson K. W. Chiu and Benny W. C. Kwok and Ray L. S. Wong and Marina Kafeza and S. C. Cheung and Eleanna Kafeza and Patrick C. K. Hung}, title = {Alerts in Healthcare Applications: Process and Data Integration}, journal = {Int. J. Heal. Inf. Syst. Informatics}, volume = {4}, number = {2}, pages = {36--56}, year = {2009}, url = {https://doi.org/10.4018/jhisi.2009040103}, doi = {10.4018/JHISI.2009040103}, timestamp = {Mon, 13 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijhisi/ChiuKWKCKH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ChanCHT09, author = {Wing Kwong Chan and Shing{-}Chi Cheung and Jeffrey C. F. Ho and T. H. Tse}, title = {{PAT:} {A} pattern classification approach to automatic reference oracles for the testing of mesh simplification programs}, journal = {J. Syst. Softw.}, volume = {82}, number = {3}, pages = {422--434}, year = {2009}, url = {https://doi.org/10.1016/j.jss.2008.07.019}, doi = {10.1016/J.JSS.2008.07.019}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/ChanCHT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/soca/CheungLL09, author = {S. C. Cheung and Hui Lei and Michael R. Lyu}, title = {Preface for the {ICEBE} 2007 special section}, journal = {Serv. Oriented Comput. Appl.}, volume = {3}, number = {2}, pages = {127}, year = {2009}, url = {https://doi.org/10.1007/s11761-009-0044-9}, doi = {10.1007/S11761-009-0044-9}, timestamp = {Wed, 05 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/soca/CheungLL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/YeCCX09, author = {Chunyang Ye and Shing{-}Chi Cheung and Wing Kwong Chan and Chang Xu}, title = {Atomicity Analysis of Service Composition across Organizations}, journal = {{IEEE} Trans. Software Eng.}, volume = {35}, number = {1}, pages = {2--28}, year = {2009}, url = {https://doi.org/10.1109/TSE.2008.86}, doi = {10.1109/TSE.2008.86}, timestamp = {Thu, 01 Feb 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/YeCCX09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tvcg/WuCQYC09, author = {Yingcai Wu and Ka{-}Kei Chung and Huamin Qu and Xiaoru Yuan and S. C. Cheung}, title = {Interactive Visual Optimization and Analysis for {RFID} Benchmarking}, journal = {{IEEE} Trans. Vis. Comput. Graph.}, volume = {15}, number = {6}, pages = {1335--1342}, year = {2009}, url = {https://doi.org/10.1109/TVCG.2009.156}, doi = {10.1109/TVCG.2009.156}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tvcg/WuCQYC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEscc/SongMCDL09, author = {Wei Song and Xiaoxing Ma and S. C. Cheung and Wanchun Dou and Jian Lu}, title = {A Public-View Approach to Timed Properties Verification for {B2B} Web Service Compositions}, booktitle = {2009 {IEEE} International Conference on Services Computing {(SCC} 2009), 21-25 September 2009, Bangalore, India}, pages = {427--434}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/SCC.2009.18}, doi = {10.1109/SCC.2009.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEscc/SongMCDL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/WangCCZ09, author = {Xinming Wang and Shing{-}Chi Cheung and Wing Kwong Chan and Zhenyu Zhang}, title = {Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization}, booktitle = {31st International Conference on Software Engineering, {ICSE} 2009, May 16-24, 2009, Vancouver, Canada, Proceedings}, pages = {45--55}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ICSE.2009.5070507}, doi = {10.1109/ICSE.2009.5070507}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/WangCCZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/GuC09, author = {Lin Gu and Shing{-}Chi Cheung}, editor = {Fuqing Yang and Hong Mei and Jian Lv}, title = {Constructing and testing privacy-aware services in a cloud computing environment: challenges and opportunities}, booktitle = {Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, October 17 - 18, 2009}, pages = {2}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1640206.1640208}, doi = {10.1145/1640206.1640208}, timestamp = {Tue, 09 May 2023 08:00:06 +0200}, biburl = {https://dblp.org/rec/conf/internetware/GuC09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/internetware/YeCWZH09, author = {Chunyang Ye and Shing{-}Chi Cheung and Jun Wei and Hua Zhong and Tao Huang}, editor = {Fuqing Yang and Hong Mei and Jian Lv}, title = {A study on the replaceability of context-aware middleware}, booktitle = {Proceedings of the First Asia-Pacific Symposium on Internetware, Internetware 2009, Beijing, China, October 17 - 18, 2009}, pages = {4}, publisher = {{ACM}}, year = {2009}, url = {https://doi.org/10.1145/1640206.1640210}, doi = {10.1145/1640206.1640210}, timestamp = {Wed, 27 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/internetware/YeCWZH09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/concurrency/DouCFC08, author = {Wan{-}Chun Dou and Jinjun Chen and Shaokun Fan and S. C. Cheung}, title = {A context- and role-driven scientific workflow development pattern}, journal = {Concurr. Comput. Pract. Exp.}, volume = {20}, number = {15}, pages = {1741--1757}, year = {2008}, url = {https://doi.org/10.1002/cpe.1322}, doi = {10.1002/CPE.1322}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/concurrency/DouCFC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhpca/DouCLCCF08, author = {Wanchun Dou and Jinjun Chen and Jianxun Liu and S. C. Cheung and Guihai Chen and Shaokun Fan}, title = {A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments}, journal = {Int. J. High Perform. Comput. Appl.}, volume = {22}, number = {3}, pages = {284--300}, year = {2008}, url = {https://doi.org/10.1177/1094342007086227}, doi = {10.1177/1094342007086227}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijhpca/DouCLCCF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jtaer/CheungCH08, author = {Shing{-}Chi Cheung and Dickson K. W. Chiu and Cedric Ho}, title = {The Use of Digital Watermarking for Intelligence Multimedia Document Distribution}, journal = {J. Theor. Appl. Electron. Commer. Res.}, volume = {3}, number = {3}, pages = {103--118}, year = {2008}, url = {https://doi.org/10.4067/s0718-18762008000200008}, doi = {10.4067/S0718-18762008000200008}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jtaer/CheungCH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/XuCCY08, author = {Chang Xu and Shing{-}Chi Cheung and Wing Kwong Chan and Chunyang Ye}, title = {Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications}, booktitle = {28th {IEEE} International Conference on Distributed Computing Systems {(ICDCS} 2008), 17-20 June 2008, Beijing, China}, pages = {713--721}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ICDCS.2008.46}, doi = {10.1109/ICDCS.2008.46}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/XuCCY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/LaiCC08, author = {Zhifeng Lai and Shing{-}Chi Cheung and Wing Kwong Chan}, editor = {Mary Jean Harrold and Gail C. Murphy}, title = {Inter-context control-flow and data-flow test adequacy criteria for nesC applications}, booktitle = {Proceedings of the 16th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008}, pages = {94--104}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1453101.1453115}, doi = {10.1145/1453101.1453115}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/LaiCC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijkl/DouLCCC07, author = {Wan{-}Chun Dou and Xiping Liu and Guihai Chen and S. C. Cheung and Shijie Cai}, title = {Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure}, journal = {Int. J. Knowl. Learn.}, volume = {3}, number = {1}, pages = {88--105}, year = {2007}, url = {https://doi.org/10.1504/IJKL.2007.012602}, doi = {10.1504/IJKL.2007.012602}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijkl/DouLCCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/HongCSCK07, author = {Dan Hong and Dickson K. W. Chiu and Vincent Y. Shen and S. C. Cheung and Eleanna Kafeza}, title = {Ubiquitous enterprise service adaptations based on contextual user behavior}, journal = {Inf. Syst. Frontiers}, volume = {9}, number = {4}, pages = {343--358}, year = {2007}, url = {https://doi.org/10.1007/s10796-007-9039-2}, doi = {10.1007/S10796-007-9039-2}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/isf/HongCSCK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/simpra/LiuDCFCC07, author = {Xiping Liu and Wanchun Dou and Jinjun Chen and Shaokun Fan and Shing{-}Chi Cheung and Shijie Cai}, title = {On design, verification, and dynamic modification of the problem-based scientific workflow model}, journal = {Simul. Model. Pract. Theory}, volume = {15}, number = {9}, pages = {1068--1088}, year = {2007}, url = {https://doi.org/10.1016/j.simpat.2007.06.003}, doi = {10.1016/J.SIMPAT.2007.06.003}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/simpra/LiuDCFCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adaEurope/ChanCCTZ07, author = {W. K. Chan and Tsong Yueh Chen and S. C. Cheung and T. H. Tse and Zhenyu Zhang}, editor = {Nabil Abdennadher and Fabrice Kordon}, title = {Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks}, booktitle = {Reliable Software Technologies - Ada Europe 2007, 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4498}, pages = {84--99}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73230-3\_7}, doi = {10.1007/978-3-540-73230-3\_7}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adaEurope/ChanCCTZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuHCK07, author = {Dickson K. W. Chiu and Dan Hong and S. C. Cheung and Eleanna Kafeza}, title = {Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture}, booktitle = {40th Hawaii International International Conference on Systems Science {(HICSS-40} 2007), {CD-ROM} / Abstracts Proceedings, 3-6 January 2007, Waikoloa, Big Island, HI, {USA}}, pages = {94}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/HICSS.2007.574}, doi = {10.1109/HICSS.2007.574}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuHCK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpads/MuppalaGC07, author = {Jogesh K. Muppala and Zonghua Gu and S. C. Cheung}, title = {Teaching embedded systems software: The {HKUST} experience}, booktitle = {13th International Conference on Parallel and Distributed Systems, {ICPADS} 2007, Hsinchu, Taiwan, December 5-7, 2007}, pages = {1--6}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICPADS.2007.4447787}, doi = {10.1109/ICPADS.2007.4447787}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icpads/MuppalaGC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/XuCC07, author = {Chang Xu and Shing{-}Chi Cheung and Wing Kwong Chan}, title = {Goal-Directed Context Validation for Adaptive Ubiquitous Systems}, booktitle = {2007 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2007, Minneapolis Minnesota, USA, May 20-26, 2007}, pages = {17}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SEAMS.2007.8}, doi = {10.1109/SEAMS.2007.8}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/XuCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YeCC07, author = {Chunyang Ye and Shing{-}Chi Cheung and Wing Kwong Chan}, title = {Process Evolution with Atomicity Consistency}, booktitle = {2007 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2007, Minneapolis Minnesota, USA, May 20-26, 2007}, pages = {19}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/SEAMS.2007.14}, doi = {10.1109/SEAMS.2007.14}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/YeCC07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NgCCY07, author = {T. H. Ng and S. C. Cheung and W. K. Chan and Yuen{-}Tak Yu}, title = {Do Maintainers Utilize Deployed Design Patterns Effectively?}, booktitle = {29th International Conference on Software Engineering {(ICSE} 2007), Minneapolis, MN, USA, May 20-26, 2007}, pages = {168--177}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICSE.2007.33}, doi = {10.1109/ICSE.2007.33}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/NgCCY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/CheongCCH07, author = {Frank K. W. Cheong and Dickson K. W. Chiu and Shing{-}Chi Cheung and Patrick C. K. Hung}, title = {Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools}, booktitle = {2007 {IEEE} International Conference on Web Services {(ICWS} 2007), July 9-13, 2007, Salt Lake City, Utah, {USA}}, pages = {1008--1015}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ICWS.2007.77}, doi = {10.1109/ICWS.2007.77}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icws/CheongCCH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/YeCCX07, author = {Chunyang Ye and S. C. Cheung and W. K. Chan and Chang Xu}, editor = {Ivica Crnkovic and Antonia Bertolino}, title = {Detection and resolution of atomicity violation in service composition}, booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007}, pages = {235--244}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1287624.1287658}, doi = {10.1145/1287624.1287658}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/YeCCX07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/XuCCY07, author = {Chang Xu and S. C. Cheung and W. K. Chan and Chunyang Ye}, editor = {Ivica Crnkovic and Antonia Bertolino}, title = {On impact-oriented automatic resolution of pervasive context inconsistency}, booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering Conference and the {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007}, pages = {569--572}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1287624.1287712}, doi = {10.1145/1287624.1287712}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/XuCCY07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icebe/2007, editor = {S. C. Cheung and Yinsheng Li and Kuo{-}Ming Chao and Muhammad Younas and Jen{-}Yao Chung}, title = {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}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://ieeexplore.ieee.org/xpl/conhome/4402048/proceeding}, isbn = {0-7695-3003-6}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icebe/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/HuangZLMC06, author = {Gang Huang and Li Zhou and Xuanzhe Liu and Hong Mei and Shing{-}Chi Cheung}, title = {Performance Aware Service Pool in Dependable Service Oriented Architecture}, journal = {J. Comput. Sci. Technol.}, volume = {21}, number = {4}, pages = {565--573}, year = {2006}, url = {https://doi.org/10.1007/s11390-006-0565-z}, doi = {10.1007/S11390-006-0565-Z}, timestamp = {Tue, 09 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/HuangZLMC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/ChanCCT06, author = {W. K. Chan and M. Y. Cheng and S. C. Cheung and T. H. Tse}, title = {Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study}, journal = {J. Syst. Softw.}, volume = {79}, number = {5}, pages = {602--612}, year = {2006}, url = {https://doi.org/10.1016/j.jss.2005.05.031}, doi = {10.1016/J.JSS.2005.05.031}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/ChanCCT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ChanCHT06, author = {W. K. Chan and S. C. Cheung and Jeffrey C. F. Ho and T. H. Tse}, title = {Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering}, booktitle = {30th Annual International Computer Software and Applications Conference, {COMPSAC} 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1}, pages = {429--438}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/COMPSAC.2006.71}, doi = {10.1109/COMPSAC.2006.71}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ChanCHT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecbs/DuanGFCWH06, author = {Yucong Duan and Yuqing Gu and Xiaolan Fu and Shing{-}Chi Cheung and Jing Wang and Qingwu Hu}, title = {Distinguishing between Automatic and Manual Aspects of Model Driven Development}, booktitle = {13th Annual {IEEE} International Conference and Workshop on Engineering of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam, Germany}, pages = {487--488}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ECBS.2006.38}, doi = {10.1109/ECBS.2006.38}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ecbs/DuanGFCWH06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/ChiuHCK06, author = {Dickson K. W. Chiu and Dan Hong and S. C. Cheung and Eleanna Kafeza}, title = {Adapting Ubiquitous Enterprise Services with Context and Views}, booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China}, pages = {391--394}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/EDOC.2006.13}, doi = {10.1109/EDOC.2006.13}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/edoc/ChiuHCK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iastedSE/DuanFCG06, author = {Yucong Duan and Xiaolan Fu and Shing{-}Chi Cheung and Yuqing Gu}, editor = {Peter Kokol}, title = {An Entity-Relationship Model based Conceptual Framework for Model Driven Development}, booktitle = {Proceedings of the {IASTED} International Conference on Software Engineering, February 14-16, 2006, Innsbruck, Austria}, pages = {200--205}, publisher = {{IASTED/ACTA} Press}, year = {2006}, timestamp = {Wed, 08 Nov 2006 11:18:50 +0100}, biburl = {https://dblp.org/rec/conf/iastedSE/DuanFCG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/NgCCY06, author = {Tsz Hin Ng and Shing{-}Chi Cheung and Wing Kwong Chan and Yuen{-}Tak Yu}, editor = {Sunita Chulani and Barry W. Boehm and June M. Verner and Bernard Wong}, title = {Toward effective deployment of design patterns for software extension: a case study}, booktitle = {Proceedings of the 2006 international workshop on Software quality, WoSQ@ICSE 2006, Shanghai, China, May 21, 2006}, pages = {51--56}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1137702.1137713}, doi = {10.1145/1137702.1137713}, timestamp = {Sun, 07 Feb 2021 18:33:56 +0100}, biburl = {https://dblp.org/rec/conf/icse/NgCCY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/XuCC06, author = {Chang Xu and Shing{-}Chi Cheung and W. K. Chan}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Incremental consistency checking for pervasive context}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {292--301}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134327}, doi = {10.1145/1134285.1134327}, timestamp = {Mon, 26 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icse/XuCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/YeCC06, author = {Chunyang Ye and S. C. Cheung and W. K. Chan}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {Publishing and composition of atomicity-equivalent services for {B2B} collaboration}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {351--360}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134335}, doi = {10.1145/1134285.1134335}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/YeCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/ZhuHCL06, author = {Hong Zhu and Joseph Robert Horgan and S. C. Cheung and J. Jenny Li}, editor = {Leon J. Osterweil and H. Dieter Rombach and Mary Lou Soffa}, title = {The first international workshop on automation of software test}, booktitle = {28th International Conference on Software Engineering {(ICSE} 2006), Shanghai, China, May 20-28, 2006}, pages = {1028--1029}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1134285.1134487}, doi = {10.1145/1134285.1134487}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/ZhuHCL06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/infoscale/LiSHCC06, author = {Qing Li and Zhe Shan and Patrick C. K. Hung and Dickson K. W. Chiu and S. C. Cheung}, editor = {Xiaohua Jia}, title = {Flows and views for scalable scientific process integration}, booktitle = {Proceedings of the 1st International Conference on Scalable Information Systems, Infoscale 2006, Hong Kong, May 30-June 1, 2006}, series = {{ACM} International Conference Proceeding Series}, volume = {152}, pages = {30}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1146847.1146877}, doi = {10.1145/1146847.1146877}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/infoscale/LiSHCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/LaiCJ06, author = {Zhifeng Lai and S. C. Cheung and Yunfei Jiang}, title = {Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework}, booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006), 26-28 October 2006, Beijing, China}, pages = {410--417}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/QSIC.2006.25}, doi = {10.1109/QSIC.2006.25}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/LaiCJ06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/NgCCY06, author = {T. H. Ng and S. C. Cheung and W. K. Chan and Yuen{-}Tak Yu}, editor = {Michal Young and Premkumar T. Devanbu}, title = {Work experience versus refactoring to design patterns: a controlled experiment}, booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2006, Portland, Oregon, USA, November 5-11, 2006}, pages = {12--22}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1181775.1181778}, doi = {10.1145/1181775.1181778}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/NgCCY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/YeCCX06, author = {Chunyang Ye and S. C. Cheung and W. K. Chan and Chang Xu}, editor = {Michal Young and Premkumar T. Devanbu}, title = {Local analysis of atomicity sphere for {B2B} collaboration}, booktitle = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, {FSE} 2006, Portland, Oregon, USA, November 5-11, 2006}, pages = {186--196}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1181775.1181798}, doi = {10.1145/1181775.1181798}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/YeCCX06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/skg/DouCCC06, author = {Wan{-}Chun Dou and Guihai Chen and S. C. Cheung and Shijie Cai}, title = {Cooperative Cognition and Its Implementation under Web Environment}, booktitle = {2006 International Conference on Semantics, Knowledge and Grid {(SKG} 2006), 1-3 November 2006, Guilin, China}, pages = {46}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/SKG.2006.43}, doi = {10.1109/SKG.2006.43}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/skg/DouCCC06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icse/2006ast, editor = {Hong Zhu and Joseph R. Horgan and Shing{-}Chi Cheung and J. Jenny Li}, title = {Proceedings of the 2006 International Workshop on Automation of Software Test, {AST} 2006, Shanghai, China, May 23, 2006}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1138929}, doi = {10.1145/1138929}, isbn = {1-59593-408-1}, timestamp = {Thu, 30 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icse/2006ast.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dss/ChiuCHCC05, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Patrick C. K. Hung and Sherina Y. Y. Chiu and Andriy K. K. Chung}, title = {Developing e-Negotiation support with a meta-modeling approach in a Web services environment}, journal = {Decis. Support Syst.}, volume = {40}, number = {1}, pages = {51--69}, year = {2005}, url = {https://doi.org/10.1016/j.dss.2004.04.004}, doi = {10.1016/J.DSS.2004.04.004}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dss/ChiuCHCC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/ChiuKLC05, author = {Dickson K. W. Chiu and Danny Kok and Alex K. C. Lee and Shing{-}Chi Cheung}, title = {Integrating Legacy Sites into Web Services with WebXcript}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {14}, number = {1}, pages = {25--44}, year = {2005}, url = {https://doi.org/10.1142/S0218843005001006}, doi = {10.1142/S0218843005001006}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijcis/ChiuKLC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijhpcn/WangLCW05, author = {Changjie Wang and Ho{-}fung Leung and S. C. Cheung and Yumin Wang}, title = {Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents}, journal = {Int. J. High Perform. Comput. Netw.}, volume = {3}, number = {5/6}, pages = {385--394}, year = {2005}, url = {https://doi.org/10.1504/IJHPCN.2005.009426}, doi = {10.1504/IJHPCN.2005.009426}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijhpcn/WangLCW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/NgC05, author = {T. H. Ng and S. C. Cheung}, title = {Enhancing class commutability in the deployment of design patterns}, journal = {Inf. Softw. Technol.}, volume = {47}, number = {12}, pages = {797--804}, year = {2005}, url = {https://doi.org/10.1016/j.infsof.2005.01.004}, doi = {10.1016/J.INFSOF.2005.01.004}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/infsof/NgC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/GaoNXCCL05, author = {Wen Gao and Lionel M. Ni and Zhiwei Xu and S. C. Cheung and Li Cui and Qiong Luo}, title = {{BLOSSOMS:} Building Lightweight Optimized Sensor Systems on a Massive Scale}, journal = {J. Comput. Sci. Technol.}, volume = {20}, number = {1}, pages = {105--177}, year = {2005}, url = {https://doi.org/10.1007/s11390-005-0012-6}, doi = {10.1007/S11390-005-0012-6}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/GaoNXCCL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcc/DouCCC05, author = {Wan{-}Chun Dou and S. C. Cheung and Guihai Chen and Shijie Cai}, editor = {Hai Zhuge and Geoffrey C. Fox}, title = {Certificate-Driven Grid Workflow Paradigm Based on Service Computing}, booktitle = {Grid and Cooperative Computing - {GCC} 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3795}, pages = {155--160}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590354\_21}, doi = {10.1007/11590354\_21}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcc/DouCCC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gcc/DouCCWC05, author = {Wan{-}Chun Dou and Shing{-}Chi Cheung and Guihai Chen and Jie Wang and Shijie Cai}, editor = {Hai Zhuge and Geoffrey C. Fox}, title = {A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications}, booktitle = {Grid and Cooperative Computing - {GCC} 2005, 4th International Conference, Beijing, China, November 30 - December 3, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3795}, pages = {1084--1095}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11590354\_131}, doi = {10.1007/11590354\_131}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gcc/DouCCWC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuCHL05, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Patrick C. K. Hung and Ho{-}fung Leung}, title = {Facilitating e-Negotiation Processes with Semantic Web Technologies}, booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38} 2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/HICSS.2005.269}, doi = {10.1109/HICSS.2005.269}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuCHL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuCL05, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Ho{-}fung Leung}, title = {A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise}, booktitle = {38th Hawaii International Conference on System Sciences {(HICSS-38} 2005), {CD-ROM} / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/HICSS.2005.28}, doi = {10.1109/HICSS.2005.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuCL05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iccnmc/NiZMLLLCY05, author = {Lionel M. Ni and Yanmin Zhu and Jian Ma and Minglu Li and Qiong Luo and Yunhao Liu and S. C. Cheung and Qiang Yang}, editor = {Xicheng Lu and Wei Zhao}, title = {Semantic Sensor Net: An Extensible Framework}, booktitle = {Networking and Mobile Computing, Third International Conference, {ICCNMC} 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3619}, pages = {1144--1153}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11534310\_119}, doi = {10.1007/11534310\_119}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iccnmc/NiZMLLLCY05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ChanCT05, author = {W. K. Chan and S. C. Cheung and T. H. Tse}, title = {Fault-Based Testing of Database Application Programs with Conceptual Data Model}, booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005), 19-20 September 2005, Melbourne, Australia}, pages = {187--196}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/QSIC.2005.27}, doi = {10.1109/QSIC.2005.27}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ChanCT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ChanCL05a, author = {W. K. Chan and S. C. Cheung and Karl R. P. H. Leung}, title = {Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications}, booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005), 19-20 September 2005, Melbourne, Australia}, pages = {470--476}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/QSIC.2005.67}, doi = {10.1109/QSIC.2005.67}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ChanCL05a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sera/DuanCF05, author = {Yucong Duan and Shing{-}Chi Cheung and Xiaolan Fu and Yuqing Gu}, title = {A Metamodel Based Model Transformation Approach}, booktitle = {Third {ACIS} International Conference on Software Engineering, Research, Management and Applications {(SERA} 2005), 11-13 August 2005, Mt. Pleasant, MI, {USA}}, pages = {184--191}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/SERA.2005.10}, doi = {10.1109/SERA.2005.10}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sera/DuanCF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/XuC05, author = {Chang Xu and Shing{-}Chi Cheung}, editor = {Michel Wermelinger and Harald C. Gall}, title = {Inconsistency detection and resolution for context-aware middleware support}, booktitle = {Proceedings of the 10th European Software Engineering Conference held jointly with 13th {ACM} {SIGSOFT} International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005}, pages = {336--345}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1081706.1081759}, doi = {10.1145/1081706.1081759}, timestamp = {Tue, 01 Feb 2022 10:45:16 +0100}, biburl = {https://dblp.org/rec/conf/sigsoft/XuC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/itm/ChiuCTKLK04, author = {Dickson K. W. Chiu and S. C. Cheung and Sven Till and Kamalakar Karlapalem and Qing Li and Eleanna Kafeza}, title = {Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment}, journal = {Inf. Technol. Manag.}, volume = {5}, number = {3-4}, pages = {221--250}, year = {2004}, url = {https://doi.org/10.1023/B:ITEM.0000031580.57966.d4}, doi = {10.1023/B:ITEM.0000031580.57966.D4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/itm/ChiuCTKLK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/titb/KafezaCCK04, author = {Eleanna Kafeza and Dickson K. W. Chiu and Shing{-}Chi Cheung and Marina Kafeza}, title = {Alerts in Mobile Healthcare Applications: Requirements and Pilot Study}, journal = {{IEEE} Trans. Inf. Technol. Biomed.}, volume = {8}, number = {2}, pages = {173--181}, year = {2004}, url = {https://doi.org/10.1109/TITB.2004.828888}, doi = {10.1109/TITB.2004.828888}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/titb/KafezaCCK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tr/CheungCX04, author = {S. C. Cheung and Samuel T. Chanson and Zhendong Xu}, title = {Applying generic timing tests for distributed multimedia software systems}, journal = {{IEEE} Trans. Reliab.}, volume = {53}, number = {3}, pages = {329--341}, year = {2004}, url = {https://doi.org/10.1109/TR.2004.833314}, doi = {10.1109/TR.2004.833314}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tr/CheungCX04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aina/WangLCW04, author = {Changjie Wang and Ho{-}fung Leung and Shing{-}Chi Cheung and Yumin Wang}, title = {Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents}, booktitle = {18th International Conference on Advanced Information Networking and Applications {(AINA} 2004), 29-31 March 2004, Fukuoka, Japan}, pages = {414--419}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/AINA.2004.1283945}, doi = {10.1109/AINA.2004.1283945}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aina/WangLCW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/WangS04, author = {Xiaoling Wang and Shing{-}Chi Cheung}, editor = {Shan Wang and Dongqing Yang and Katsumi Tanaka and Fabio Grandi and Shuigeng Zhou and Eleni E. Mangina and Tok Wang Ling and Il{-}Yeol Song and Jihong Guan and Heinrich C. Mayr}, title = {Grammar Based Interface Processing in Web Service Composition}, booktitle = {Conceptual Modeling for Advanced Application Domains, {ER} 2004 Workshops CoMoGIS, COMWIM, ECDM, CoMoA, DGOV, and ECOMO, Shanghai, China, November 8-12, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3289}, pages = {323--334}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30466-1\_30}, doi = {10.1007/978-3-540-30466-1\_30}, timestamp = {Tue, 30 Jun 2020 07:48:06 +0200}, biburl = {https://dblp.org/rec/conf/er/WangS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/XuCX04, author = {Chang Xu and Shing{-}Chi Cheung and Xiangye Xiao}, editor = {Paolo Atzeni and Wesley W. Chu and Hongjun Lu and Shuigeng Zhou and Tok Wang Ling}, title = {Semantic Interpretation and Matching of Web Services}, booktitle = {Conceptual Modeling - {ER} 2004, 23rd International Conference on Conceptual Modeling, Shanghai, China, November 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3288}, pages = {542--554}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30464-7\_41}, doi = {10.1007/978-3-540-30464-7\_41}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/er/XuCX04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/CheungLW04, author = {Shing{-}Chi Cheung and Ho{-}fung Leung and Changjie Wang}, title = {A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents}, booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37} 2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HICSS.2004.1265256}, doi = {10.1109/HICSS.2004.1265256}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/CheungLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuCHL04, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Patrick C. K. Hung and Ho{-}fung Leung}, title = {Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support}, booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37} 2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HICSS.2004.1265099}, doi = {10.1109/HICSS.2004.1265099}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuCHL04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuKWCK04, author = {Dickson K. W. Chiu and Benny W. C. Kwok and Ray L. S. Wong and Shing{-}Chi Cheung and Eleanna Kafeza}, title = {Alert-Driven E-Service Management}, booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37} 2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HICSS.2004.1265216}, doi = {10.1109/HICSS.2004.1265216}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hicss/ChiuKWCK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuKWCKK04, author = {Dickson K. W. Chiu and Benny W. C. Kwok and Ray L. S. Wong and Shing{-}Chi Cheung and Eleanna Kafeza and Marina Kafeza}, title = {Alerts for Healthcare Process and Data Integration}, booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37} 2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island, HI, {USA}}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/HICSS.2004.1265371}, doi = {10.1109/HICSS.2004.1265371}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuKWCKK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/npc/XuCLLW04, author = {Chang Xu and Shing{-}Chi Cheung and Cindy Lo and Ka{-}Chung Leung and Jun Wei}, editor = {Hai Jin and Guang R. Gao and Zhiwei Xu and Hao Chen}, title = {Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications}, booktitle = {Network and Parallel Computing, {IFIP} International Conference, {NPC} 2004, Wuhan, China, October 18-20, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3222}, pages = {568--575}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30141-7\_85}, doi = {10.1007/978-3-540-30141-7\_85}, timestamp = {Sun, 02 Jun 2019 21:27:18 +0200}, biburl = {https://dblp.org/rec/conf/npc/XuCLLW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ChengCT04, author = {M. Y. Cheng and S. C. Cheung and T. H. Tse}, title = {Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems}, booktitle = {4th International Conference on Quality Software {(QSIC} 2004), 8-10 September 2004, Braunschweig, Germany}, pages = {32--40}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/QSIC.2004.1357942}, doi = {10.1109/QSIC.2004.1357942}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ChengCT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dss/KwokCWTLT03, author = {Sai Ho Kwok and S. C. Cheung and K. C. Wong and K. F. Tsang and Siu Man Lui and Kar Yan Tam}, title = {Integration of digital rights management into the Internet Open Trading Protocol}, journal = {Decis. Support Syst.}, volume = {34}, number = {4}, pages = {413--425}, year = {2003}, url = {https://doi.org/10.1016/S0167-9236(02)00067-2}, doi = {10.1016/S0167-9236(02)00067-2}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dss/KwokCWTLT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/electronicmarkets/KwokLCT03, author = {Sai Ho Kwok and Siu Man Lui and S. C. Cheung and Kar Yan Tam}, title = {Digital Rights Management in Web Services}, journal = {Electron. Mark.}, volume = {13}, number = {2}, pages = {133--140}, year = {2003}, url = {https://doi.org/10.1080/1019678032000067208}, doi = {10.1080/1019678032000067208}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/electronicmarkets/KwokLCT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsmc/ChiuCKL03, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Eleanna Kafeza and Ho{-}fung Leung}, title = {A three-tier view-based methodology for M-services adaptation}, journal = {{IEEE} Trans. Syst. Man Cybern. Part {A}}, volume = {33}, number = {6}, pages = {725--741}, year = {2003}, url = {https://doi.org/10.1109/TSMCA.2003.819489}, doi = {10.1109/TSMCA.2003.819489}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsmc/ChiuCKL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caise/ChiuCL03, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Ho{-}fung Leung}, editor = {Johann Eder and Michele Missikoff}, title = {A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems}, booktitle = {Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2681}, pages = {226--241}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-45017-3\_17}, doi = {10.1007/3-540-45017-3\_17}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/caise/ChiuCL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/NgC03, author = {Tsz Hin Ng and Shing{-}Chi Cheung}, title = {Proactive Views on Concrete Aspects: {A} Pattern Documentation Approach for Software Evolution}, booktitle = {27th International Computer Software and Applications Conference {(COMPSAC} 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings}, pages = {242}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CMPSAC.2003.1245348}, doi = {10.1109/CMPSAC.2003.1245348}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/NgC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ChiuKLC03, author = {Dickson K. W. Chiu and Danny Kok and Alex K. C. Lee and Shing{-}Chi Cheung}, title = {Integrating Heterogeneous Web Services with WebXcript}, booktitle = {27th International Computer Software and Applications Conference {(COMPSAC} 2003): Design and Assessment of Trustworthy Software-Based Systems, 3-6 November 2003, Dallas, TX, USA, Proceedings}, pages = {272--277}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CMPSAC.2003.1245353}, doi = {10.1109/CMPSAC.2003.1245353}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/ChiuKLC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/CheungHC03, author = {Shing{-}Chi Cheung and Patrick C. K. Hung and Dickson K. W. Chiu}, title = {On the e-Negotiation of Unmatched Logrolling Views}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {29}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1173687}, doi = {10.1109/HICSS.2003.1173687}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/CheungHC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuCT03, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Sven Till}, title = {A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {74}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174188}, doi = {10.1109/HICSS.2003.1174188}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/ChiuCT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/CheungC03, author = {Shing{-}Chi Cheung and Dickson K. W. Chiu}, title = {A Watermarking Infrastructure for Enterprise Document Management}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {105}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174246}, doi = {10.1109/HICSS.2003.1174246}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/hicss/CheungC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/ChiuCLCL03, author = {Dickson K. W. Chiu and Wesley C. W. Chan and Gary K. W. Lam and Shing{-}Chi Cheung and Franklin T. Luk}, title = {An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {182}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174392}, doi = {10.1109/HICSS.2003.1174392}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hicss/ChiuCLCL03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/hicss/CheungCT03, author = {Shing{-}Chi Cheung and Dickson K. W. Chiu and Sven Till}, title = {Data-driven Methodology to Extending Workflows to E-services over the Internet}, booktitle = {36th Hawaii International Conference on System Sciences {(HICSS-36} 2003), {CD-ROM} / Abstracts Proceedings, January 6-9, 2003, Big Island, HI, {USA}}, pages = {202}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/HICSS.2003.1174457}, doi = {10.1109/HICSS.2003.1174457}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/hicss/CheungCT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/ChiuCH03, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Patrick C. K. Hung}, editor = {Liang{-}Jie Zhang}, title = {Developing e-Negotiation Process Support by Web Services}, booktitle = {Proceedings of the International Conference on Web Services, {ICWS} '03, June 23 - 26, 2003, Las Vegas, Nevada, {USA}}, pages = {97--103}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 17 Oct 2003 08:14:28 +0200}, biburl = {https://dblp.org/rec/conf/icws/ChiuCH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/KafezaCC03, author = {Eleanna Kafeza and Dickson K. W. Chiu and Shing{-}Chi Cheung}, editor = {Liang{-}Jie Zhang}, title = {Alert-Driven Process Integration in a Web Services Environment}, booktitle = {Proceedings of the International Conference on Web Services, {ICWS} '03, June 23 - 26, 2003, Las Vegas, Nevada, {USA}}, pages = {145--151}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 17 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icws/KafezaCC03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icws/CheungCCH03, author = {Shing{-}Chi Cheung and Hanif Curreem and Dickson K. W. Chiu and Patrick C. K. Hung}, editor = {Liang{-}Jie Zhang}, title = {Implementing Watermark Token in WS-Security for Digital Content Distribution}, booktitle = {Proceedings of the International Conference on Web Services, {ICWS} '03, June 23 - 26, 2003, Las Vegas, Nevada, {USA}}, pages = {415--419}, publisher = {{CSREA} Press}, year = {2003}, timestamp = {Fri, 17 Oct 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icws/CheungCCH03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/WangCW02, author = {Xu Wang and Shing{-}Chi Cheung and Jun Wei}, title = {A {CSP} and {Z} combined modeling of document exchange processes in e-commerce protocols}, journal = {Inf. Softw. Technol.}, volume = {44}, number = {14}, pages = {875--889}, year = {2002}, url = {https://doi.org/10.1016/S0950-5849(02)00121-0}, doi = {10.1016/S0950-5849(02)00121-0}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/WangCW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/ZhangC02, author = {Jian Zhang and S. C. Cheung}, title = {Automated test case generation for the stress testing of multimedia systems}, journal = {Softw. Pract. Exp.}, volume = {32}, number = {15}, pages = {1411--1435}, year = {2002}, url = {https://doi.org/10.1002/spe.487}, doi = {10.1002/SPE.487}, timestamp = {Mon, 26 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/ZhangC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/CheungC02, author = {Shing{-}Chi Cheung and Hanif Curreem}, title = {Rights Protection for Digital Contents Redistribution Over the Internet}, booktitle = {26th International Computer Software and Applications Conference {(COMPSAC} 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings}, pages = {105--110}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/CMPSAC.2002.1044539}, doi = {10.1109/CMPSAC.2002.1044539}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/CheungC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/CheungHC02, author = {Shing{-}Chi Cheung and Patrick C. K. Hung and Dickson K. W. Chiu}, editor = {Stefano Spaccapietra and Salvatore T. March and Yahiko Kambayashi}, title = {A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation}, booktitle = {Conceptual Modeling - {ER} 2002, 21st International Conference on Conceptual Modeling, Tampere, Finland, October 7-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2503}, pages = {50--64}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45816-6\_14}, doi = {10.1007/3-540-45816-6\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/er/CheungHC02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wes/ChiuCKLT02, author = {Dickson K. W. Chiu and Shing{-}Chi Cheung and Kamalakar Karlapalem and Qing Li and Sven Till}, editor = {Christoph Bussler and Richard Hull and Sheila A. McIlraith and Maria E. Orlowska and Barbara Pernici and Jian Yang}, title = {Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment}, booktitle = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2512}, pages = {41--56}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36189-8\_4}, doi = {10.1007/3-540-36189-8\_4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wes/ChiuCKLT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wes/CheungCT02, author = {Shing{-}Chi Cheung and Dickson K. W. Chiu and Sven Till}, editor = {Christoph Bussler and Richard Hull and Sheila A. McIlraith and Maria E. Orlowska and Barbara Pernici and Jian Yang}, title = {A Three-Layer Framework for Cross-Organizational e-Contract Enactment}, booktitle = {Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, {WES} 2002, Toronto, Canada, May 27-28, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2512}, pages = {78--92}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36189-8\_7}, doi = {10.1007/3-540-36189-8\_7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wes/CheungCT02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apaqs/WangCW01, author = {X. Wang and Shing{-}Chi Cheung and J. Wei}, title = {On the Modelling of Document Exchange Processes in E-Commerce Protocols}, booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11 December 2001, Hong Kong, China, Proceedings}, pages = {387--396}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/APAQS.2001.990044}, doi = {10.1109/APAQS.2001.990044}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apaqs/WangCW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/WeiCW01, author = {Jun Wei and Shing{-}Chi Cheung and Xu Wang}, title = {Exploiting Automatic Analysis of E-Commerce Protocols}, booktitle = {25th International Computer Software and Applications Conference {(COMPSAC} 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, {USA}}, pages = {55}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/CMPSAC.2001.960598}, doi = {10.1109/CMPSAC.2001.960598}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/WeiCW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/ZhangXC01, author = {Jian Zhang and Chen Xu and S. C. Cheung}, title = {Automatic Generation of Database Instances for White-box Testing}, booktitle = {25th International Computer Software and Applications Conference {(COMPSAC} 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, {USA}}, pages = {161--165}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/CMPSAC.2001.960612}, doi = {10.1109/CMPSAC.2001.960612}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/ZhangXC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/WeiCZWLF01, author = {Jun Wei and Shing{-}Chi Cheung and Huan Zhou and Xu Wang and Jing Li and Yulin Feng}, title = {Modeling and Verifying Strong Cache Consistency for Mobile Data Access}, booktitle = {12th International Symposium on Software Reliability Engineering {(ISSRE} 2001), 27-30 November 2001, Hong Kong, China}, pages = {103--111}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ISSRE.2001.989463}, doi = {10.1109/ISSRE.2001.989463}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/WeiCZWLF01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/issre/CheungCX01, author = {Shing{-}Chi Cheung and Samuel T. Chanson and Zhendong Xu}, title = {Toward Generic Timing Tests for Distributed Multimedia Software Systems}, booktitle = {12th International Symposium on Software Reliability Engineering {(ISSRE} 2001), 27-30 November 2001, Hong Kong, China}, pages = {210--221}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ISSRE.2001.989475}, doi = {10.1109/ISSRE.2001.989475}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/issre/CheungCX01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/GiannakopoulouKC99, author = {Dimitra Giannakopoulou and Jeff Kramer and Shing{-}Chi Cheung}, title = {Behaviour Analysis of Distributed Systems Using the Tracta Approach}, journal = {Autom. Softw. Eng.}, volume = {6}, number = {1}, pages = {7--35}, year = {1999}, url = {https://doi.org/10.1023/A:1008645800955}, doi = {10.1023/A:1008645800955}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ase/GiannakopoulouKC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/infsof/CheungC99, author = {Shing{-}Chi Cheung and Samuel T. Chanson}, title = {A model-based authorware for the construction of distributed multimedia systems}, journal = {Inf. Softw. Technol.}, volume = {41}, number = {11-12}, pages = {715--727}, year = {1999}, url = {https://doi.org/10.1016/S0950-5849(99)00032-4}, doi = {10.1016/S0950-5849(99)00032-4}, timestamp = {Thu, 20 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/infsof/CheungC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/CheungK99, author = {Shing{-}Chi Cheung and Jeff Kramer}, title = {Checking Safety Properties Using Compositional Reachability Analysis}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {8}, number = {1}, pages = {49--78}, year = {1999}, url = {https://doi.org/10.1145/295558.295570}, doi = {10.1145/295558.295570}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/CheungK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/codas/ChanC99, author = {Man{-}yee Chan and Shing{-}Chi Cheung}, editor = {Yanchun Zhang and Marek Rusinkiewicz and Yahiko Kambayashi}, title = {Testing Database Applications with {SQL} Semantics}, booktitle = {The Proceedings of the Second International Symposium on Cooperative Database Systems for Advanced Applications, {CODAS} 1999, Wollongong, Australia, March 27-28, 1999}, pages = {364--376}, publisher = {Springer}, year = {1999}, timestamp = {Fri, 02 Aug 2019 08:43:54 +0200}, biburl = {https://dblp.org/rec/conf/codas/ChanC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/ZhangCC99, author = {Jian Zhang and Shing{-}Chi Cheung and Samuel T. Chanson}, editor = {Jianping Wu and Samuel T. Chanson and Qiang Gao}, title = {Stress Testing of Distributed Multimedia Software Systems}, booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE} {XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {XII)} and Protocol Specification, Testing and Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China}, series = {{IFIP} Conference Proceedings}, volume = {156}, pages = {119--133}, publisher = {Kluwer}, year = {1999}, timestamp = {Thu, 19 Aug 2010 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/ZhangCC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iceccs/LeungC99, author = {Paul Leung and Shing{-}Chi Cheung}, title = {A {CSCW} Framework for the Flexible Coupling of Groupware Widgets}, booktitle = {5th International Conference on Engineering of Complex Computer Systems {(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}}, pages = {9--20}, publisher = {{IEEE} Computer Society}, year = {1999}, url = {https://doi.org/10.1109/ICECCS.1999.802833}, doi = {10.1109/ICECCS.1999.802833}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iceccs/LeungC99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icmcs/CheungWC98, author = {Shing{-}Chi Cheung and Kam{-}Keung Wong and Samuel T. Chanson}, title = {A Two-Tier Technique for Authoring Distributed Multimedia Applications}, booktitle = {{IEEE} International Conference on Multimedia Computing and Systems, {ICMCS} 1998, Austin, Texas, USA, June 28 - July 1, 1998}, pages = {368--371}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/MMCS.1998.693665}, doi = {10.1109/MMCS.1998.693665}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icmcs/CheungWC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdse/MisicCC98, author = {Jelena V. Misic and Samuel T. Chanson and Shing{-}Chi Cheung}, title = {Towards a Framework for Testing Distributed Multimedia Software Systems}, booktitle = {International Symposium on Software Engineering for Parallel and Distributed Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998}, pages = {72}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/PDSE.1998.668160}, doi = {10.1109/PDSE.1998.668160}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdse/MisicCC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdse/CheungW98, author = {Shing{-}Chi Cheung and Kam{-}Keung Wong}, title = {Construction of Distributed Multimedia Applications using Multiple Views}, booktitle = {International Symposium on Software Engineering for Parallel and Distributed Systems, {PDSE} 1998, Kyoto, Japan, April 20-21, 1998}, pages = {166--175}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/PDSE.1998.668175}, doi = {10.1109/PDSE.1998.668175}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdse/CheungW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esec/CheungGK98, author = {Shing{-}Chi Cheung and Dimitra Giannakopoulou and Jeff Kramer}, editor = {Mehdi Jazayeri and Helmut Schauer}, title = {Verification of Liveness Properties Using Compositional Reachability Analysis}, booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1301}, pages = {227--243}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63531-9\_17}, doi = {10.1007/3-540-63531-9\_17}, timestamp = {Wed, 04 May 2022 13:01:10 +0200}, biburl = {https://dblp.org/rec/conf/esec/CheungGK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/WongCCF97, author = {Alan C. Y. Wong and Samuel T. Chanson and Shing{-}Chi Cheung and Holger Fuchs}, editor = {Atsushi Togashi and Tadanori Mizuno and Norio Shiratori and Teruo Higashino}, title = {A Framework for Distributed Object-Oriented Testing}, booktitle = {Formal Description Techniques and Protocol Specification, Testing and Verification, {FORTE} {X} / {PSTV} XVII'97, {IFIP} {TC6} {WG6.1} Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols {(FORTE} {X)} and Protocol Specification, Testing and Verification {(PSTV} XVII), 18-21 November, 1997, Osaka, Japan}, series = {{IFIP} Conference Proceedings}, volume = {107}, pages = {39--56}, publisher = {Chapman {\&} Hall}, year = {1997}, timestamp = {Wed, 12 Feb 2003 15:40:21 +0100}, biburl = {https://dblp.org/rec/conf/forte/WongCCF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/CheungK96, author = {Shing{-}Chi Cheung and Jeff Kramer}, title = {Context Constraints for Compositional Reachability Analysis}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {5}, number = {4}, pages = {334--377}, year = {1996}, url = {https://doi.org/10.1145/235321.235323}, doi = {10.1145/235321.235323}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/CheungK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CheungK96, author = {Shing{-}Chi Cheung and Jeff Kramer}, editor = {H. Dieter Rombach and T. S. E. Maibaum and Marvin V. Zelkowitz}, title = {Checking Subsystem Safety Properties in Compositional Reachability Analysis}, booktitle = {18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings}, pages = {144--154}, publisher = {{IEEE} Computer Society}, year = {1996}, url = {http://portal.acm.org/citation.cfm?id=227726.227755}, timestamp = {Mon, 17 Sep 2012 17:53:34 +0200}, biburl = {https://dblp.org/rec/conf/icse/CheungK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ase/CheungK95, author = {Shing{-}Chi Cheung and Jeff Kramer}, title = {Contextual Local Analysis in the Design of Distributed Systems}, journal = {Autom. Softw. Eng.}, volume = {2}, number = {1}, pages = {5--32}, year = {1995}, url = {https://doi.org/10.1007/BF00873407}, doi = {10.1007/BF00873407}, timestamp = {Mon, 05 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ase/CheungK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CheungK95, author = {Shing{-}Chi Cheung and Jeff Kramer}, editor = {Gail E. Kaiser}, title = {Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints}, booktitle = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October 10-13, 1995}, pages = {140--150}, publisher = {{ACM}}, year = {1995}, url = {https://doi.org/10.1145/222124.222149}, doi = {10.1145/222124.222149}, timestamp = {Tue, 27 Jul 2021 17:16:40 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/CheungK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/CheungK94, author = {Shing{-}Chi Cheung and Jeff Kramer}, title = {Tractable Dataflow Analysis for Distributed Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {20}, number = {8}, pages = {579--593}, year = {1994}, url = {https://doi.org/10.1109/32.310668}, doi = {10.1109/32.310668}, timestamp = {Fri, 09 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/CheungK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/CheungK94, author = {Shing{-}Chi Cheung and Jeff Kramer}, editor = {Bruno Fadini and Leon J. Osterweil and Axel van Lamsweerde}, title = {An Integrated Method for Effective Behaviour Analysis of Distributed Systems}, booktitle = {Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, May 16-21, 1994}, pages = {309--320}, publisher = {{IEEE} Computer Society / {ACM} Press}, year = {1994}, url = {http://portal.acm.org/citation.cfm?id=257734.257792}, timestamp = {Mon, 14 May 2012 18:17:12 +0200}, biburl = {https://dblp.org/rec/conf/icse/CheungK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esec/CheungK93, author = {Shing{-}Chi Cheung and Jeff Kramer}, editor = {Ian Sommerville and Manfred Paul}, title = {Tractable Flow Analysis for Anomaly Detection in Distributed Programs}, booktitle = {Software Engineering - {ESEC} '93, 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {717}, pages = {283--300}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57209-0\_20}, doi = {10.1007/3-540-57209-0\_20}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/esec/CheungK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigsoft/CheungK93, author = {Shing{-}Chi Cheung and Jeff Kramer}, editor = {David Notkin}, title = {Enhancing Compositional Reachability Analysis with Context Constraints}, booktitle = {Proceedings of the First {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, {SIGSOFT} 1993, Los Angeles, California, USA, December 7-10, 1993}, pages = {115--125}, publisher = {{ACM}}, year = {1993}, url = {https://doi.org/10.1145/256428.167071}, doi = {10.1145/256428.167071}, timestamp = {Tue, 27 Jul 2021 17:16:40 +0200}, biburl = {https://dblp.org/rec/conf/sigsoft/CheungK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/spe/MageeC91, author = {Jeff Magee and Shing{-}Chi Cheung}, title = {Parallel Algorithm Design for Workstation Clusters}, journal = {Softw. Pract. Exp.}, volume = {21}, number = {3}, pages = {235--250}, year = {1991}, url = {https://doi.org/10.1002/spe.4380210302}, doi = {10.1002/SPE.4380210302}, timestamp = {Thu, 09 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/spe/MageeC91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.