BibTeX records: Shing-Chi Cheung

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics