Shing-Chi Cheung

326 papers A* 47A 21B 8C 5Misc 1Journal 161Unranked 77
YearRankTypeTitle / Venue / Authors
2026 J jnl
Automated Unit Test Generation via Chain-of-Thought Prompt and Reinforcement Learning from Coverage Feedback.
ACM Trans. Softw. Eng. Methodol.
Junwei Zhang, Xing Hu, Xin Xia, Shing-Chi Cheung, Shanping Li
2026 J jnl
CAM: A Causality-based Analysis Framework for Multi-Agent Code Generation Systems.
CoRR
Zongyi Lyu, Zhenlan Ji, Songqiang Chen, Liwen Wang, Yuheng Huang, Shuai Wang, Shing-Chi Cheung
2026 J jnl
Enhancing Differential Testing with LLMs for Testing Deep Learning Libraries.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2026 J jnl
ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair.
CoRR
Zhiyong Chen, Jialun Cao, Chang Xu, Shing-Chi Cheung
2026 J jnl
SWE-ABS: Adversarial Benchmark Strengthening Exposes Inflated Success Rates on Test-based Benchmark.
CoRR
Boxi Yu, Yang Cao, Yuzhong Zhang, Liting Lin, Junjielong Xu, Zhiqing Zhong, Qinghua Xu, Guancheng Wang, Jialun Cao, Shing-Chi Cheung, Pinjia He, Lionel C. Briand
2025 A* conf
A Tale of Two DL Cities: When Library Tests Meet Compiler.
ICSE
Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang
2025 J jnl
A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair.
Autom. Softw. Eng.
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2025 J jnl
Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation.
CoRR
Qiming Zhu, Jialun Cao, Xuanang Chen, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2025 J jnl
An Empirical Study of Bugs in Data Visualization Libraries.
CoRR
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
2025 J jnl
An Empirical Study of Bugs in Data Visualization Libraries.
Proc. ACM Softw. Eng.
Weiqi Lu, Yongqiang Tian, Xiaohan Zhong, Haoyang Ma, Zhenyang Xu, Shing-Chi Cheung, Chengnian Sun
2025 J jnl
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers.
CoRR
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2025 — conf
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.
ACL (1)
Ruiyang Xu, Jialun Cao, Yaojie Lu, Ming Wen, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun
2025 J jnl
Can Emulating Semantic Translation Help LLMs with Code Translation? A Study Based on Pseudocode.
CoRR
Songqiang Chen, Congying Xu, Jingyi Chen, Jialun Cao, Jiarong Wu, Shing-Chi Cheung
2025 — conf
CodeCleaner: Mitigating Data Contamination for LLM Benchmarking.
Internetware
Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Yeting Li, Shing-Chi Cheung
2025 A* conf
Cross2OH: Enabling Seamless Porting of C/C++ Software Libraries to OpenHarmony.
ASE
Qian Zhang, Tsz-On Li, Ying Wang, Li Li, Shing-Chi Cheung
2025 A* conf
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation.
AAAI
Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2025 A* conf
Demystifying Cross-Language C/C++ Binaries: A Robust Software Component Analysis Approach.
ASE
Meiqiu Xu, Ying Wang, Wei Tang, Xian Zhan, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2025 A conf
Differential Testing of Concurrent Classes.
ICST
Valerio Terragni, Shing-Chi Cheung
2025 J jnl
EmbedAgent: Benchmarking Large Language Models in Embedded System Development.
CoRR
Ruiyang Xu, Jialun Cao, Mingyuan Wu, Wenliang Zhong, Yaojie Lu, Ben He, Xianpei Han, Shing-Chi Cheung, Le Sun
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian
2025 J jnl
How Far are App Secrets from Being Stolen? A Case Study on Android.
CoRR
Lili Wei, Heqing Huang, Shing-Chi Cheung, Kevin Li
2025 J jnl
How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs.
CoRR
Jialun Cao, Yuk-Kit Chan, Zixuan Ling, Wenxuan Wang, Shuqing Li, Mingwei Liu, Ruixi Qiao, Yuting Han, Chaozheng Wang, Boxi Yu, Pinjia He, Shuai Wang, Zibin Zheng, Michael R. Lyu, Shing-Chi Cheung
2025 J jnl
How far are app secrets from being stolen? a case study on android.
Empir. Softw. Eng.
Lili Wei, Heqing Huang, Shing-Chi Cheung, Kevin Li
2025 J jnl
IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems.
CoRR
Liwen Wang, Wenxuan Wang, Shuai Wang, Zongjie Li, Zhenlan Ji, Zongyi Lyu, Daoyuan Wu, Shing-Chi Cheung
2025 J jnl
Infi-MMR: Curriculum-based Unlocking Multimodal Reasoning via Phased Reinforcement Learning in Multimodal Small Language Models.
CoRR
Zeyu Liu, Yuhang Liu, Guanghao Zhu, Congkai Xie, Zhen Li, Jianbo Yuan, Xinyao Wang, Qing Li, Shing-Chi Cheung, Shengyu Zhang, Fei Wu, Hongxia Yang
2025 J jnl
Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval.
CoRR
Jiarong Wu, Songqiang Chen, Jialun Cao, Hau Ching Lo, Shing-Chi Cheung
2025 J jnl
LSPFuzz: Hunting Bugs in Language Servers.
CoRR
Hengcheng Zhu, Songqiang Chen, Valerio Terragni, Lili Wei, Yepang Liu, Jiarong Wu, Shing-Chi Cheung
2025 A* conf
LspFuzz: Hunting Bugs in Language Servers.
ASE
Hengcheng Zhu, Songqiang Chen, Valerio Terragni, Lili Wei, Yepang Liu, Jiarong Wu, Shing-Chi Cheung
2025 — book
Managing Software Supply Chains - Theory and Practice
Ying Wang, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2025 J jnl
Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions.
CoRR
Jingyi Chen, Xiaoyan Guo, Songqiang Chen, Shing-Chi Cheung, Jiasi Shen
2025 J jnl
On state reverting in solidity smart contracts: Developer practices, fault categorization, and tool evaluation.
Empir. Softw. Eng.
Lu Liu, Lili Wei, Wuqi Zhang, Shuqing Li, Yifan Zhou, Yepang Liu, Shing-Chi Cheung, Michael R. Lyu
2025 J jnl
Optimization-Aware Test Generation for Deep Learning Compilers.
CoRR
Qingchao Shen, Zan Wang, Haoyang Ma, Yongqiang Tian, Lili Huang, Zibo Xiao, Junjie Chen, Shing-Chi Cheung
2025 J jnl
Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces.
IEEE Trans. Software Eng.
Jiarong Wu, Yanyan Jiang, Lili Wei, Congying Xu, Shing-Chi Cheung, Chang Xu
2025 J jnl
ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback.
CoRR
Xiaolei Li, Jialun Cao, Yepang Liu, Shing-Chi Cheung, Hailong Wang
2025 J jnl
RulER: Automated Rule-Based Semantic Error Localization and Repair for Code Translation.
CoRR
Shuo Jin, Songqiang Chen, Xiaoyuan Xie, Shing-Chi Cheung
2025 J jnl
SemBIC: Semantic-Aware Identification of Bug-Inducing Commits.
Proc. ACM Softw. Eng.
Xiao Chen, Hengcheng Zhu, Jialun Cao, Ming Wen, Shing-Chi Cheung
2025 J jnl
Testing and Enhancing Multi-Agent Systems for Robust Code Generation.
CoRR
Zongyi Lyu, Songqiang Chen, Zhenlan Ji, Liwen Wang, Shuai Wang, Daoyuan Wu, Wenxuan Wang, Shing-Chi Cheung
2025 J jnl
Understanding and Characterizing Mock Assertions in Unit Tests.
CoRR
Hengcheng Zhu, Valerio Terragni, Lili Wei, Shing-Chi Cheung, Jiarong Wu, Yepang Liu
2025 J jnl
Understanding and Characterizing Mock Assertions in Unit Tests.
Proc. ACM Softw. Eng.
Hengcheng Zhu, Valerio Terragni, Lili Wei, Shing-Chi Cheung, Jiarong Wu, Yepang Liu
2025 J jnl
What Builds Effective In-Context Examples for Code Generation?
CoRR
Dongze Li, Songqiang Chen, Jialun Cao, Shing-Chi Cheung
2025 J jnl
When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers?
CoRR
Jingyi Chen, Songqiang Chen, Jialun Cao, Jiasi Shen, Shing-Chi Cheung
2024 J jnl
A Tale of Two DL Cities: When Library Tests Meet Compiler.
CoRR
Qingchao Shen, Yongqiang Tian, Haoyang Ma, Junjie Chen, Lili Huang, Ruifeng Fu, Shing-Chi Cheung, Zan Wang
2024 J jnl
Automatic Build Repair for Test Cases using Incompatible Java Versions.
CoRR
Ching Hang Mak, Shing-Chi Cheung
2024 J jnl
Automatic build repair for test cases using incompatible Java versions.
Inf. Softw. Technol.
Ching Hang Mak, Shing-Chi Cheung
2024 J jnl
CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit.
CoRR
Jialun Cao, Songqiang Chen, Wuqi Zhang, Hau Ching Lo, Shing-Chi Cheung
2024 J jnl
CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution.
CoRR
Ruiyang Xu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Ben He, Shing-Chi Cheung, Le Sun
2024 J jnl
Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench.
CoRR
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024 J jnl
Concerned with Data Contamination? Assessing Countermeasures in Code Language Model.
CoRR
Jialun Cao, Wuqi Zhang, Shing-Chi Cheung
2024 J jnl
Context-Dependent Interactable Graphical User Interface Element Detection for Spatial Computing Applications.
CoRR
Shuqing Li, Binchang Li, Yepang Liu, Cuiyun Gao, Jianping Zhang, Shing-Chi Cheung, Michael R. Lyu
2024 J jnl
DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.
CoRR
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2024 J jnl
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation.
CoRR
Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han, Le Sun, Shing-Chi Cheung
2024 — conf
Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.
CAV (2)
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 J jnl
Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verification.
CoRR
Cheng Wen, Jialun Cao, Jie Su, Zhiwu Xu, Shengchao Qin, Mengda He, Haokun Li, Shing-Chi Cheung, Cong Tian
2024 A* conf
JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models.
ASE
Jialun Cao, Zhiyong Chen, Jiarong Wu, Shing-Chi Cheung, Chang Xu
2024 A* conf
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
ASE
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao
2024 J jnl
MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing.
CoRR
Congying Xu, Songqiang Chen, Jiarong Wu, Shing-Chi Cheung, Valerio Terragni, Hengcheng Zhu, Jialun Cao
2024 J jnl
MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases.
ACM Trans. Softw. Eng. Methodol.
Congying Xu, Valerio Terragni, Hengcheng Zhu, Jiarong Wu, Shing-Chi Cheung
2024 A* conf
Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts.
SP
Wuqi Zhang, Zhuo Zhang, Qingkai Shi, Lu Liu, Lili Wei, Yepang Liu, Xiangyu Zhang, Shing-Chi Cheung
2024 J jnl
On the Caching Schemes to Speed Up Program Reduction.
ACM Trans. Softw. Eng. Methodol.
Yongqiang Tian, Xueyan Zhang, Yiwen Dong, Zhenyang Xu, Mengxiao Zhang, Yu Jiang, Shing-Chi Cheung, Chengnian Sun
2024 — ed.
Proceedings of the 15th Asia-Pacific Symposium on Internetware, Internetware 2024, Macau, SAR, China, July 24-26, 2024
Internetware
Hong Mei, Jian Lv, Abdelsalam Helal, Xiaoxing Ma, Shing-Chi Cheung, Jie Zhang, Tao Zhang
2024 J jnl
Programming by Example Made Easy.
ACM Trans. Softw. Eng. Methodol.
Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu
2024 J jnl
Shortening Overlong Method Names with Abbreviations.
ACM Trans. Softw. Eng. Methodol.
Yanjie Jiang, Hui Liu, Shing-Chi Cheung, Lu Zhang
2024 J jnl
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects.
ACM Trans. Softw. Eng. Methodol.
Hengcheng Zhu, Lili Wei, Valerio Terragni, Yepang Liu, Shing-Chi Cheung, Jiarong Wu, Qin Sheng, Bing Zhang, Lihong Song
2024 A conf
Towards Understanding the Bugs in Solidity Compiler.
ISSTA
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2024 J jnl
Towards Understanding the Bugs in Solidity Compiler.
CoRR
Haoyang Ma, Wuqi Zhang, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2024 J jnl
Word Closure-Based Metamorphic Testing for Machine Translation.
ACM Trans. Softw. Eng. Methodol.
Xiaoyuan Xie, Shuo Jin, Songqiang Chen, Shing-Chi Cheung
2023 J jnl
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair.
CoRR
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2023 J jnl
COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2023 — conf
Can Machine Learning Pipelines Be Better Configured?
ESEC/SIGSOFT FSE
Yibo Wang, Ying Wang, Tingwei Zhang, Yue Yu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2023 J jnl
Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation.
IEEE Trans. Software Eng.
Wuqi Zhang, Lili Wei, Shing-Chi Cheung, Yepang Liu, Shuqing Li, Lu Liu, Michael R. Lyu
2023 A conf
ConfFix: Repairing Configuration Compatibility Issues in Android Apps.
ISSTA
Huaxun Huang, Chi Xu, Ming Wen, Yepang Liu, Shing-Chi Cheung
2023 J jnl
Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications.
ACM Trans. Softw. Eng. Methodol.
Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
2023 J jnl
Finding Failure-Inducing Test Cases with ChatGPT.
CoRR
Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
2023 A conf
Fuzzing Deep Learning Compilers with HirGen.
ISSTA
Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2023 J jnl
Is ChatGPT the Ultimate Programming Assistant - How far is it?
CoRR
Haoye Tian, Weiqi Lu, Tsz On Li, Xunzhu Tang, Shing-Chi Cheung, Jacques Klein, Tegawendé F. Bissyandé
2023 J jnl
Neural-FEBI: Accurate Function Identification in Ethereum Virtual Machine Bytecode.
CoRR
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
2023 J jnl
Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode.
J. Syst. Softw.
Jiahao He, Shuangyin Li, Xinming Wang, Shing-Chi Cheung, Gansen Zhao, Jinji Yang
2023 A* conf
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting.
ASE
Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang, Shing-Chi Cheung, Jeff Kramer
2023 J jnl
Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem.
IEEE Trans. Software Eng.
Ying Wang, Peng Sun, Lin Pei, Yue Yu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2023 J jnl
Programming by Example Made Easy.
CoRR
Jiarong Wu, Lili Wei, Yanyan Jiang, Shing-Chi Cheung, Luyao Ren, Chang Xu
2023 A* conf
Revisiting the Evaluation of Deep Learning-Based Compiler Testing.
IJCAI
Yongqiang Tian, Zhenyang Xu, Yiwen Dong, Chengnian Sun, Shing-Chi Cheung
2023 J jnl
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.
IEEE Trans. Software Eng.
Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2023 J jnl
StubCoder: Automated Generation and Repair of Stub Code for Mock Objects.
CoRR
Hengcheng Zhu, Lili Wei, Valerio Terragni, Yepang Liu, Shing-Chi Cheung, Jiarong Wu, Qin Sheng, Bing Zhang, Lihong Song
2023 — conf
Testing Coreference Resolution Systems without Labeled Test Sets.
ESEC/SIGSOFT FSE
Jialun Cao, Yaojie Lu, Ming Wen, Shing-Chi Cheung
2023 J jnl
Towards Modeling Software Quality of Virtual Reality Applications from Users' Perspectives.
CoRR
Shuqing Li, Lili Wei, Yepang Liu, Cuiyun Gao, Shing-Chi Cheung, Michael R. Lyu
2023 — conf
Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems.
ESEC/SIGSOFT FSE
Xiaohu Du, Xiao Chen, Jialun Cao, Ming Wen, Shing-Chi Cheung, Hai Jin
2023 J jnl
Word Closure-Based Metamorphic Testing for Machine Translation.
CoRR
Xiaoyuan Xie, Shuo Jin, Songqiang Chen, Shing-Chi Cheung
2023 A conf
ωTest: WebView-Oriented Testing for Android Applications.
ISSTA
Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung
2023 J jnl
ωTest: WebView-Oriented Testing for Android Applications.
CoRR
Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung
2022 A* conf
APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps.
ICSE
Sinan Wang, Yibo Wang, Xian Zhan, Ying Wang, Yepang Liu, Xiapu Luo, Shing-Chi Cheung
2022 J jnl
Aper: Evolution-Aware Runtime Permission Misuse Detection for Android Apps.
CoRR
Sinan Wang, Yibo Wang, Xian Zhan, Ying Wang, Yepang Liu, Xiapu Luo, Shing-Chi Cheung
2022 A* conf
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
ICSE
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 J jnl
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
CoRR
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 J jnl
Front-Running Attack Benchmark Construction and Vulnerability Detection Technique Evaluation.
CoRR
Wuqi Zhang, Lili Wei, Shing-Chi Cheung, Yepang Liu, Shuqing Li, Lu Liu, Michael R. Lyu
2022 J jnl
HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation.
CoRR
Haoyang Ma, Qingchao Shen, Yongqiang Tian, Junjie Chen, Shing-Chi Cheung
2022 A* conf
Insight: Exploring Cross-Ecosystem Vulnerability Impacts.
ASE
Meiqiu Xu, Ying Wang, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2022 J jnl
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.
CoRR
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2022 J jnl
Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation.
IEEE Trans. Image Process.
Divya Saxena, Tarun Kulshrestha, Jiannong Cao, Shing-Chi Cheung
2022 A* conf
Nufix: Escape From NuGet Dependency Maze.
ICSE
ZhenMing Li, Ying Wang, Zeqi Lin, Shing-Chi Cheung, Jian-Guang Lou
2022 A* conf
RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix.
USENIX Security Symposium
Yeting Li, Yecheng Sun, Zhiwu Xu, Jialun Cao, Yuekang Li, Rongchen Li, Haiming Chen, Shing-Chi Cheung, Yang Liu, Yang Xiao
2022 J jnl
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol.
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen
2022 J jnl
Will Dependency Conflicts Affect My Program's Semantics?
IEEE Trans. Software Eng.
Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu
2021 — conf
A comprehensive study of deep learning compiler bugs.
ESEC/SIGSOFT FSE
Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen
2021 J jnl
Automatic Detection and Update Suggestion for Outdated API Names in Documentation.
IEEE Trans. Software Eng.
Seonah Lee, Rongxin Wu, Shing-Chi Cheung, Sungwon Kang
2021 A* conf
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.
ASE
Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung
2021 J jnl
Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts.
CoRR
Lu Liu, Lili Wei, Wuqi Zhang, Ming Wen, Yepang Liu, Shing-Chi Cheung
2021 A* conf
Characterizing and Detecting Configuration Compatibility Issues in Android Apps.
ASE
Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu, Shing-Chi Cheung
2021 J jnl
Characterizing and Detecting Configuration Compatibility Issues in Android Apps.
CoRR
Huaxun Huang, Ming Wen, Lili Wei, Yepang Liu, Shing-Chi Cheung
2021 J jnl
Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network.
CoRR
Yongqiang Tian, Wuqi Zhang, Ming Wen, Shing-Chi Cheung, Chengnian Sun, Shiqing Ma, Yu Jiang
2021 A* conf
HERO: On the Chaos When PATH Meets Modules.
ICSE
Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu
2021 J jnl
Hero: On the Chaos When PATH Meets Modules.
CoRR
Ying Wang, Liang Qiao, Chang Xu, Yepang Liu, Shing-Chi Cheung, Na Meng, Hai Yu, Zhiliang Zhu
2021 J jnl
Historical Spectrum Based Fault Localization.
IEEE Trans. Software Eng.
Ming Wen, Junjie Chen, Yongqiang Tian, Rongxin Wu, Dan Hao, Shi Han, Shing-Chi Cheung
2021 A* conf
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection.
USENIX Security Symposium
Yeting Li, Zixuan Chen, Jialun Cao, Zhiwu Xu, Qiancheng Peng, Haiming Chen, Liyuan Chen, Shing-Chi Cheung
2021 J jnl
Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward.
CoRR
Ying Wang, Yibo Wang, Sinan Wang, Yepang Liu, Chang Xu, Shing-Chi Cheung, Hai Yu, Zhiliang Zhu
2021 J jnl
Sifter: A Service Isolation Strategy for Internet Applications.
IEEE Trans. Serv. Comput.
Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan
2021 A* conf
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
ICSE
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2021 J jnl
To what extent do DNN-based image classification models make unreliable inferences?
Empir. Softw. Eng.
Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang
2021 J jnl
Workflow Refactoring for Maximizing Concurrency and Block-Structuredness.
IEEE Trans. Serv. Comput.
Wei Song, Hans-Arno Jacobsen, Shing-Chi Cheung, Hongyu Liu, Xiaoxing Ma
2021 J jnl
ÐArcher: Detecting On-Chain-Off-Chain Synchronization Bugs in Decentralized Applications.
CoRR
Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, Shing-Chi Cheung
2021 — conf
ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications.
ESEC/SIGSOFT FSE
Wuqi Zhang, Lili Wei, Shuqing Li, Yepang Liu, Shing-Chi Cheung
2020 — conf
Boosting automated program repair with bug-inducing commits.
ICSE (NIER)
Ming Wen, Yepang Liu, Shing-Chi Cheung
2020 J jnl
ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection.
IEEE Trans. Serv. Comput.
Xinming Wang, Jiahao He, Zhijian Xie, Gansen Zhao, Shing-Chi Cheung
2020 — conf
Detecting numerical bugs in neural network architectures.
ESEC/SIGSOFT FSE
Yuhao Zhang, Luyao Ren, Liqian Chen, Yingfei Xiong, Shing-Chi Cheung, Tao Xie
2020 — conf
EvalDNN: a toolbox for evaluating deep neural network models.
ICSE (Companion Volume)
Yongqiang Tian, Zhihua Zeng, Ming Wen, Yepang Liu, Tzu-yang Kuo, Shing-Chi Cheung
2020 A* conf
FlashRegex: Deducing Anti-ReDoS Regexes from Examples.
ASE
Yeting Li, Zhiwu Xu, Jialun Cao, Haiming Chen, Tingjian Ge, Shing-Chi Cheung, Haoren Zhao
2020 J jnl
How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes.
IEEE Trans. Software Eng.
Ming Wen, Rongxin Wu, Shing-Chi Cheung
2020 J jnl
Metamorphic Testing: A New Approach for Generating Next Test Cases.
CoRR
Tsong Yueh Chen, Shing-Chi Cheung, Siu-Ming Yiu
2020 A* conf
MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests.
ASE
Hengcheng Zhu, Lili Wei, Ming Wen, Yepang Liu, Shing-Chi Cheung, Qin Sheng, Cui Zhou
2020 J jnl
SemMT: A Semantic-based Testing Approach for Machine Translation Systems.
CoRR
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung
2020 J jnl
TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair.
CoRR
Yeting Li, Shuaimin Li, Zhiwu Xu, Jialun Cao, Zixuan Chen, Yun Hu, Haiming Chen, Shing-Chi Cheung
2020 J jnl
Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps.
IEEE Trans. Software Eng.
Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang, Xuan Lu, Xuanzhe Liu
2020 A* conf
Watchman: monitoring dependency conflicts for Python library ecosystem.
ICSE
Ying Wang, Ming Wen, Yepang Liu, Yibo Wang, ZhenMing Li, Chao Wang, Hai Yu, Shing-Chi Cheung, Chang Xu, Zhiliang Zhu
2020 J jnl
Will Dependency Conflicts Affect My Program's Semantics?
CoRR
Ying Wang, Rongxin Wu, Chao Wang, Ming Wen, Yepang Liu, Shing-Chi Cheung, Hai Yu, Chang Xu, Zhiliang Zhu
2019 J jnl
Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs.
IEEE Internet Things J.
Yuxia Sun, Song Guo, Shing-Chi Cheung, Yong Tang
2019 J jnl
ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection.
CoRR
Xinming Wang, Jiahao He, Zhijian Xie, Gansen Zhao, Shing-Chi Cheung
2019 A* conf
Could I have a stack trace to examine the dependency conflict issue?
ICSE
Ying Wang, Ming Wen, Rongxin Wu, Zhenwei Liu, Shin Hwei Tan, Zhiliang Zhu, Hai Yu, Shing-Chi Cheung
2019 J jnl
Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs.
IEEE Internet Things J.
Yuxia Sun, Shing-Chi Cheung, Song Guo, Ming Cheng
2019 J jnl
DroidLeaks: a comprehensive database of resource leaks in Android apps.
Empir. Softw. Eng.
Yepang Liu, Jue Wang, Lili Wei, Chang Xu, Shing-Chi Cheung, Tianyong Wu, Jun Yan, Jian Zhang
2019 — conf
Exploring and exploiting the correlations between bug-inducing and bug-fixing commits.
ESEC/SIGSOFT FSE
Ming Wen, Rongxin Wu, Yepang Liu, Yongqiang Tian, Xuan Xie, Shing-Chi Cheung, Zhendong Su
2019 A* conf
Exposing library API misuses via mutation analysis.
ICSE
Ming Wen, Yepang Liu, Rongxin Wu, Xuan Xie, Shing-Chi Cheung, Zhendong Su
2019 J jnl
File-level socio-technical congruence and its relationship with bug proneness in OSS projects.
J. Syst. Softw.
Weiqiang Zhang, Shing-Chi Cheung, Zhenyu Chen, Yuming Zhou, Bin Luo
2019 A* conf
Pivot: learning API-device correlations to facilitate Android compatibility issue detection.
ICSE
Lili Wei, Yepang Liu, Shing-Chi Cheung
2019 A* conf
SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection.
ASE
Da Li, Huiyan Wang, Chang Xu, Ruiqing Zhang, Shing-Chi Cheung, Xiaoxing Ma
2019 J jnl
Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations.
CoRR
Yongqiang Tian, Shiqing Ma, Ming Wen, Yepang Liu, Shing-Chi Cheung, Xiangyu Zhang
2018 A* conf
A tale of two cities: how WebView induces bugs to Android applications.
ASE
Jiajun Hu, Lili Wei, Yepang Liu, Shing-Chi Cheung, Huaxun Huang
2018 A conf
An empirical study on TensorFlow program bugs.
ISSTA
Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang
2018 J jnl
Analyzing and Disentangling Interleaved Interrupt-driven IoT Programs.
CoRR
Yuxia Sun, Song Guo, Shing-Chi Cheung, Yong Tang
2018 A* conf
ChangeLocator: locate crash-inducing changes based on crash reports.
ICSE
Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang
2018 J jnl
ChangeLocator: locate crash-inducing changes based on crash reports.
Empir. Softw. Eng.
Rongxin Wu, Ming Wen, Shing-Chi Cheung, Hongyu Zhang
2018 A* conf
Context-aware patch generation for better automated program repair.
ICSE
Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung
2018 — conf
Do the dependency conflicts in my project matter?
ESEC/SIGSOFT FSE
Ying Wang, Ming Wen, Zhenwei Liu, Rongxin Wu, Rui Wang, Bo Yang, Hai Yu, Zhiliang Zhu, Shing-Chi Cheung
2018 — conf
Synthesizing relation-aware entity transformation by examples.
ICSE (Companion Volume)
Jiarong Wu, Yanyan Jiang, Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Jian Lu
2018 A* conf
Understanding and detecting callback compatibility issues for Android applications.
ASE
Huaxun Huang, Lili Wei, Yepang Liu, Shing-Chi Cheung
2018 — conf
Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF.
ESEC/SIGSOFT FSE
Mijung Kim, Shing-Chi Cheung, Sunghun Kim
2017 J jnl
An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair.
CoRR
Ming Wen, Junjie Chen, Rongxin Wu, Dan Hao, Shing-Chi Cheung
2017 J jnl
CACheck: Detecting and Repairing Cell Arrays in Spreadsheets.
IEEE Trans. Software Eng.
Wensheng Dou, Chang Xu, Shing-Chi Cheung, Jun Wei
2017 J jnl
How effectively can spreadsheet anomalies be detected: An empirical study.
J. Syst. Softw.
Ruiqing Zhang, Chang Xu, Shing-Chi Cheung, Ping Yu, Xiaoxing Ma, Jian Lu
2017 — conf
OASIS: prioritizing static analysis warnings for Android apps based on app user reviews.
ESEC/SIGSOFT FSE
Lili Wei, Yepang Liu, Shing-Chi Cheung
2016 A conf
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites.
ISSTA
Valerio Terragni, Yepang Liu, Shing-Chi Cheung
2016 A* conf
CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features.
ICSE
Shing-Chi Cheung, Wanjun Chen, Yepang Liu, Chang Xu
2016 A* conf
Casper: an efficient approach to call trace collection.
POPL
Rongxin Wu, Xiao Xiao, Shing-Chi Cheung, Hongyu Zhang, Charles Zhang
2016 A* conf
Coverage-driven test code generation for concurrent classes.
ICSE
Valerio Terragni, Shing-Chi Cheung
2016 — conf
Detecting table clones and smells in spreadsheets.
SIGSOFT FSE
Wensheng Dou, Shing-Chi Cheung, Chushu Gao, Chang Xu, Liang Xu, Jun Wei
2016 J jnl
DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications.
CoRR
Yepang Liu, Lili Wei, Chang Xu, Shing-Chi Cheung
2016 J jnl
Hybrid CPU-GPU constraint checking: Towards efficient context consistency.
Inf. Softw. Technol.
Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu
2016 A* conf
Locus: locating bugs from software changes.
ASE
Ming Wen, Rongxin Wu, Shing-Chi Cheung
2016 A* conf
Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps.
ASE
Lili Wei, Yepang Liu, Shing-Chi Cheung
2016 — conf
Understanding and detecting wake lock misuses for Android applications.
SIGSOFT FSE
Yepang Liu, Chang Xu, Shing-Chi Cheung, Valerio Terragni
2016 — conf
VEnron: a versioned spreadsheet corpus and related evolution analysis.
ICSE (Companion Volume)
Wensheng Dou, Liang Xu, Shing-Chi Cheung, Chushu Gao, Jun Wei, Tao Huang
2015 J jnl
A survey on dependability improvement techniques for pervasive computing systems.
Sci. China Inf. Sci.
Wenhua Yang, Yepang Liu, Chang Xu, Shing-Chi Cheung
2015 J jnl
ACM SIGSOFT FSE 2014 Conference Summary.
ACM SIGSOFT Softw. Eng. Notes
Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey
2015 J jnl
Cina: Suppressing the Detection of Unstable Context Inconsistency.
IEEE Trans. Software Eng.
Chang Xu, Wang Xi, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2015 J jnl
Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications.
IEEE Softw.
Yepang Liu, Chang Xu, Shing-Chi Cheung
2015 — conf
RECONTEST: Effective Regression Testing of Concurrent Programs.
ICSE (1)
Valerio Terragni, Shing-Chi Cheung, Charles Zhang
2014 J jnl
CHECKERDROID : Automated Quality Assurance for Smartphone Applications.
Int. J. Softw. Informatics
Yepang Liu, Chang Xu, Shing-Chi Cheung, Wenhua Yang
2014 A* conf
Characterizing and detecting performance bugs for smartphone applications.
ICSE
Yepang Liu, Chang Xu, Shing-Chi Cheung
2014 A conf
CrashLocator: locating crashing faults based on crash stacks.
ISSTA
Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim
2014 J jnl
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications.
IEEE Trans. Software Eng.
Yepang Liu, Chang Xu, Shing-Chi Cheung, Jian Lu
2014 A* conf
Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation.
ICSE
Wensheng Dou, Shing-Chi Cheung, Jun Wei
2014 — ed.
Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014
SIGSOFT FSE
Shing-Chi Cheung, Alessandro Orso, Margaret-Anne D. Storey
2014 J jnl
Scaling Up Symbolic Analysis by Removing Z-Equivalent States.
ACM Trans. Softw. Eng. Methodol.
Yueqi Li, Shing-Chi Cheung, Xiangyu Zhang, Yepang Liu
2014 A* conf
Symbolic state validation through runtime data.
ASE
Yueqi Li, Shing-Chi Cheung
2013 — conf
A cost-effectiveness criterion for applying software defect prediction models.
ESEC/SIGSOFT FSE
Hongyu Zhang, Shing-Chi Cheung
2013 J jnl
AFChecker: Effective model checking for context-aware adaptive applications.
J. Syst. Softw.
Yepang Liu, Chang Xu, Shing-Chi Cheung
2013 J jnl
Detecting Faults in Context-Aware Adaptation.
Int. J. Softw. Informatics
Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lv
2013 J jnl
Towards context consistency by concurrent checking for Internetware applications.
Sci. China Inf. Sci.
Chang Xu, Yepang Liu, Shing-Chi Cheung, Chun Cao, Jian Lv
2013 A* conf
Where has my battery gone? Finding sensor related energy black holes in smartphone applications.
PerCom
Yepang Liu, Chang Xu, Shing-Chi Cheung
2012 J jnl
Adam: Identifying defects in context-aware adaptation.
J. Syst. Softw.
Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012 — conf
Dynamic fault detection in context-aware adaptation.
Internetware
Chang Xu, Shing-Chi Cheung, Xiaoxing Ma, Chun Cao, Jian Lu
2012 J jnl
Human and program factors affecting the maintenance of programs with deployed design patterns.
Inf. Softw. Technol.
T. H. Ng, Yuen-Tak Yu, Shing-Chi Cheung, W. K. Chan
2012 J jnl
Mixed-reality simulation of RFID systems using iterated learning.
Int. J. RF Technol. Res. Appl.
Hong Cheng, Yu Liu, Shing-Chi Cheung, Junfang Zeng, Jie Tan, Yiping Yang
2011 — conf
ReLink: recovering links between bugs and changes.
SIGSOFT FSE
Rongxin Wu, Hongyu Zhang, Sunghun Kim, Shing-Chi Cheung
2011 J jnl
Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems.
IEEE J. Sel. Areas Commun.
Xunteng Xu, Lin Gu, Jianping Wang, Guoliang Xing, Shing-Chi Cheung
2011 A conf
Refactoring and Publishing WS-BPEL Processes to Obtain More Partners.
ICWS
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Qiliang Yang, Jian Lü
2011 J jnl
Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views.
J. Database Manag.
Dickson K. W. Chiu, Qing Li, Patrick C. K. Hung, Zhe Shan, Shing-Chi Cheung, Yu Yang, Matthias Farwick
2011 — conf
Understanding a developer social network and its evolution.
ICSM
Qiaona Hong, Sunghun Kim, Shing-Chi Cheung, Christian Bird
2011 — ed.
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
WISE Workshops
Dickson K. W. Chiu, Ladjel Bellatreche, Hideyasu Sasaki, Ho-fung Leung, Shing-Chi Cheung, Haiyang Hu, Jie Shao
2011 J jnl
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts.
IEEE Trans. Software Eng.
Dongsun Kim, Xinming Wang, Sunghun Kim, Andreas Zeller, Shing-Chi Cheung, Sooyong Park
2010 J jnl
Data-driven testing methodology for RFID systems.
Frontiers Comput. Sci. China
An Lu, Wenbin Fang, Chang Xu, Shing-Chi Cheung, Yu Liu
2010 — conf
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.
ICSE (1)
Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan
2010 J jnl
Engineering e-Collaboration Services with a Multi-Agent System Approach.
Int. J. Syst. Serv. Oriented Eng.
Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung, Patrick C. K. Hung, Eleanna Kafeza, Hua Hu, Minhong Wang, Haiyang Hu, Yi Zhuang
2010 J jnl
Enhancing E-Service Collaboration with Enforcement and Relationship Management: A Methodology from Requirements to Event Driven Realization.
Int. J. Organ. Collect. Intell.
Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till, Lalita Narupiyakul, Patrick C. K. Hung
2010 — conf
Factors for Effective Use of Deployed Design Patterns.
QSIC
T. H. Ng, Yuen-Tak Yu, Shing-Chi Cheung
2010 C conf
LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph.
EUC
Yiyang Zhao, Shing-Chi Cheung, Lionel M. Ni
2010 J jnl
Partial constraint checking for context consistency in pervasive computing.
ACM Trans. Softw. Eng. Methodol.
Chang Xu, Shing-Chi Cheung, W. K. Chan, Chunyang Ye
2010 — conf
Preserving Data Flow Correctness in Process Adaptation.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Hao Hu, Jian Lu
2010 J jnl
Sequential Event Pattern Based Design of Context-Aware Adaptive Application.
Int. J. Softw. Informatics
Chushu Gao, Jun Wei, Chang Xu, Shing-Chi Cheung
2010 — conf
Sequential event pattern based context-aware adaptation.
Internetware
Chushu Gao, Jun Wei, Chang Xu, Shing-Chi Cheung
2010 — conf
The Impact of Reader to Tag Collision on RFID Tag Identification.
WASA
Yiyang Zhao, Weijun Hong, Shing-Chi Cheung, Shufang Li
2009 — conf
A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions.
IEEE SCC
Wei Song, Xiaoxing Ma, Shing-Chi Cheung, Wanchun Dou, Jian Lu
2009 — conf
A study on the replaceability of context-aware middleware.
Internetware
Chunyang Ye, Shing-Chi Cheung, Jun Wei, Hua Zhong, Tao Huang
2009 J jnl
Alerts in Healthcare Applications: Process and Data Integration.
Int. J. Heal. Inf. Syst. Informatics
Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Marina Kafeza, Shing-Chi Cheung, Eleanna Kafeza, Patrick C. K. Hung
2009 J jnl
Atomicity Analysis of Service Composition across Organizations.
IEEE Trans. Software Eng.
Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan, Chang Xu
2009 — conf
Constructing and testing privacy-aware services in a cloud computing environment: challenges and opportunities.
Internetware
Lin Gu, Shing-Chi Cheung
2009 J jnl
Guest Editorial to the Special Issue on Automation of Software Testing.
Comput. J.
Hong Zhu, Shing-Chi Cheung, Joseph Robert Horgan, J. Jenny Li
2009 J jnl
Interactive Visual Optimization and Analysis for RFID Benchmarking.
IEEE Trans. Vis. Comput. Graph.
Yingcai Wu, Ka-Kei Chung, Huamin Qu, Xiaoru Yuan, Shing-Chi Cheung
2009 J jnl
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.
J. Syst. Softw.
Wing Kwong Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse
2009 J jnl
Preface for the ICEBE 2007 special section.
Serv. Oriented Comput. Appl.
Shing-Chi Cheung, Hui Lei, Michael R. Lyu
2009 J jnl
Semantic Sensor Net: an extensible framework.
Int. J. Ad Hoc Ubiquitous Comput.
Lionel M. Ni, Yanmin Zhu, Jian Ma, Qiong Luo, Yunhao Liu, Shing-Chi Cheung, Qiang Yang, Minglu Li, Min-You Wu
2009 A* conf
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.
ICSE
Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang
2008 J jnl
A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments.
Int. J. High Perform. Comput. Appl.
Wanchun Dou, Jinjun Chen, Jianxun Liu, Shing-Chi Cheung, Guihai Chen, Shaokun Fan
2008 J jnl
A context- and role-driven scientific workflow development pattern.
Concurr. Comput. Pract. Exp.
Wan-Chun Dou, Jinjun Chen, Shaokun Fan, Shing-Chi Cheung
2008 A conf
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.
ICDCS
Chang Xu, Shing-Chi Cheung, Wing Kwong Chan, Chunyang Ye
2008 — conf
Inter-context control-flow and data-flow test adequacy criteria for nesC applications.
SIGSOFT FSE
Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan
2008 J jnl
The Use of Digital Watermarking for Intelligence Multimedia Document Distribution.
J. Theor. Appl. Electron. Commer. Res.
Shing-Chi Cheung, Dickson K. W. Chiu, Cedric Ho
2007 — conf
Detection and resolution of atomicity violation in service composition.
ESEC/SIGSOFT FSE
Chunyang Ye, Shing-Chi Cheung, W. K. Chan, Chang Xu
2007 A conf
Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools.
ICWS
Frank K. W. Cheong, Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung
2007 A* conf
Do Maintainers Utilize Deployed Design Patterns Effectively?.
ICSE
T. H. Ng, Shing-Chi Cheung, W. K. Chan, Yuen-Tak Yu
2007 A conf
Goal-Directed Context Validation for Adaptive Ubiquitous Systems.
SEAMS
Chang Xu, Shing-Chi Cheung, Wing Kwong Chan
2007 J jnl
Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure.
Int. J. Knowl. Learn.
Wan-Chun Dou, Xiping Liu, Guihai Chen, Shing-Chi Cheung, Shijie Cai
2007 J jnl
On design, verification, and dynamic modification of the problem-based scientific workflow model.
Simul. Model. Pract. Theory
Xiping Liu, Wanchun Dou, Jinjun Chen, Shaokun Fan, Shing-Chi Cheung, Shijie Cai
2007 — conf
On impact-oriented automatic resolution of pervasive context inconsistency.
ESEC/SIGSOFT FSE
Chang Xu, Shing-Chi Cheung, W. K. Chan, Chunyang Ye
2007 — ed.
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
ICEBE
Shing-Chi Cheung, Yinsheng Li, Kuo-Ming Chao, Muhammad Younas, Jen-Yao Chung
2007 A conf
Process Evolution with Atomicity Consistency.
SEAMS
Chunyang Ye, Shing-Chi Cheung, Wing Kwong Chan
2007 B conf
Teaching embedded systems software: The HKUST experience.
ICPADS
Jogesh K. Muppala, Zonghua Gu, Shing-Chi Cheung
2007 — conf
Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture.
HICSS
Dickson K. W. Chiu, Dan Hong, Shing-Chi Cheung, Eleanna Kafeza
2007 Misc conf
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
Ada-Europe
W. K. Chan, Tsong Yueh Chen, Shing-Chi Cheung, T. H. Tse, Zhenyu Zhang
2007 J jnl
Ubiquitous enterprise service adaptations based on contextual user behavior.
Inf. Syst. Frontiers
Dan Hong, Dickson K. W. Chiu, Vincent Y. Shen, Shing-Chi Cheung, Eleanna Kafeza
2006 B conf
Adapting Ubiquitous Enterprise Services with Context and Views.
EDOC
Dickson K. W. Chiu, Dan Hong, Shing-Chi Cheung, Eleanna Kafeza
2006 — conf
An Entity-Relationship Model based Conceptual Framework for Model Driven Development.
IASTED Conf. on Software Engineering
Yucong Duan, Xiaolan Fu, Shing-Chi Cheung, Yuqing Gu
2006 J jnl
Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.
J. Syst. Softw.
W. K. Chan, M. Y. Cheng, Shing-Chi Cheung, T. H. Tse
2006 — conf
Cooperative Cognition and Its Implementation under Web Environment.
SKG
Wan-Chun Dou, Guihai Chen, Shing-Chi Cheung, Shijie Cai
2006 — conf
Distinguishing between Automatic and Manual Aspects of Model Driven Development.
ECBS
Yucong Duan, Yuqing Gu, Xiaolan Fu, Shing-Chi Cheung, Jing Wang, Qingwu Hu
2006 — conf
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.
QSIC
Zhifeng Lai, Shing-Chi Cheung, Yunfei Jiang
2006 — conf
Flows and views for scalable scientific process integration.
Infoscale
Qing Li, Zhe Shan, Patrick C. K. Hung, Dickson K. W. Chiu, Shing-Chi Cheung
2006 A* conf
Incremental consistency checking for pervasive context.
ICSE
Chang Xu, Shing-Chi Cheung, W. K. Chan
2006 — conf
Local analysis of atomicity sphere for B2B collaboration.
SIGSOFT FSE
Chunyang Ye, Shing-Chi Cheung, W. K. Chan, Chang Xu
2006 J jnl
Performance Aware Service Pool in Dependable Service Oriented Architecture.
J. Comput. Sci. Technol.
Gang Huang, Li Zhou, Xuanzhe Liu, Hong Mei, Shing-Chi Cheung
2006 — ed.
Proceedings of the 2006 International Workshop on Automation of Software Test, AST 2006, Shanghai, China, May 23, 2006.
AST@ICSE
Hong Zhu, Joseph R. Horgan, Shing-Chi Cheung, J. Jenny Li
2006 A* conf
Publishing and composition of atomicity-equivalent services for B2B collaboration.
ICSE
Chunyang Ye, Shing-Chi Cheung, W. K. Chan
2006 — conf
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.
COMPSAC (1)
W. K. Chan, Shing-Chi Cheung, Jeffrey C. F. Ho, T. H. Tse
2006 A* conf
The first international workshop on automation of software test.
ICSE
Hong Zhu, Joseph Robert Horgan, Shing-Chi Cheung, J. Jenny Li
2006 — conf
Toward effective deployment of design patterns for software extension: a case study.
WoSQ@ICSE
Tsz Hin Ng, Shing-Chi Cheung, Wing Kwong Chan, Yuen-Tak Yu
2006 — conf
Work experience versus refactoring to design patterns: a controlled experiment.
SIGSOFT FSE
T. H. Ng, Shing-Chi Cheung, W. K. Chan, Yuen-Tak Yu
2005 — conf
A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications.
GCC
Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Jie Wang, Shijie Cai
2005 C conf
A Metamodel Based Model Transformation Approach.
SERA
Yucong Duan, Shing-Chi Cheung, Xiaolan Fu, Yuqing Gu
2005 — conf
A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise.
HICSS
Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung
2005 J jnl
BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale.
J. Comput. Sci. Technol.
Wen Gao, Lionel M. Ni, Zhiwei Xu, Shing-Chi Cheung, Li Cui, Qiong Luo
2005 — conf
Certificate-Driven Grid Workflow Paradigm Based on Service Computing.
GCC
Wan-Chun Dou, Shing-Chi Cheung, Guihai Chen, Shijie Cai
2005 J jnl
Developing e-Negotiation support with a meta-modeling approach in a Web services environment.
Decis. Support Syst.
Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Sherina Y. Y. Chiu, Andriy K. K. Chung
2005 J jnl
Enhancing class commutability in the deployment of design patterns.
Inf. Softw. Technol.
T. H. Ng, Shing-Chi Cheung
2005 — conf
Facilitating e-Negotiation Processes with Semantic Web Technologies.
HICSS
Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung
2005 — conf
Fault-Based Testing of Database Application Programs with Conceptual Data Model.
QSIC
W. K. Chan, Shing-Chi Cheung, T. H. Tse
2005 — conf
Inconsistency detection and resolution for context-aware middleware support.
ESEC/SIGSOFT FSE
Chang Xu, Shing-Chi Cheung
2005 J jnl
Integrating Legacy Sites into Web Services with WebXcript.
Int. J. Cooperative Inf. Syst.
Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung
2005 — conf
Semantic Sensor Net: An Extensible Framework.
ICCNMC
Lionel M. Ni, Yanmin Zhu, Jian Ma, Minglu Li, Qiong Luo, Yunhao Liu, Shing-Chi Cheung, Qiang Yang
2005 — conf
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.
QSIC
W. K. Chan, Shing-Chi Cheung, Karl R. P. H. Leung
2005 J jnl
Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents.
Int. J. High Perform. Comput. Netw.
Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang
2004 — conf
A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents.
HICSS
Shing-Chi Cheung, Ho-fung Leung, Changjie Wang
2004 — conf
Alert-Driven E-Service Management.
HICSS
Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza
2004 — conf
Alerts for Healthcare Process and Data Integration.
HICSS
Dickson K. W. Chiu, Benny W. C. Kwok, Ray L. S. Wong, Shing-Chi Cheung, Eleanna Kafeza, Marina Kafeza
2004 J jnl
Alerts in Mobile Healthcare Applications: Requirements and Pilot Study.
IEEE Trans. Inf. Technol. Biomed.
Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung, Marina Kafeza
2004 J jnl
Applying generic timing tests for distributed multimedia software systems.
IEEE Trans. Reliab.
Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu
2004 C conf
Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications.
NPC
Chang Xu, Shing-Chi Cheung, Cindy Lo, Ka-Chung Leung, Jun Wei
2004 — conf
Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support.
HICSS
Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung, Ho-fung Leung
2004 — conf
Grammar Based Interface Processing in Web Service Composition.
ER (Workshops)
Xiaoling Wang, Shing-Chi Cheung
2004 A conf
Semantic Interpretation and Matching of Web Services.
ER
Chang Xu, Shing-Chi Cheung, Xiangye Xiao
2004 — conf
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.
QSIC
M. Y. Cheng, Shing-Chi Cheung, T. H. Tse
2004 — conf
Use of Cryptographic Technologies for Privacy Protection of Watermarks in Internet Retails of Digital Contents.
AINA (1)
Changjie Wang, Ho-fung Leung, Shing-Chi Cheung, Yumin Wang
2004 J jnl
Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment.
Inf. Technol. Manag.
Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till, Kamalakar Karlapalem, Qing Li, Eleanna Kafeza
2003 — conf
A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment.
HICSS
Dickson K. W. Chiu, Shing-Chi Cheung, Sven Till
2003 A conf
A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems.
CAiSE
Dickson K. W. Chiu, Shing-Chi Cheung, Ho-fung Leung
2003 — conf
A Watermarking Infrastructure for Enterprise Document Management.
HICSS
Shing-Chi Cheung, Dickson K. W. Chiu
2003 J jnl
A three-tier view-based methodology for M-services adaptation.
IEEE Trans. Syst. Man Cybern. Part A
Dickson K. W. Chiu, Shing-Chi Cheung, Eleanna Kafeza, Ho-fung Leung
2003 A conf
Alert-Driven Process Integration in a Web Services Environment.
ICWS
Eleanna Kafeza, Dickson K. W. Chiu, Shing-Chi Cheung
2003 — conf
An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry.
HICSS
Dickson K. W. Chiu, Wesley C. W. Chan, Gary K. W. Lam, Shing-Chi Cheung, Franklin T. Luk
2003 — conf
Data-driven Methodology to Extending Workflows to E-services over the Internet.
HICSS
Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till
2003 A conf
Developing e-Negotiation Process Support by Web Services.
ICWS
Dickson K. W. Chiu, Shing-Chi Cheung, Patrick C. K. Hung
2003 J jnl
Digital Rights Management in Web Services.
Electron. Mark.
Sai Ho Kwok, Siu Man Lui, Shing-Chi Cheung, Kar Yan Tam
2003 A conf
Implementing Watermark Token in WS-Security for Digital Content Distribution.
ICWS
Shing-Chi Cheung, Hanif Curreem, Dickson K. W. Chiu, Patrick C. K. Hung
2003 B conf
Integrating Heterogeneous Web Services with WebXcript.
COMPSAC
Dickson K. W. Chiu, Danny Kok, Alex K. C. Lee, Shing-Chi Cheung
2003 J jnl
Integration of digital rights management into the Internet Open Trading Protocol.
Decis. Support Syst.
Sai Ho Kwok, Shing-Chi Cheung, K. C. Wong, K. F. Tsang, Siu Man Lui, Kar Yan Tam
2003 — conf
On the e-Negotiation of Unmatched Logrolling Views.
HICSS
Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu
2003 B conf
Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution.
COMPSAC
Tsz Hin Ng, Shing-Chi Cheung
2002 J jnl
A CSP and Z combined modeling of document exchange processes in e-commerce protocols.
Inf. Softw. Technol.
Xu Wang, Shing-Chi Cheung, Jun Wei
2002 A conf
A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation.
ER
Shing-Chi Cheung, Patrick C. K. Hung, Dickson K. W. Chiu
2002 — conf
A Three-Layer Framework for Cross-Organizational e-Contract Enactment.
WES
Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till
2002 J jnl
Automated test case generation for the stress testing of multimedia systems.
Softw. Pract. Exp.
Jian Zhang, Shing-Chi Cheung
2002 B conf
Rights Protection for Digital Contents Redistribution Over the Internet.
COMPSAC
Shing-Chi Cheung, Hanif Curreem
2002 — conf
Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment.
WES
Dickson K. W. Chiu, Shing-Chi Cheung, Kamalakar Karlapalem, Qing Li, Sven Till
2001 B conf
Automatic Generation of Database Instances for White-box Testing.
COMPSAC
Jian Zhang, Chen Xu, Shing-Chi Cheung
2001 B conf
Exploiting Automatic Analysis of E-Commerce Protocols.
COMPSAC
Jun Wei, Shing-Chi Cheung, Xu Wang
2001 A conf
Modeling and Verifying Strong Cache Consistency for Mobile Data Access .
ISSRE
Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng
2001 — conf
On the Modelling of Document Exchange Processes in E-Commerce Protocols.
APAQS
X. Wang, Shing-Chi Cheung, J. Wei
2001 A conf
Toward Generic Timing Tests for Distributed Multimedia Software Systems.
ISSRE
Shing-Chi Cheung, Samuel T. Chanson, Zhendong Xu
1999 B conf
A CSCW Framework for the Flexible Coupling of Groupware Widgets.
ICECCS
Paul Leung, Shing-Chi Cheung
1999 J jnl
A model-based authorware for the construction of distributed multimedia systems.
Inf. Softw. Technol.
Shing-Chi Cheung, Samuel T. Chanson
1999 J jnl
Behaviour Analysis of Distributed Systems Using the Tracta Approach.
Autom. Softw. Eng.
Dimitra Giannakopoulou, Jeff Kramer, Shing-Chi Cheung
1999 J jnl
Checking Safety Properties Using Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol.
Shing-Chi Cheung, Jeff Kramer
1999 C conf
Stress Testing of Distributed Multimedia Software Systems.
FORTE
Jian Zhang, Shing-Chi Cheung, Samuel T. Chanson
1999 — conf
Testing Database Applications with SQL Semantics.
CODAS
Man-Yee Chan, Shing-Chi Cheung
1998 — conf
A Two-Tier Technique for Authoring Distributed Multimedia Applications.
ICMCS
Shing-Chi Cheung, Kam-Keung Wong, Samuel T. Chanson
1998 — conf
Construction of Distributed Multimedia Applications using Multiple Views.
PDSE
Shing-Chi Cheung, Kam-Keung Wong
1998 — conf
Towards a Framework for Testing Distributed Multimedia Software Systems.
PDSE
Jelena V. Misic, Samuel T. Chanson, Shing-Chi Cheung
1997 C conf
A Framework for Distributed Object-Oriented Testing.
FORTE
Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheung, Holger Fuchs
1997 — conf
Verification of Liveness Properties Using Compositional Reachability Analysis.
ESEC / SIGSOFT FSE
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer
1996 A* conf
Checking Subsystem Safety Properties in Compositional Reachability Analysis.
ICSE
Shing-Chi Cheung, Jeff Kramer
1996 J jnl
Context Constraints for Compositional Reachability Analysis.
ACM Trans. Softw. Eng. Methodol.
Shing-Chi Cheung, Jeff Kramer
1995 — conf
Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints.
SIGSOFT FSE
Shing-Chi Cheung, Jeff Kramer
1995 J jnl
Contextual Local Analysis in the Design of Distributed Systems.
Autom. Softw. Eng.
Shing-Chi Cheung, Jeff Kramer
1994 A* conf
An Integrated Method for Effective Behaviour Analysis of Distributed Systems.
ICSE
Shing-Chi Cheung, Jeff Kramer
1994 J jnl
Tractable Dataflow Analysis for Distributed Systems.
IEEE Trans. Software Eng.
Shing-Chi Cheung, Jeff Kramer
1993 — conf
Enhancing Compositional Reachability Analysis with Context Constraints.
SIGSOFT FSE
Shing-Chi Cheung, Jeff Kramer
1993 — conf
Tractable Flow Analysis for Anomaly Detection in Distributed Programs.
ESEC
Shing-Chi Cheung, Jeff Kramer
1991 J jnl
Parallel Algorithm Design for Workstation Clusters.
Softw. Pract. Exp.
Jeff Magee, Shing-Chi Cheung