Parallel Algorithm Design for Workstation Clusters. - Jeff Magee; Shing-Chi Cheung (Softw. Pract. Exp., 1991)

Tractable Flow Analysis for Anomaly Detection in Distributed Programs. - Shing-Chi Cheung; Jeff Kramer (ESEC, 1993)

Enhancing Compositional Reachability Analysis with Context Constraints. - Shing-Chi Cheung; Jeff Kramer (SIGSOFT FSE, 1993)

An Integrated Method for Effective Behaviour Analysis of Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (ICSE, 1994)

Tractable Dataflow Analysis for Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (IEEE Trans. Software Eng., 1994)

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints. - Shing-Chi Cheung; Jeff Kramer (SIGSOFT FSE, 1995)

Contextual Local Analysis in the Design of Distributed Systems. - Shing-Chi Cheung; Jeff Kramer (Autom. Softw. Eng., 1995)

Checking Subsystem Safety Properties in Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ICSE, 1996)

Context Constraints for Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ACM Trans. Softw. Eng. Methodol., 1996)

Verification of Liveness Properties Using Compositional Reachability Analysis. - Shing-Chi Cheung; Dimitra Giannakopoulou; Jeff Kramer (ESEC / SIGSOFT FSE, 1997)

A Framework for Distributed Object-Oriented Testing. - Alan C. Y. Wong; Samuel T. Chanson; Shing-Chi Cheung; Holger Fuchs (FORTE, 1997)

A Two-Tier Technique for Authoring Distributed Multimedia Applications. - Shing-Chi Cheung; Kam-Keung Wong; Samuel T. Chanson (ICMCS, 1998)

Construction of Distributed Multimedia Applications using Multiple Views. - Shing-Chi Cheung; Kam-Keung Wong (PDSE, 1998)

Towards a Framework for Testing Distributed Multimedia Software Systems. - Jelena V. Misic; Samuel T. Chanson; Shing-Chi Cheung (PDSE, 1998)

Testing Database Applications with SQL Semantics. - Man-yee Chan; Shing-Chi Cheung (CODAS, 1999)

Stress Testing of Distributed Multimedia Software Systems. - Jian Zhang 001; Shing-Chi Cheung; Samuel T. Chanson (FORTE, 1999)

A CSCW Framework for the Flexible Coupling of Groupware Widgets. - Paul Leung; Shing-Chi Cheung (ICECCS, 1999)

Behaviour Analysis of Distributed Systems Using the Tracta Approach. - Dimitra Giannakopoulou; Jeff Kramer; Shing-Chi Cheung (Autom. Softw. Eng., 1999)

A model-based authorware for the construction of distributed multimedia systems. - Shing-Chi Cheung; Samuel T. Chanson (Inf. Softw. Technol., 1999)

Checking Safety Properties Using Compositional Reachability Analysis. - Shing-Chi Cheung; Jeff Kramer (ACM Trans. Softw. Eng. Methodol., 1999)

On the Modelling of Document Exchange Processes in E-Commerce Protocols. - X. Wang; Shing-Chi Cheung; J. Wei (APAQS, 2001)

Exploiting Automatic Analysis of E-Commerce Protocols. - Jun Wei 001; Shing-Chi Cheung; Xu Wang (COMPSAC, 2001)

Automatic Generation of Database Instances for White-box Testing. - Jian Zhang 001; Chen Xu; Shing-Chi Cheung (COMPSAC, 2001)

Toward Generic Timing Tests for Distributed Multimedia Software Systems. - Shing-Chi Cheung; Samuel T. Chanson; Zhendong Xu (ISSRE, 2001)

Modeling and Verifying Strong Cache Consistency for Mobile Data Access . - Jun Wei 001; Shing-Chi Cheung; Huan Zhou; Xu Wang; Jing Li 047; Yulin Feng (ISSRE, 2001)

Rights Protection for Digital Contents Redistribution Over the Internet. - Shing-Chi Cheung; Hanif Curreem (COMPSAC, 2002)

A Meta-model for e-Contract Template Variable Dependencies Facilitating e-Negotiation. - Shing-Chi Cheung; Patrick C. K. Hung; Dickson K. W. Chiu (ER, 2002)

A Three-Layer Framework for Cross-Organizational e-Contract Enactment. - Shing-Chi Cheung; Dickson K. W. Chiu; Sven Till (WES, 2002)

Workflow View Driven Cross-Organizational Interoperability in a Web-Service Environment. - Dickson K. W. Chiu; Shing-Chi Cheung; Kamalakar Karlapalem; Qing Li 001; Sven Till (WES, 2002)

A CSP and Z combined modeling of document exchange processes in e-commerce protocols. - Xu Wang; Shing-Chi Cheung; Jun Wei 001 (Inf. Softw. Technol., 2002)

Automated test case generation for the stress testing of multimedia systems. - Jian Zhang 001; Shing-Chi Cheung (Softw. Pract. Exp., 2002)

A Three-Tier View-Based Methodology for Adapting Human-Agent Collaboration Systems. - Dickson K. W. Chiu; Shing-Chi Cheung; Ho-fung Leung (CAiSE, 2003)

Integrating Heterogeneous Web Services with WebXcript. - Dickson K. W. Chiu; Danny Kok; Alex K. C. Lee; Shing-Chi Cheung (COMPSAC, 2003)

Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution. - Tsz Hin Ng; Shing-Chi Cheung (COMPSAC, 2003)

A Watermarking Infrastructure for Enterprise Document Management. - Shing-Chi Cheung; Dickson K. W. Chiu (HICSS, 2003)

Data-driven Methodology to Extending Workflows to E-services over the Internet. - Shing-Chi Cheung; Dickson K. W. Chiu; Sven Till (HICSS, 2003)

On the e-Negotiation of Unmatched Logrolling Views. - Shing-Chi Cheung; Patrick C. K. Hung; Dickson K. W. Chiu (HICSS, 2003)

An Event Driven Approach to Customer Relationship Management in e-Brokerage Industry. - Dickson K. W. Chiu; Wesley C. W. Chan; Gary K. W. Lam; Shing-Chi Cheung; Franklin T. Luk (HICSS, 2003)

A Three-Layer Architecture for E-Contract Enforcement in an E-Service Environment. - Dickson K. W. Chiu; Shing-Chi Cheung; Sven Till (HICSS, 2003)

Implementing Watermark Token in WS-Security for Digital Content Distribution. - Shing-Chi Cheung; Hanif Curreem; Dickson K. W. Chiu; Patrick C. K. Hung (ICWS, 2003)

Developing e-Negotiation Process Support by Web Services. - Dickson K. W. Chiu; Shing-Chi Cheung; Patrick C. K. Hung (ICWS, 2003)

Alert-Driven Process Integration in a Web Services Environment. - Eleanna Kafeza; Dickson K. W. Chiu; Shing-Chi Cheung (ICWS, 2003)

Integration of digital rights management into the Internet Open Trading Protocol. - Sai Ho Kwok; Shing-Chi Cheung; K. C. Wong 004; K. F. Tsang; Siu Man Lui; Kar Yan Tam (Decis. Support Syst., 2003)

Digital Rights Management in Web Services. - Sai Ho Kwok; Siu Man Lui; Shing-Chi Cheung; Kar Yan Tam (Electron. Mark., 2003)

A three-tier view-based methodology for M-services adaptation. - Dickson K. W. Chiu; Shing-Chi Cheung; Eleanna Kafeza; Ho-fung Leung (IEEE Trans. Syst. Man Cybern. Part A, 2003)

Grammar Based Interface Processing in Web Service Composition. - Xiaoling Wang; Shing-Chi Cheung (ER (Workshops), 2004)

Semantic Interpretation and Matching of Web Services. - Chang Xu 001; Shing-Chi Cheung; Xiangye Xiao (ER, 2004)

A Commutative Encrypted Protocol for the Privacy Protection of Watermarks in Digital Contents. - Shing-Chi Cheung; Ho-fung Leung; Changjie Wang (HICSS, 2004)

Constraint-Based Negotiation in a Multi-Agent Information System with Multiple Platform Support. - Dickson K. W. Chiu; Shing-Chi Cheung; Patrick C. K. Hung; Ho-fung Leung (HICSS, 2004)

Alert-Driven E-Service Management. - Dickson K. W. Chiu; Benny W. C. Kwok; Ray L. S. Wong; Shing-Chi Cheung; Eleanna Kafeza (HICSS, 2004)

Alerts for Healthcare Process and Data Integration. - Dickson K. W. Chiu; Benny W. C. Kwok; Ray L. S. Wong; Shing-Chi Cheung; Eleanna Kafeza; Marina Kafeza (HICSS, 2004)

Cabot: On the Ontology for the Middleware Support of Context-Aware Pervasive Applications. - Chang Xu 001; Shing-Chi Cheung; Cindy Lo; Ka-Chung Leung; Jun Wei 001 (NPC, 2004)

Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems. - M. Y. Cheng; Shing-Chi Cheung; T. H. Tse (QSIC, 2004)

Workflow View Driven Cross-Organizational Interoperability in a Web Service Environment. - Dickson K. W. Chiu; Shing-Chi Cheung; Sven Till; Kamalakar Karlapalem; Qing Li 001; Eleanna Kafeza (Inf. Technol. Manag., 2004)

Alerts in Mobile Healthcare Applications: Requirements and Pilot Study. - Eleanna Kafeza; Dickson K. W. Chiu; Shing-Chi Cheung; Marina Kafeza (IEEE Trans. Inf. Technol. Biomed., 2004)

Applying generic timing tests for distributed multimedia software systems. - Shing-Chi Cheung; Samuel T. Chanson; Zhendong Xu (IEEE Trans. Reliab., 2004)

Certificate-Driven Grid Workflow Paradigm Based on Service Computing. - Wan-Chun Dou; Shing-Chi Cheung; Guihai Chen; Shijie Cai (GCC, 2005)

A Hybrid Workflow Paradigm for Integrating Self-managing Domain-Specific Applications. - Wan-Chun Dou; Shing-Chi Cheung; Guihai Chen; Jie Wang 006; Shijie Cai (GCC, 2005)

Facilitating e-Negotiation Processes with Semantic Web Technologies. - Dickson K. W. Chiu; Shing-Chi Cheung; Patrick C. K. Hung; Ho-fung Leung (HICSS, 2005)

A Multi-Agent Infrastructure for Mobile Workforce Management in a Service Oriented Enterprise. - Dickson K. W. Chiu; Shing-Chi Cheung; Ho-fung Leung (HICSS, 2005)

Semantic Sensor Net: An Extensible Framework. - Lionel M. Ni; Yanmin Zhu 006; Jian Ma; Minglu Li 001; Qiong Luo 001; Yunhao Liu 001; Shing-Chi Cheung; Qiang Yang 001 (ICCNMC, 2005)

Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications. - W. K. Chan 001; Shing-Chi Cheung; Karl R. P. H. Leung (QSIC, 2005)

Fault-Based Testing of Database Application Programs with Conceptual Data Model. - W. K. Chan 001; Shing-Chi Cheung; T. H. Tse (QSIC, 2005)

A Metamodel Based Model Transformation Approach. - Yucong Duan; Shing-Chi Cheung; Xiaolan Fu; Yuqing Gu (SERA, 2005)

Inconsistency detection and resolution for context-aware middleware support. - Chang Xu 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2005)

Developing e-Negotiation support with a meta-modeling approach in a Web services environment. - Dickson K. W. Chiu; Shing-Chi Cheung; Patrick C. K. Hung; Sherina Y. Y. Chiu; Andriy K. K. Chung (Decis. Support Syst., 2005)

Integrating Legacy Sites into Web Services with WebXcript. - Dickson K. W. Chiu; Danny Kok; Alex K. C. Lee; Shing-Chi Cheung (Int. J. Cooperative Inf. Syst., 2005)

Use of cryptographic technologies for privacy protection of watermarks in internet retails of digital contents. - Changjie Wang; Ho-fung Leung; Shing-Chi Cheung; Yumin Wang (Int. J. High Perform. Comput. Netw., 2005)

Enhancing class commutability in the deployment of design patterns. - T. H. Ng; Shing-Chi Cheung (Inf. Softw. Technol., 2005)

BLOSSOMS: Building Lightweight Optimized Sensor Systems on a Massive Scale. - Wen Gao 001; Lionel M. Ni; Zhiwei Xu 002; Shing-Chi Cheung; Li Cui; Qiong Luo 001 (J. Comput. Sci. Technol., 2005)

Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering. - W. K. Chan 001; Shing-Chi Cheung; Jeffrey C. F. Ho; T. H. Tse (COMPSAC (1), 2006)

Distinguishing between Automatic and Manual Aspects of Model Driven Development. - Yucong Duan; Yuqing Gu; Xiaolan Fu; Shing-Chi Cheung; Jing Wang; Qingwu Hu (ECBS, 2006)

Adapting Ubiquitous Enterprise Services with Context and Views. - Dickson K. W. Chiu; Dan Hong; Shing-Chi Cheung; Eleanna Kafeza (EDOC, 2006)

An Entity-Relationship Model based Conceptual Framework for Model Driven Development. - Yucong Duan; Xiaolan Fu; Shing-Chi Cheung; Yuqing Gu (IASTED Conf. on Software Engineering, 2006)

Toward effective deployment of design patterns for software extension: a case study. - Tsz Hin Ng; Shing-Chi Cheung; Wing Kwong Chan; Yuen-Tak Yu (WoSQ@ICSE, 2006)

Incremental consistency checking for pervasive context. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001 (ICSE, 2006)

Publishing and composition of atomicity-equivalent services for B2B collaboration. - Chunyang Ye; Shing-Chi Cheung; W. K. Chan 001 (ICSE, 2006)

The first international workshop on automation of software test. - Hong Zhu 002; Joseph Robert Horgan; Shing-Chi Cheung; J. Jenny Li 001 (ICSE, 2006)

Flows and views for scalable scientific process integration. - Qing Li 001; Zhe Shan 001; Patrick C. K. Hung; Dickson K. W. Chiu; Shing-Chi Cheung (Infoscale, 2006)

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. - Zhifeng Lai; Shing-Chi Cheung; Yunfei Jiang (QSIC, 2006)

Work experience versus refactoring to design patterns: a controlled experiment. - T. H. Ng; Shing-Chi Cheung; W. K. Chan 001; Yuen-Tak Yu (SIGSOFT FSE, 2006)

Local analysis of atomicity sphere for B2B collaboration. - Chunyang Ye; Shing-Chi Cheung; W. K. Chan 001; Chang Xu 001 (SIGSOFT FSE, 2006)

Cooperative Cognition and Its Implementation under Web Environment. - Wan-Chun Dou; Guihai Chen; Shing-Chi Cheung; Shijie Cai (SKG, 2006)

Performance Aware Service Pool in Dependable Service Oriented Architecture. - Gang Huang 001; Li Zhou; Xuanzhe Liu; Hong Mei 001; Shing-Chi Cheung (J. Comput. Sci. Technol., 2006)

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study. - W. K. Chan 001; M. Y. Cheng; Shing-Chi Cheung; T. H. Tse (J. Syst. Softw., 2006)

Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. - W. K. Chan 001; Tsong Yueh Chen; Shing-Chi Cheung; T. H. Tse; Zhenyu Zhang 004 (Ada-Europe, 2007)

Towards Ubiquitous Government Services through Adaptations with Context and Views in a Three-Tier Architecture. - Dickson K. W. Chiu; Dan Hong; Shing-Chi Cheung; Eleanna Kafeza (HICSS, 2007)

Teaching embedded systems software: The HKUST experience. - Jogesh K. Muppala; Zonghua Gu 001; Shing-Chi Cheung (ICPADS, 2007)

Do Maintainers Utilize Deployed Design Patterns Effectively?. - T. H. Ng; Shing-Chi Cheung; W. K. Chan 001; Yuen-Tak Yu (ICSE, 2007)

Goal-Directed Context Validation for Adaptive Ubiquitous Systems. - Chang Xu 001; Shing-Chi Cheung; Wing Kwong Chan (SEAMS, 2007)

Process Evolution with Atomicity Consistency. - Chunyang Ye; Shing-Chi Cheung; Wing Kwong Chan (SEAMS, 2007)

Developing a Distributed e-Monitoring System for Enterprise Website and Web Services: An Experience Report with Free Libraries and Tools. - Frank K. W. Cheong; Dickson K. W. Chiu; Shing-Chi Cheung; Patrick C. K. Hung (ICWS, 2007)

On impact-oriented automatic resolution of pervasive context inconsistency. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001; Chunyang Ye (ESEC/SIGSOFT FSE, 2007)

Detection and resolution of atomicity violation in service composition. - Chunyang Ye; Shing-Chi Cheung; W. K. Chan 001; Chang Xu 001 (ESEC/SIGSOFT FSE, 2007)

Knowledge flow management supporting complex problem solving: learning spectrum and its infrastructure. - Wan-Chun Dou; Xiping Liu; Guihai Chen; Shing-Chi Cheung; Shijie Cai (Int. J. Knowl. Learn., 2007)

Ubiquitous enterprise service adaptations based on contextual user behavior. - Dan Hong; Dickson K. W. Chiu; Vincent Y. Shen; Shing-Chi Cheung; Eleanna Kafeza (Inf. Syst. Frontiers, 2007)

On design, verification, and dynamic modification of the problem-based scientific workflow model. - Xiping Liu; Wanchun Dou; Jinjun Chen; Shaokun Fan; Shing-Chi Cheung; Shijie Cai (Simul. Model. Pract. Theory, 2007)

Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications. - Chang Xu 001; Shing-Chi Cheung; Wing Kwong Chan; Chunyang Ye (ICDCS, 2008)

Inter-context control-flow and data-flow test adequacy criteria for nesC applications. - Zhifeng Lai; Shing-Chi Cheung; Wing Kwong Chan (SIGSOFT FSE, 2008)

A context- and role-driven scientific workflow development pattern. - Wan-Chun Dou; Jinjun Chen; Shaokun Fan; Shing-Chi Cheung (Concurr. Comput. Pract. Exp., 2008)

A Workflow Engine-Driven SOA-Based Cooperative Computing Paradigm in Grid Environments. - Wanchun Dou; Jinjun Chen; Jianxun Liu 001; Shing-Chi Cheung; Guihai Chen; Shaokun Fan (Int. J. High Perform. Comput. Appl., 2008)

The Use of Digital Watermarking for Intelligence Multimedia Document Distribution. - Shing-Chi Cheung; Dickson K. W. Chiu; Cedric Ho (J. Theor. Appl. Electron. Commer. Res., 2008)

A Public-View Approach to Timed Properties Verification for B2B Web Service Compositions. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Wanchun Dou; Jian Lu 001 (IEEE SCC, 2009)

Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization. - Xinming Wang; Shing-Chi Cheung; Wing Kwong Chan; Zhenyu Zhang 004 (ICSE, 2009)

Constructing and testing privacy-aware services in a cloud computing environment: challenges and opportunities. - Lin Gu 001; Shing-Chi Cheung (Internetware, 2009)

A study on the replaceability of context-aware middleware. - Chunyang Ye; Shing-Chi Cheung; Jun Wei 001; Hua Zhong 001; Tao Huang 001 (Internetware, 2009)

Guest Editorial to the Special Issue on Automation of Software Testing. - Hong Zhu 002; Shing-Chi Cheung; Joseph Robert Horgan; J. Jenny Li 001 (Comput. J., 2009)

Semantic Sensor Net: an extensible framework. - Lionel M. Ni; Yanmin Zhu 006; Jian Ma; Qiong Luo 001; Yunhao Liu 001; Shing-Chi Cheung; Qiang Yang 001; Minglu Li 001; Min-You Wu (Int. J. Ad Hoc Ubiquitous Comput., 2009)

Alerts in Healthcare Applications: Process and Data Integration. - Dickson K. W. Chiu; Benny W. C. Kwok; Ray L. S. Wong; Marina Kafeza; Shing-Chi Cheung; Eleanna Kafeza; Patrick C. K. Hung (Int. J. Heal. Inf. Syst. Informatics, 2009)

PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs. - Wing Kwong Chan; Shing-Chi Cheung; Jeffrey C. F. Ho; T. H. Tse (J. Syst. Softw., 2009)

Preface for the ICEBE 2007 special section. - Shing-Chi Cheung; Hui Lei 001; Michael R. Lyu (Serv. Oriented Comput. Appl., 2009)

Atomicity Analysis of Service Composition across Organizations. - Chunyang Ye; Shing-Chi Cheung; Wing Kwong Chan; Chang Xu 001 (IEEE Trans. Software Eng., 2009)

Interactive Visual Optimization and Analysis for RFID Benchmarking. - Yingcai Wu; Ka-Kei Chung; Huamin Qu; Xiaoru Yuan; Shing-Chi Cheung (IEEE Trans. Vis. Comput. Graph., 2009)

Preserving Data Flow Correctness in Process Adaptation. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Jian Lu 001 (IEEE SCC, 2010)

LocaToR: Locating Passive RFID Tags with the Relative Neighborhood Graph. - Yiyang Zhao; Shing-Chi Cheung; Lionel M. Ni (EUC, 2010)

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. - Zhifeng Lai; Shing-Chi Cheung; Wing Kwong Chan (ICSE (1), 2010)

Sequential event pattern based context-aware adaptation. - Chushu Gao; Jun Wei 001; Chang Xu 001; Shing-Chi Cheung (Internetware, 2010)

Factors for Effective Use of Deployed Design Patterns. - T. H. Ng; Yuen-Tak Yu; Shing-Chi Cheung (QSIC, 2010)

The Impact of Reader to Tag Collision on RFID Tag Identification. - Yiyang Zhao; Weijun Hong; Shing-Chi Cheung; Shufang Li (WASA, 2010)

Data-driven testing methodology for RFID systems. - An Lu; Wenbin Fang; Chang Xu 001; Shing-Chi Cheung; Yu Liu 078 (Frontiers Comput. Sci. China, 2010)

Enhancing E-Service Collaboration with Enforcement and Relationship Management: A Methodology from Requirements to Event Driven Realization. - Dickson K. W. Chiu; Shing-Chi Cheung; Sven Till; Lalita Narupiyakul; Patrick C. K. Hung (Int. J. Organ. Collect. Intell., 2010)

Sequential Event Pattern Based Design of Context-Aware Adaptive Application. - Chushu Gao; Jun Wei 001; Chang Xu 001; Shing-Chi Cheung (Int. J. Softw. Informatics, 2010)

Engineering e-Collaboration Services with a Multi-Agent System Approach. - Dickson K. W. Chiu; Shing-Chi Cheung; Ho-fung Leung; Patrick C. K. Hung; Eleanna Kafeza; Hua Hu 001; Minhong Wang 001; Haiyang Hu; Yi Zhuang 001 (Int. J. Syst. Serv. Oriented Eng., 2010)

Partial constraint checking for context consistency in pervasive computing. - Chang Xu 001; Shing-Chi Cheung; W. K. Chan 001; Chunyang Ye (ACM Trans. Softw. Eng. Methodol., 2010)

Understanding a developer social network and its evolution. - Qiaona Hong; Sunghun Kim 001; Shing-Chi Cheung; Christian Bird (ICSM, 2011)

Refactoring and Publishing WS-BPEL Processes to Obtain More Partners. - Wei Song 003; Xiaoxing Ma; Shing-Chi Cheung; Hao Hu 001; Qiliang Yang; Jian Lü 001 (ICWS, 2011)

ReLink: recovering links between bugs and changes. - Rongxin Wu; Hongyu Zhang 002; Sunghun Kim 001; Shing-Chi Cheung (SIGSOFT FSE, 2011)

Service Composition and Interaction in a SOC Middleware Supporting Separation of Concerns with Flows and Views. - Dickson K. W. Chiu; Qing Li 001; Patrick C. K. Hung; Zhe Shan 001; Shing-Chi Cheung; Yu Yang; Matthias Farwick (J. Database Manag., 2011)

Read More with Less: An Adaptive Approach to Energy-Efficient RFID Systems. - Xunteng Xu; Lin Gu 001; Jianping Wang 001; Guoliang Xing; Shing-Chi Cheung (IEEE J. Sel. Areas Commun., 2011)

Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts. - Dongsun Kim 001; Xinming Wang; Sunghun Kim 001; Andreas Zeller; Shing-Chi Cheung; Sooyong Park (IEEE Trans. Software Eng., 2011)

Dynamic fault detection in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (Internetware, 2012)

Mixed-reality simulation of RFID systems using iterated learning. - Hong Cheng; Yu Liu 078; Shing-Chi Cheung; Junfang Zeng; Jie Tan 003; Yiping Yang (Int. J. RF Technol. Res. Appl., 2012)

Human and program factors affecting the maintenance of programs with deployed design patterns. - T. H. Ng; Yuen-Tak Yu; Shing-Chi Cheung; W. K. Chan 001 (Inf. Softw. Technol., 2012)

Adam: Identifying defects in context-aware adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (J. Syst. Softw., 2012)

Where has my battery gone? Finding sensor related energy black holes in smartphone applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (PerCom, 2013)

A cost-effectiveness criterion for applying software defect prediction models. - Hongyu Zhang 002; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2013)

Towards context consistency by concurrent checking for Internetware applications. - Chang Xu 001; Yepang Liu 001; Shing-Chi Cheung; Chun Cao; Jian Lv 001 (Sci. China Inf. Sci., 2013)

Detecting Faults in Context-Aware Adaptation. - Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lv 001 (Int. J. Softw. Informatics, 2013)

AFChecker: Effective model checking for context-aware adaptive applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (J. Syst. Softw., 2013)

Is spreadsheet ambiguity harmful? detecting and repairing spreadsheet smells due to ambiguous computation. - Wensheng Dou; Shing-Chi Cheung; Jun Wei 001 (ICSE, 2014)

Characterizing and detecting performance bugs for smartphone applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (ICSE, 2014)

CrashLocator: locating crashing faults based on crash stacks. - Rongxin Wu; Hongyu Zhang 002; Shing-Chi Cheung; Sunghun Kim 001 (ISSTA, 2014)

Symbolic state validation through runtime data. - Yueqi Li; Shing-Chi Cheung (ASE, 2014)

CHECKERDROID : Automated Quality Assurance for Smartphone Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Wenhua Yang 001 (Int. J. Softw. Informatics, 2014)

Scaling Up Symbolic Analysis by Removing Z-Equivalent States. - Yueqi Li; Shing-Chi Cheung; Xiangyu Zhang 001; Yepang Liu 001 (ACM Trans. Softw. Eng. Methodol., 2014)

GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Jian Lu 001 (IEEE Trans. Software Eng., 2014)

RECONTEST: Effective Regression Testing of Concurrent Programs. - Valerio Terragni; Shing-Chi Cheung; Charles Zhang 001 (ICSE (1), 2015)

A survey on dependability improvement techniques for pervasive computing systems. - Wenhua Yang 001; Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (Sci. China Inf. Sci., 2015)

ACM SIGSOFT FSE 2014 Conference Summary. - Shing-Chi Cheung; Alessandro Orso; Margaret-Anne D. Storey (ACM SIGSOFT Softw. Eng. Notes, 2015)

Diagnosing Energy Efficiency and Performance for Mobile Internetware Applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung (IEEE Softw., 2015)

Cina: Suppressing the Detection of Unstable Context Inconsistency. - Chang Xu 001; Wang Xi; Shing-Chi Cheung; Xiaoxing Ma; Chun Cao; Jian Lu 001 (IEEE Trans. Software Eng., 2015)

CUSTODES: automatic spreadsheet cell clustering and smell detection using strong and weak features. - Shing-Chi Cheung; Wanjun Chen; Yepang Liu 001; Chang Xu 001 (ICSE, 2016)

VEnron: a versioned spreadsheet corpus and related evolution analysis. - Wensheng Dou; Liang Xu; Shing-Chi Cheung; Chushu Gao; Jun Wei 001; Tao Huang 001 (ICSE (Companion Volume), 2016)

Coverage-driven test code generation for concurrent classes. - Valerio Terragni; Shing-Chi Cheung (ICSE, 2016)

CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. - Valerio Terragni; Yepang Liu 001; Shing-Chi Cheung (ISSTA, 2016)

Taming Android fragmentation: characterizing and detecting compatibility issues for Android apps. - Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ASE, 2016)

Locus: locating bugs from software changes. - Ming Wen 001; Rongxin Wu; Shing-Chi Cheung (ASE, 2016)

Casper: an efficient approach to call trace collection. - Rongxin Wu; Xiao Xiao 003; Shing-Chi Cheung; Hongyu Zhang 002; Charles Zhang 001 (POPL, 2016)

Detecting table clones and smells in spreadsheets. - Wensheng Dou; Shing-Chi Cheung; Chushu Gao; Chang Xu 001; Liang Xu; Jun Wei 001 (SIGSOFT FSE, 2016)

Understanding and detecting wake lock misuses for Android applications. - Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Valerio Terragni (SIGSOFT FSE, 2016)

DroidLeaks: Benchmarking Resource Leak Bugs for Android Applications. - Yepang Liu 001; Lili Wei 001; Chang Xu 001; Shing-Chi Cheung (CoRR, 2016)

Hybrid CPU-GPU constraint checking: Towards efficient context consistency. - Jun Sui; Chang Xu 001; Shing-Chi Cheung; Wang Xi; Yanyan Jiang 001; Chun Cao; Xiaoxing Ma; Jian Lu 001 (Inf. Softw. Technol., 2016)

OASIS: prioritizing static analysis warnings for Android apps based on app user reviews. - Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2017)

An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair. - Ming Wen 001; Junjie Chen 003; Rongxin Wu; Dan Hao 001; Shing-Chi Cheung (CoRR, 2017)

How effectively can spreadsheet anomalies be detected: An empirical study. - Ruiqing Zhang; Chang Xu 001; Shing-Chi Cheung; Ping Yu 004; Xiaoxing Ma; Jian Lu 001 (J. Syst. Softw., 2017)

CACheck: Detecting and Repairing Cell Arrays in Spreadsheets. - Wensheng Dou; Chang Xu 001; Shing-Chi Cheung; Jun Wei 001 (IEEE Trans. Software Eng., 2017)

Context-aware patch generation for better automated program repair. - Ming Wen 001; Junjie Chen 003; Rongxin Wu; Dan Hao 001; Shing-Chi Cheung (ICSE, 2018)

Synthesizing relation-aware entity transformation by examples. - Jiarong Wu; Yanyan Jiang 001; Chang Xu 001; Shing-Chi Cheung; Xiaoxing Ma; Jian Lu 001 (ICSE (Companion Volume), 2018)

An empirical study on TensorFlow program bugs. - Yuhao Zhang 005; Yifan Chen; Shing-Chi Cheung; Yingfei Xiong 001; Lu Zhang 023 (ISSTA, 2018)

A tale of two cities: how WebView induces bugs to Android applications. - Jiajun Hu; Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung; Huaxun Huang (ASE, 2018)

Understanding and detecting callback compatibility issues for Android applications. - Huaxun Huang; Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ASE, 2018)

Which generated test failures are fault revealing? prioritizing failures based on inferred precondition violations using PAF. - Mijung Kim; Shing-Chi Cheung; Sunghun Kim 001 (ESEC/SIGSOFT FSE, 2018)

Do the dependency conflicts in my project matter? - Ying Wang 038; Ming Wen 001; Zhenwei Liu 001; Rongxin Wu; Rui Wang; Bo Yang; Hai Yu 001; Zhiliang Zhu 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2018)

ChangeLocator: locate crash-inducing changes based on crash reports. - Rongxin Wu; Ming Wen 001; Shing-Chi Cheung; Hongyu Zhang 002 (Empir. Softw. Eng., 2018)

Could I have a stack trace to examine the dependency conflict issue? - Ying Wang 038; Ming Wen 001; Rongxin Wu; Zhenwei Liu 001; Shin Hwei Tan; Zhiliang Zhu 001; Hai Yu 001; Shing-Chi Cheung (ICSE, 2019)

Pivot: learning API-device correlations to facilitate Android compatibility issue detection. - Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ICSE, 2019)

Exposing library API misuses via mutation analysis. - Ming Wen 001; Yepang Liu 001; Rongxin Wu; Xuan Xie; Shing-Chi Cheung; Zhendong Su 001 (ICSE, 2019)

SGUARD: A Feature-Based Clustering Tool for Effective Spreadsheet Defect Detection. - Da Li; Huiyan Wang 001; Chang Xu 001; Ruiqing Zhang; Shing-Chi Cheung; Xiaoxing Ma (ASE, 2019)

Exploring and exploiting the correlations between bug-inducing and bug-fixing commits. - Ming Wen 001; Rongxin Wu; Yepang Liu 001; Yongqiang Tian 001; Xuan Xie; Shing-Chi Cheung; Zhendong Su 001 (ESEC/SIGSOFT FSE, 2019)

Testing Deep Learning Models for Image Analysis Using Object-Relevant Metamorphic Relations. - Yongqiang Tian 001; Shiqing Ma; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Xiangyu Zhang 001 (CoRR, 2019)

DroidLeaks: a comprehensive database of resource leaks in Android apps. - Yepang Liu 001; Jue Wang; Lili Wei 001; Chang Xu 001; Shing-Chi Cheung; Tianyong Wu; Jun Yan 009; Jian Zhang 001 (Empir. Softw. Eng., 2019)

Disclosing and Locating Concurrency Bugs of Interrupt-Driven IoT Programs. - Yuxia Sun; Shing-Chi Cheung; Song Guo 001; Ming Cheng (IEEE Internet Things J., 2019)

Analyzing and Disentangling Interleaved Interrupt-Driven IoT Programs. - Yuxia Sun; Song Guo 001; Shing-Chi Cheung; Yong Tang 001 (IEEE Internet Things J., 2019)

File-level socio-technical congruence and its relationship with bug proneness in OSS projects. - Weiqiang Zhang; Shing-Chi Cheung; Zhenyu Chen 001; Yuming Zhou; Bin Luo 003 (J. Syst. Softw., 2019)

EvalDNN: a toolbox for evaluating deep neural network models. - Yongqiang Tian 001; Zhihua Zeng; Ming Wen 001; Yepang Liu 001; Tzu-yang Kuo; Shing-Chi Cheung (ICSE (Companion Volume), 2020)

Watchman: monitoring dependency conflicts for Python library ecosystem. - Ying Wang 038; Ming Wen 001; Yepang Liu 001; Yibo Wang 008; Zhenming Li; Chao Wang; Hai Yu 001; Shing-Chi Cheung; Chang Xu 001; Zhiliang Zhu 001 (ICSE, 2020)

Boosting automated program repair with bug-inducing commits. - Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung (ICSE (NIER), 2020)

FlashRegex: Deducing Anti-ReDoS Regexes from Examples. - Yeting Li; Zhiwu Xu 001; Jialun Cao; Haiming Chen 001; Tingjian Ge; Shing-Chi Cheung; Haoren Zhao (ASE, 2020)

MockSniffer: Characterizing and Recommending Mocking Decisions for Unit Tests. - Hengcheng Zhu 001; Lili Wei 001; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Qin Sheng; Cui Zhou (ASE, 2020)

Detecting numerical bugs in neural network architectures. - Yuhao Zhang 005; Luyao Ren; Liqian Chen; Yingfei Xiong 001; Shing-Chi Cheung; Tao Xie 001 (ESEC/SIGSOFT FSE, 2020)

Metamorphic Testing: A New Approach for Generating Next Test Cases. - Tsong Yueh Chen; Shing-Chi Cheung; Siu-Ming Yiu (CoRR, 2020)

SemMT: A Semantic-based Testing Approach for Machine Translation Systems. - Jialun Cao; Meiziniu Li; Yeting Li; Ming Wen 001; Shing-Chi Cheung (CoRR, 2020)

ContractGuard: Defend Ethereum Smart Contracts with Embedded Intrusion Detection. - Xinming Wang; Jiahao He; Zhijian Xie; Gansen Zhao; Shing-Chi Cheung (IEEE Trans. Serv. Comput., 2020)

Understanding and Detecting Fragmentation-Induced Compatibility Issues for Android Apps. - Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung; Huaxun Huang; Xuan Lu; Xuanzhe Liu (IEEE Trans. Software Eng., 2020)

How Well Do Change Sequences Predict Defects? Sequence Learning from Software Changes. - Ming Wen 001; Rongxin Wu; Shing-Chi Cheung (IEEE Trans. Software Eng., 2020)

MockSniffer. - Hengcheng Zhu 001; Lili Wei 001; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Qin Sheng; Cui Zhou (Zenodo, 2020)

TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair. - Yeting Li; Shuaimin Li; Zhiwu Xu 001; Jialun Cao; Zixuan Chen; Yun Hu; Haiming Chen 001; Shing-Chi Cheung (ICSE, 2021)

HERO: On the Chaos When PATH Meets Modules. - Ying Wang 038; Liang Qiao 002; Chang Xu 001; Yepang Liu 001; Shing-Chi Cheung; Na Meng 001; Hai Yu 001; Zhiliang Zhu 001 (ICSE, 2021)

Characterizing and Detecting Configuration Compatibility Issues in Android Apps. - Huaxun Huang; Ming Wen 001; Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ASE, 2021)

Characterizing Transaction-Reverting Statements in Ethereum Smart Contracts. - Lu Liu; Lili Wei 001; Wuqi Zhang; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung (ASE, 2021)

A comprehensive study of deep learning compiler bugs. - Qingchao Shen; Haoyang Ma; Junjie Chen 003; Yongqiang Tian 001; Shing-Chi Cheung; Xiang Chen 005 (ESEC/SIGSOFT FSE, 2021)

ÐArcher: detecting on-chain-off-chain synchronization bugs in decentralized applications. - Wuqi Zhang; Lili Wei 001; Shuqing Li 001; Yepang Liu 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2021)

ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection. - Yeting Li; Zixuan Chen; Jialun Cao; Zhiwu Xu 001; Qiancheng Peng; Haiming Chen 001; Liyuan Chen; Shing-Chi Cheung (USENIX Security Symposium, 2021)

Fast Test Input Generation for Finding Deviated Behaviors in Compressed Deep Neural Network. - Yongqiang Tian 001; Wuqi Zhang; Ming Wen 001; Shing-Chi Cheung; Chengnian Sun; Shiqing Ma; Yu Jiang 001 (CoRR, 2021)

To what extent do DNN-based image classification models make unreliable inferences? - Yongqiang Tian 001; Shiqing Ma; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Xiangyu Zhang 001 (Empir. Softw. Eng., 2021)

Workflow Refactoring for Maximizing Concurrency and Block-Structuredness. - Wei Song 003; Hans-Arno Jacobsen; Shing-Chi Cheung; Hongyu Liu; Xiaoxing Ma (IEEE Trans. Serv. Comput., 2021)

Sifter: A Service Isolation Strategy for Internet Applications. - Chunyang Ye; Shing-Chi Cheung; Wing Kwong Chan (IEEE Trans. Serv. Comput., 2021)

Automatic Detection and Update Suggestion for Outdated API Names in Documentation. - Seonah Lee 001; Rongxin Wu; Shing-Chi Cheung; Sungwon Kang (IEEE Trans. Software Eng., 2021)

Historical Spectrum Based Fault Localization. - Ming Wen 001; Junjie Chen 003; Yongqiang Tian 001; Rongxin Wu; Dan Hao 001; Shi Han; Shing-Chi Cheung (IEEE Trans. Software Eng., 2021)

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs. - Jialun Cao; Meiziniu Li; Xiao Chen; Ming Wen 001; Yongqiang Tian 001; Bo Wu 018; Shing-Chi Cheung (ICSE, 2022)

Nufix: Escape From NuGet Dependency Maze. - Zhenming Li; Ying Wang 038; Zeqi Lin; Shing-Chi Cheung; Jian-Guang Lou (ICSE, 2022)

APER: Evolution-Aware Runtime Permission Misuse Detection for Android Apps. - Sinan Wang; Yibo Wang 006; Xian Zhan; Ying Wang 038; Yepang Liu 001; Xiapu Luo; Shing-Chi Cheung (ICSE, 2022)

Insight: Exploring Cross-Ecosystem Vulnerability Impacts. - Meiqiu Xu; Ying Wang 038; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (ASE, 2022)

RegexScalpel: Regular Expression Denial of Service (ReDoS) Defense by Localize-and-Fix. - Yeting Li; Yecheng Sun; Zhiwu Xu 001; Jialun Cao; Yuekang Li; Rongchen Li; Haiming Chen 001; Shing-Chi Cheung; Yang Liu 003; Yang Xiao 011 (USENIX Security Symposium, 2022)

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (CoRR, 2022)

HirFuzz: Detecting High-Level Optimization Bugs in DL Compilers via Computational Graph Generation. - Haoyang Ma; Qingchao Shen; Yongqiang Tian 001; Junjie Chen 003; Shing-Chi Cheung (CoRR, 2022)

Front-Running Attack Benchmark Construction and Vulnerability Detection Technique Evaluation. - Wuqi Zhang; Lili Wei 001; Shing-Chi Cheung; Yepang Liu 001; Shuqing Li 001; Lu Liu; Michael R. Lyu (CoRR, 2022)

Multi-Constraint Adversarial Networks for Unsupervised Image-to-Image Translation. - Divya Saxena; Tarun Kulshrestha; Jiannong Cao 001; Shing-Chi Cheung (IEEE Trans. Image Process., 2022)

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems. - Jialun Cao; Meiziniu Li; Yeting Li; Ming Wen 001; Shing-Chi Cheung; Haiming Chen 001 (ACM Trans. Softw. Eng. Methodol., 2022)

Will Dependency Conflicts Affect My Program's Semantics? - Ying Wang 038; Rongxin Wu; Chao Wang; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung; Hai Yu 001; Chang Xu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2022)

Revisiting the Evaluation of Deep Learning-Based Compiler Testing. - Yongqiang Tian 001; Zhenyang Xu; Yiwen Dong 002; Chengnian Sun; Shing-Chi Cheung (IJCAI, 2023)

ωTest: WebView-Oriented Testing for Android Applications. - Jiajun Hu; Lili Wei 001; Yepang Liu 001; Shing-Chi Cheung (ISSTA, 2023)

ConfFix: Repairing Configuration Compatibility Issues in Android Apps. - Huaxun Huang; Chi Xu; Ming Wen 001; Yepang Liu 001; Shing-Chi Cheung (ISSTA, 2023)

Fuzzing Deep Learning Compilers with HirGen. - Haoyang Ma; Qingchao Shen; Yongqiang Tian 001; Junjie Chen 003; Shing-Chi Cheung (ISSTA, 2023)

Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (ASE, 2023)

Testing Coreference Resolution Systems without Labeled Test Sets. - Jialun Cao; Yaojie Lu 001; Ming Wen 001; Shing-Chi Cheung (ESEC/SIGSOFT FSE, 2023)

Understanding the Bug Characteristics and Fix Strategies of Federated Learning Systems. - Xiaohu Du; Xiao Chen; Jialun Cao; Ming Wen 001; Shing-Chi Cheung; Hai Jin 001 (ESEC/SIGSOFT FSE, 2023)

Can Machine Learning Pipelines Be Better Configured? - Yibo Wang 008; Ying Wang 038; Tingwei Zhang; Yue Yu 001; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (ESEC/SIGSOFT FSE, 2023)

Finding Failure-Inducing Test Cases with ChatGPT. - Tsz On Li; Wenxi Zong; Yibo Wang 008; Haoye Tian; Ying Wang 038; Shing-Chi Cheung; Jeff Kramer (CoRR, 2023)

Is ChatGPT the Ultimate Programming Assistant - How far is it? - Haoye Tian; Weiqi Lu; Tsz On Li; Xunzhu Tang; Shing-Chi Cheung; Jacques Klein; Tegawendé F. Bissyandé (CoRR, 2023)

Towards Modeling Software Quality of Virtual Reality Applications from Users' Perspectives. - Shuqing Li 001; Lili Wei 001; Yepang Liu 001; Cuiyun Gao 001; Shing-Chi Cheung; Michael R. Lyu (CoRR, 2023)

Plumber: Boosting the Propagation of Vulnerability Fixes in the npm Ecosystem. - Ying Wang 038; Peng Sun; Lin Pei; Yue Yu 001; Chang Xu 001; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2023)

Runtime Permission Issues in Android Apps: Taxonomy, Practices, and Ways Forward. - Ying Wang 038; Yibo Wang 008; Sinan Wang; Yepang Liu 001; Chang Xu 001; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (IEEE Trans. Software Eng., 2023)

Neural-FEBI: Accurate function identification in Ethereum Virtual Machine bytecode. - Jiahao He; Shuangyin Li; Xinming Wang; Shing-Chi Cheung; Gansen Zhao; Jinji Yang (J. Syst. Softw., 2023)

Combatting Front-Running in Smart Contracts: Attack Mining, Benchmark Construction and Vulnerability Detector Evaluation. - Wuqi Zhang; Lili Wei 001; Shing-Chi Cheung; Yepang Liu 001; Shuqing Li 001; Lu Liu; Michael R. Lyu (IEEE Trans. Software Eng., 2023)

COMET: Coverage-guided Model Generation For Deep Learning Library Testing. - Meiziniu Li; Jialun Cao; Yongqiang Tian 001; Tsz On Li; Ming Wen 001; Shing-Chi Cheung (ACM Trans. Softw. Eng. Methodol., 2023)

Finding Deviated Behaviors of the Compressed DNN Models for Image Classifications. - Yongqiang Tian 001; Wuqi Zhang; Ming Wen 001; Shing-Chi Cheung; Chengnian Sun; Shiqing Ma; Yu Jiang 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification. - Cheng Wen 002; Jialun Cao; Jie Su 002; Zhiwu Xu 001; Shengchao Qin; Mengda He; Haokun Li; Shing-Chi Cheung; Cong Tian (CAV (2), 2024)

Towards Understanding the Bugs in Solidity Compiler. - Haoyang Ma; Wuqi Zhang; Qingchao Shen; Yongqiang Tian 001; Junjie Chen 003; Shing-Chi Cheung (ISSTA, 2024)

JavaBench: A Benchmark of Object-Oriented Code Generation for Evaluating Large Language Models. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (ASE, 2024)

MR-Adopt: Automatic Deduction of Input Transformation Function for Metamorphic Testing. - Congying Xu; Songqiang Chen; Jiarong Wu; Shing-Chi Cheung; Valerio Terragni; Hengcheng Zhu 001; Jialun Cao (ASE, 2024)

Nyx: Detecting Exploitable Front-Running Vulnerabilities in Smart Contracts. - Wuqi Zhang; Zhuo Zhang 002; Qingkai Shi; Lu Liu; Lili Wei 001; Yepang Liu 001; Xiangyu Zhang 001; Shing-Chi Cheung (SP, 2024)

Concerned with Data Contamination? Assessing Countermeasures in Code Language Model. - Jialun Cao; Wuqi Zhang; Shing-Chi Cheung (CoRR, 2024)

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis. - Meiziniu Li; Dongze Li; Jianmeng Liu; Jialun Cao; Yongqiang Tian 001; Shing-Chi Cheung (CoRR, 2024)

Can AI Beat Undergraduates in Entry-level Java Assignments? Benchmarking Large Language Models on JavaBench. - Jialun Cao; Zhiyong Chen; Jiarong Wu; Shing-Chi Cheung; Chang Xu 001 (CoRR, 2024)

CRUXEval-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. - Ruiyang Xu; Jialun Cao; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Ben He; Shing-Chi Cheung; Le Sun 001 (CoRR, 2024)

Context-Dependent Interactable Graphical User Interface Element Detection for Spatial Computing Applications. - Shuqing Li 001; Binchang Li; Yepang Liu 001; Cuiyun Gao 001; Jianping Zhang 002; Shing-Chi Cheung; Michael R. Lyu (CoRR, 2024)

CODECLEANER: Elevating Standards with A Robust Data Contamination Mitigation Toolkit. - Jialun Cao; Songqiang Chen; Wuqi Zhang; Hau Ching Lo; Shing-Chi Cheung (CoRR, 2024)

Automatic build repair for test cases using incompatible Java versions. - Ching Hang Mak; Shing-Chi Cheung (Inf. Softw. Technol., 2024)

On the Caching Schemes to Speed Up Program Reduction. - Yongqiang Tian 001; Xueyan Zhang; Yiwen Dong 002; Zhenyang Xu; Mengxiao Zhang; Yu Jiang 001; Shing-Chi Cheung; Chengnian Sun (ACM Trans. Softw. Eng. Methodol., 2024)

Programming by Example Made Easy. - Jiarong Wu; Lili Wei 001; Yanyan Jiang 001; Shing-Chi Cheung; Luyao Ren; Chang Xu 001 (ACM Trans. Softw. Eng. Methodol., 2024)

StubCoder: Automated Generation and Repair of Stub Code for Mock Objects. - Hengcheng Zhu 001; Lili Wei 001; Valerio Terragni; Yepang Liu 001; Shing-Chi Cheung; Jiarong Wu; Qin Sheng; Bing Zhang; Lihong Song (ACM Trans. Softw. Eng. Methodol., 2024)

MR-Scout: Automated Synthesis of Metamorphic Relations from Existing Test Cases. - Congying Xu; Valerio Terragni; Hengcheng Zhu 001; Jiarong Wu; Shing-Chi Cheung (ACM Trans. Softw. Eng. Methodol., 2024)

Shortening Overlong Method Names with Abbreviations. - Yanjie Jiang; Hui Liu 003; Shing-Chi Cheung; Lu Zhang 023 (ACM Trans. Softw. Eng. Methodol., 2024)

Word Closure-Based Metamorphic Testing for Machine Translation. - Xiaoyuan Xie; Shuo Jin; Songqiang Chen; Shing-Chi Cheung (ACM Trans. Softw. Eng. Methodol., 2024)

Managing Software Supply Chains - Theory and Practice - Ying Wang 038; Shing-Chi Cheung; Hai Yu 001; Zhiliang Zhu 001 (Springer, 2025)

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation. - Qiming Zhu; Jialun Cao; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Le Sun 001; Shing-Chi Cheung (AAAI, 2025)

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs. - Jialun Cao; Yaojie Lu 001; Meiziniu Li; Haoyang Ma; Haokun Li; Mengda He; Cheng Wen 002; Le Sun 001; Hongyu Zhang 002; Shengchao Qin; Shing-Chi Cheung; Cong Tian (ACL (1), 2025)

CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution. - Ruiyang Xu; Jialun Cao; Yaojie Lu 001; Ming Wen 001; Hongyu Lin; Xianpei Han; Ben He; Shing-Chi Cheung; Le Sun 001 (ACL (1), 2025)

A Tale of Two DL Cities: When Library Tests Meet Compiler. - Qingchao Shen; Yongqiang Tian 001; Haoyang Ma; Junjie Chen 003; Lili Huang; Ruifeng Fu; Shing-Chi Cheung; Zan Wang (ICSE, 2025)

Differential Testing of Concurrent Classes. - Valerio Terragni; Shing-Chi Cheung (ICST, 2025)

SemBIC: Semantic-Aware Identification of Bug-Inducing Commits. - Xiao Chen; Hengcheng Zhu 001; Jialun Cao; Ming Wen 001; Shing-Chi Cheung (Proc. ACM Softw. Eng., 2025)

An Empirical Study of Bugs in Data Visualization Libraries. - Weiqi Lu; Yongqiang Tian 001; Xiaohan Zhong; Haoyang Ma; Zhenyang Xu; Shing-Chi Cheung; Chengnian Sun (Proc. ACM Softw. Eng., 2025)

Understanding and Characterizing Mock Assertions in Unit Tests. - Hengcheng Zhu 001; Valerio Terragni; Lili Wei 001; Shing-Chi Cheung; Jiarong Wu; Yepang Liu 001 (Proc. ACM Softw. Eng., 2025)

Data of Differential Testing of Concurrent Classes - ICST 2025. - Valerio Terragni; Shing-Chi Cheung (Zenodo, 2025)

How Should I Build A Benchmark? Revisiting Code-Related Benchmarks For LLMs. - Jialun Cao; Yuk-Kit Chan; Zixuan Ling; Wenxuan Wang 001; Shuqing Li 001; Mingwei Liu 002; Ruixi Qiao; Yuting Han; Chaozheng Wang; Boxi Yu; Pinjia He; Shuai Wang 011; et al. (CoRR, 2025)

Isolating Language-Coding from Problem-Solving: Benchmarking LLMs with PseudoEval. - Jiarong Wu; Songqiang Chen; Jialun Cao; Hau Ching Lo; Shing-Chi Cheung (CoRR, 2025)

When LLMs Meet API Documentation: Can Retrieval Augmentation Aid Code Generation Just as It Helps Developers? - Jingyi Chen; Songqiang Chen; Jialun Cao; Jiasi Shen 001; Shing-Chi Cheung (CoRR, 2025)

Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers. - Haoyang Ma; Alastair F. Donaldson; Qingchao Shen; Yongqiang Tian 001; Junjie Chen 003; Shing-Chi Cheung (CoRR, 2025)

ReuseDroid: A VLM-empowered Android UI Test Migrator Boosted by Active Feedback. - Xiaolei Li; Jialun Cao; Yepang Liu 001; Shing-Chi Cheung; Hailong Wang (CoRR, 2025)

IP Leakage Attacks Targeting LLM-Based Multi-Agent Systems. - Liwen Wang; Wenxuan Wang 001; Shuai Wang 011; Zongjie Li; Zhenlan Ji; Zongyi Lyu; Daoyuan Wu; Shing-Chi Cheung (CoRR, 2025)

Infi-MMR: Curriculum-based Unlocking Multimodal Reasoning via Phased Reinforcement Learning in Multimodal Small Language Models. - Zeyu Liu; Yuhang Liu 005; Guanghao Zhu; Congkai Xie; Zhen Li; Jianbo Yuan; Xinyao Wang; Qing Li 001; Shing-Chi Cheung; Shengyu Zhang 001; Fei Wu 001; Hongxia Yang (CoRR, 2025)

A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair. - Jialun Cao; Meiziniu Li; Ming Wen 001; Shing-Chi Cheung (Autom. Softw. Eng., 2025)

Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation. - Qiming Zhu; Jialun Cao; Xuanang Chen; Yaojie Lu 001; Hongyu Lin; Xianpei Han; Le Sun 001; Shing-Chi Cheung (CoRR, 2025)

EmbedAgent: Benchmarking Large Language Models in Embedded System Development. - Ruiyang Xu; Jialun Cao; Mingyuan Wu; Wenliang Zhong; Yaojie Lu 001; Ben He; Xianpei Han; Shing-Chi Cheung; Le Sun 001 (CoRR, 2025)

How far are app secrets from being stolen? a case study on android. - Lili Wei 001; Heqing Huang 002; Shing-Chi Cheung; Kevin Li (Empir. Softw. Eng., 2025)

Question Selection for Multimodal Code Search Synthesis Using Probabilistic Version Spaces. - Jiarong Wu; Yanyan Jiang 001; Lili Wei 001; Congying Xu; Shing-Chi Cheung; Chang Xu 001 (IEEE Trans. Software Eng., 2025)

What Builds Effective In-Context Examples for Code Generation? - Dongze Li; Songqiang Chen; Jialun Cao; Shing-Chi Cheung (CoRR, 2025)

On state reverting in solidity smart contracts: Developer practices, fault categorization, and tool evaluation. - Lu Liu; Lili Wei 001; Wuqi Zhang; Shuqing Li 001; Yifan Zhou; Yepang Liu 001; Shing-Chi Cheung; Michael R. Lyu (Empir. Softw. Eng., 2025)