Towards a new extension relation for compositional test case generation for CSP concurrent processes - Wing Kwong Chan (2003)

Testing Context-Sensitive Middleware-Based Software Applications. - T. H. Tse; Stephen S. Yau; W. K. Chan 001; Heng Lu 001; Tsong Yueh Chen (COMPSAC, 2004)

The System of Vector Quasi-Equilibrium Problems with Applications. - Qamrul Hasan Ansari; W. K. Chan 001; X. Q. Yang (J. Glob. Optim., 2004)

A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications. - W. K. Chan 001; Tsong Yueh Chen; Heng Lu 001 (QSIC, 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)

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)

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)

Static Slicing for Pervasive Programs. - Heng Lu 001; W. K. Chan 001; T. H. Tse (QSIC, 2006)

Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. - Heng Lu 001; W. K. Chan 001; T. H. Tse (SIGSOFT FSE, 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)

An empirical comparison between direct and indirect test result checking approaches. - Peifeng Hu; Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse (SOQUA, 2006)

Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach. - W. K. Chan 001; Tsong Yueh Chen; Heng Lu 001; T. H. Tse; Stephen S. Yau (Int. J. Softw. Eng. Knowl. Eng., 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)

Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs. - W. K. Chan 001; Jeffrey C. F. Ho; T. H. Tse (COMPSAC (1), 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)

Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques. - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse (QSIC, 2007)

Enhancing adaptive random testing in high dimensional input domains. - Fei-Ching Kuo; Tsong Yueh Chen; Huai Liu; W. K. Chan 001 (SAC, 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)

Testing object-oriented industrial software without precise oracles or results. - T. H. Tse; Francis C. M. Lau 001; W. K. Chan 001; Peter C. K. Liu; Colin K. F. Luk (Commun. ACM, 2007)

Vector complementarity problems with a variable ordering relation. - Nan-Jing Huang; X. Q. Yang; W. K. Chan 001 (Eur. J. Oper. Res., 2007)

A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues. - Lijun Mei; Wing Kwong Chan; T. H. Tse (APSCC, 2008)

Debugging through Evaluation Sequences: A Controlled Experimental Study. - Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001; T. H. Tse (COMPSAC, 2008)

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

Testing pervasive software in the presence of context inconsistency resolution services. - Heng Lu 001; W. K. Chan 001; T. H. Tse (ICSE, 2008)

Data flow testing of service-oriented workflow applications. - Lijun Mei; W. K. Chan 001; T. H. Tse (ICSE, 2008)

An Adaptive Service Selection Approach to Service Composition. - Lijun Mei; Wing Kwong Chan; T. H. Tse (ICWS, 2008)

Fault Localization with Non-parametric Program Behavior Model. - Peifeng Hu; Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse (QSIC, 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)

Toward Scalable Statistical Service Selection. - Lijun Mei; W. K. Chan 001; T. H. Tse (SOSE, 2008)

Angular dependence of the emission from low Q-factor organic microcavity light emitting diodes. - C. H. Cheung; Alan Man Ching Ng; Aleksandra B. Djurisic; Z. T. Liu; C. Y. Kwong; P. C. Chui; H. L. Tam; K. W. Cheah; W. K. Chan 001; J. Chan; A. W. Lu; Aleksandar D. Rakic (Displays, 2008)

Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters. - Fei-Ching Kuo; Tsong Yueh Chen; Huai Liu; Wing Kwong Chan (Softw. Qual. J., 2008)

Modeling and testing of cloud applications. - W. K. Chan 001; Lijun Mei; Zhenyu Zhang 004 (APSCC, 2009)

An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services. - Lijun Mei; W. K. Chan 001; T. H. Tse; Fei-Ching Kuo (COMPSAC (1), 2009)

More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective. - Lijun Mei; Zhenyu Zhang 004; W. K. Chan 001 (COMPSAC (1), 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)

Adaptive Random Test Case Prioritization. - Bo Jiang 001; Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse (ASE, 2009)

Weaving Context Sensitivity into Test Suite Construction. - Huai Wang; W. K. Chan 001 (ASE, 2009)

Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing. - Lijun Mei; W. K. Chan 001; T. H. Tse; Robert G. Merkel (QSIC, 2009)

Data flow testing of service choreography. - Lijun Mei; W. K. Chan 001; T. H. Tse (ESEC/SIGSOFT FSE, 2009)

Capturing propagation of infected program states. - Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse; Bo Jiang 001; Xinming Wang (ESEC/SIGSOFT FSE, 2009)

Where to adapt dynamic service compositions. - Bo Jiang 001; W. K. Chan 001; Zhenyu Zhang 004; T. H. Tse (WWW, 2009)

Test case prioritization for regression testing of service-oriented business applications. - Lijun Mei; Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse (WWW, 2009)

Is non-parametric hypothesis testing model robust for statistical fault localization? - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Peifeng Hu; Xinming Wang (Inf. Softw. Technol., 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)

Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications. - Zhenyu Zhang 004; Wing Kwong Chan; T. H. Tse; Heng Lu 001; Lijun Mei (J. Syst. Softw., 2009)

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

Bridging the Gap Between the Theory and Practice of Software Test Automation. - Christof J. Budnik; Wing Kwong Chan; Gregory M. Kapfhammer (ICSE (2), 2010)

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

Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization. - Ke Zhai 002; Bo Jiang 001; W. K. Chan 001; T. H. Tse (ICWS, 2010)

On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization. - Bo Jiang 001; W. K. Chan 001 (QSIC, 2010)

Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines. - Edward Y. Y. Kan; W. K. Chan 001; T. H. Tse (QSIC, 2010)

Point-of-Interest Aware Test Case Prioritization: Methods and Experiments. - Ke Zhai 002; W. K. Chan 001 (QSIC, 2010)

A Community-Centric Model for Service Publication, Discovery, Selection, Binding, and Maintenance. - Lijun Mei; W. K. Chan 001; Zhenyu Zhang 004; Xiaopeng Gao (SOSE, 2010)

Fault localization through evaluation sequences. - Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001; T. H. Tse; Xinming Wang (J. Syst. Softw., 2010)

Software testing research in practice: report on the 5th international workshop on the automation of software test. - Wing Kwong Chan; Christof J. Budnik; Gregory M. Kapfhammer (ACM SIGSOFT Softw. Eng. Notes, 2010)

Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs. - W. K. Chan 001; Jeffrey C. F. Ho; T. H. Tse (Softw. Test. Verification Reliab., 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)

Precise Propagation of Fault-Failure Correlations in Program Flow Graphs. - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Bo Jiang 001 (COMPSAC, 2011)

LOFT: Redundant Synchronization Event Removal for Data Race Detection. - Yan Cai 001; W. K. Chan 001 (ISSRE, 2011)

On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization. - Bo Jiang 001; W. K. Chan 001; T. H. Tse (QSIC, 2011)

A Dynamic Fault Localization Technique with Noise Reduction for Java Programs. - Jian Xu; W. K. Chan 001; Zhenyu Zhang 004; T. H. Tse; Shanping Li (QSIC, 2011)

A web search-centric approach to recommender systems with URLs as minimal user contexts. - W. K. Chan 001; Yuen Yau Chiu; Yuen-Tak Yu (J. Syst. Softw., 2011)

XML-manipulating test case prioritization for XML-manipulating services. - Lijun Mei; W. K. Chan 001; T. H. Tse; Robert G. Merkel (J. Syst. Softw., 2011)

Non-parametric statistical fault localization. - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Yuen-Tak Yu; Peifeng Hu (J. Syst. Softw., 2011)

Assuring the model evolution of protocol software specifications by regression testing process improvement. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li; W. K. Chan 001 (Softw. Pract. Exp., 2011)

Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). - Ji Wang 001; Wing Kwong Chan; Fei-Ching Kuo (Softw. Pract. Exp., 2011)

Guest editors' introduction to the special section on exploring the boundaries of software test automation. - Christof J. Budnik; W. K. Chan 001; Gregory M. Kapfhammer; Hong Zhu 002 (Softw. Qual. J., 2011)

On Accuracy-Performance Tradeoff Frameworks for Energy Saving: Models and Review. - Chunbai Yang; Changjiang Jia; W. K. Chan 001; Yuen-Tak Yu (APSEC Workshops, 2012)

Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments. - Lijun Mei; Ke Zhai 002; Bo Jiang 001; W. K. Chan 001; T. H. Tse (COMPSAC, 2012)

MagicFuzzer: Scalable deadlock detection for large-scale applications. - Yan Cai 001; W. K. Chan 001 (ICSE, 2012)

CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. - Ke Zhai 002; Boni Xu; W. K. Chan 001; T. H. Tse (ISSTA, 2012)

JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices. - Winson Y. S. Li; Shangru Wu; Wing Kwong Chan; T. H. Tse (QSIC, 2012)

Fault Localization Based Only on Failed Runs. - Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse (Computer, 2012)

How well does test case prioritization integrate with statistical fault localization? - Bo Jiang 001; Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Tsong Yueh Chen (Inf. Softw. Technol., 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)

EClass: An execution classification approach to improving the energy-efficiency of software via machine learning. - Edward Y. Y. Kan; W. K. Chan 001; T. H. Tse (J. Syst. Softw., 2012)

Special Issue on Dynamic Analysis and Testing of Embedded Software. - W. Eric Wong; W. K. Chan 001; T. H. Tse; Fei-Ching Kuo (J. Syst. Softw., 2012)

An empirical evaluation of several test-a-few strategies for testing particular conditions. - Eric Ying Kwong Chan; W. K. Chan 001; Pak-Lok Poon; Yuen-Tak Yu (Softw. Pract. Exp., 2012)

Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization. - Bo Jiang 001; W. K. Chan 001 (COMPSAC, 2013)

Which compiler optimization options should I use for detecting data races in multithreaded programs? - Changjiang Jia; Wing Kwong Chan (AST, 2013)

Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (ICWS, 2013)

TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. - Yan Cai 001; Ke Zhai 002; Shangru Wu; Wing Kwong Chan (PPoPP, 2013)

Taming Deadlocks in Multithreaded Programs. - Yan Cai 001; W. K. Chan 001; Yuen-Tak Yu (QSIC, 2013)

Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers. - W. K. Chan 001; T. H. Tse (QSIC, 2013)

A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective. - Changjiang Jia; W. K. Chan 001 (QSIC, 2013)

On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization. - Bo Jiang 001; Ke Zhai 002; W. K. Chan 001; T. H. Tse; Zhenyu Zhang 004 (Inf. Softw. Technol., 2013)

A general noise-reduction framework for fault localization of Java programs. - Jian Xu; Zhenyu Zhang 004; W. K. Chan 001; T. H. Tse; Shanping Li (Inf. Softw. Technol., 2013)

Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (Int. J. Web Serv. Res., 2013)

In quest of the science in statistical fault localization. - W. K. Chan 001; Yan Cai 001 (Softw. Pract. Exp., 2013)

Lock Trace Reduction for Multithreaded Programs. - Yan Cai 001; W. K. Chan 001 (IEEE Trans. Parallel Distributed Syst., 2013)

CrowdAdaptor: A Crowd Sourcing Approach toward Adaptive Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications. - Edward Y. Y. Kan; Wing Kwong Chan; T. H. Tse (COMPSAC, 2014)

Extending the Theoretical Fault Localization Effectiveness Hierarchy with Empirical Results at Different Code Abstraction Levels. - Chung Man Tang; W. K. Chan 001; Yuen-Tak Yu (COMPSAC, 2014)

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. - Yan Cai 001; Shangru Wu; W. K. Chan 001 (ICSE, 2014)

Is XML-Based Test Case Prioritization for Validating WS-BPEL Evolution Effective in Both Average and Adverse Scenarios? - Changjiang Jia; Lijun Mei; Wing Kwong Chan; Yuen-Tak Yu; T. H. Tse (ICWS, 2014)

Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs. - To Tsui; Shangru Wu; Wing Kwong Chan (InnoSWDev@SIGSOFT FSE, 2014)

Improving the Effectiveness of Testing Pervasive Software via Context Diversity. - Huai Wang; W. K. Chan 001; T. H. Tse (ACM Trans. Auton. Adapt. Syst., 2014)

Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study. - Ke Zhai 002; Bo Jiang 001; W. K. Chan 001 (IEEE Trans. Serv. Comput., 2014)

Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. - Yan Cai 001; W. K. Chan 001 (IEEE Trans. Software Eng., 2014)

Message from SETA Symposium Organizing Committee. - Doris L. Carver; Hongji Yang; W. K. Chan 001; Carl K. Chang (COMPSAC, 2015)

Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs. - W. K. Chan 001; T. H. Tse; Shangru Wu; Yuen-Tak Yu; Zhenyu Zhang 004 (COMPSAC (Stephen S. Yau Academic Symposium), 2015)

Architecturing Dynamic Data Race Detection as a Cloud-Based Service. - Changjiang Jia; Chunbai Yang; Wing Kwong Chan (ICWS, 2015)

PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization. - Bo Jiang 001; Wing Kwong Chan; T. H. Tse (QRS, 2015)

ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs. - Shangru Wu; Chunbai Yang; W. K. Chan 001 (QRS, 2015)

Input-based adaptive randomized test case prioritization: A local beam search approach. - Bo Jiang 001; Wing Kwong Chan (J. Syst. Softw., 2015)

Connecting the Average and the Non-Average: A Study of the Rates of Fault Detection in Testing WS-BPEL Services. - Changjiang Jia; Lijun Mei; Wing Kwong Chan; Yuen-Tak Yu; T. H. Tse (Int. J. Web Serv. Res., 2015)

ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. - Yan Cai 001; Changjiang Jia; Shangru Wu; Ke Zhai 002; Wing Kwong Chan (IEEE Trans. Parallel Distributed Syst., 2015)

A Subsumption Hierarchy of Test Case Prioritization for Composite Services. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; Wing Kwong Chan; Zhenyu Zhang 004; T. H. Tse (IEEE Trans. Serv. Comput., 2015)

Preemptive Regression Testingof Workflow-Based Web Services. - Lijun Mei; Wing Kwong Chan; T. H. Tse; Bo Jiang 001; Ke Zhai 002 (IEEE Trans. Serv. Comput., 2015)

Message from the SETA Organizing Committee. - Doris L. Carver; Wing Kwong Chan; Hongji Yang; Xiaodong Liu 002; Carl K. Chang; Hridesh Rajan (COMPSAC, 2016)

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection. - Jialin Yang; W. K. Chan 001 (COMPSAC Workshops, 2016)

μMT: a data mutation directed metamorphic relation acquisition methodology. - Chang-Ai Sun; Yiqiang Liu; Zuoyi Wang; W. K. Chan 001 (MET@ICSE, 2016)

Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions. - Bo Jiang 001; W. K. Chan 001 (QRS, 2016)

Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps. - Chenglong Sun; Zhenyu Zhang 004; Bo Jiang 001; W. K. Chan 001 (QRS, 2016)

DFL: Dual-Service Fault Localization. - Chung Man Tang; Jacky Keung; Yuen-Tak Yu; W. K. Chan 001 (QRS, 2016)

HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts. - Jialin Yang; Chunbai Yang; W. K. Chan 001 (QRS, 2016)

Editorial of the special issue to celebrate the 35th anniversary of JSS. - W. Eric Wong; W. K. Chan 001 (J. Syst. Softw., 2016)

Hierarchical Program Paths. - Chunbai Yang; Shangru Wu; W. K. Chan 001 (ACM Trans. Softw. Eng. Methodol., 2016)

ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study. - Shangru Wu; Chunbai Yang; Changjiang Jia; Wing Kwong Chan (IEEE Trans. Parallel Distributed Syst., 2016)

To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments? - Bo Jiang 001; Peng Chen; Wing Kwong Chan; Xinchao Zhang (IEEE Trans. Reliab., 2016)

Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems. - Doris L. Carver; W. K. Chan 001; Carl K. Chang; Hongji Yang (IEEE Trans. Serv. Comput., 2016)

Theoretical, Weak and Strong Accuracy Graphs of Spectrum-Based Fault Localization Formulas. - Chung Man Tang; W. K. Chan 001; Yuen-Tak Yu (COMPSAC (2), 2017)

A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors. - Jialin Yang; Ernest Bota Pobee; Wing Kwong Chan (COMPSAC (2), 2017)

SimplyDroid: efficient event sequence simplification for Android application. - Bo Jiang 001; Yuxuan Wu; Teng Li; W. K. Chan 001 (ASE, 2017)

An Empirical Analysis of Three-Stage Data-Preprocessing for Analogy-Based Software Effort Estimation on the ISBSG Data. - Jianglin Huang; Yan-Fu Li; Jacky Wai Keung; Yuen-Tak Yu; W. K. Chan 001 (QRS, 2017)

Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications. - Bo Jiang 001; Yaoyue Zhang; W. K. Chan 001; Zhenyu Zhang 004 (QRS, 2017)

Special Issue on Software Engineering Technology and Applications. - Doris L. Carver; W. K. Chan 001; Carl K. Chang; Hongji Yang (J. Syst. Softw., 2017)

Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study. - Jianglin Huang; Jacky Wai Keung; Federica Sarro; Yan-Fu Li; Yuen-Tak Yu; W. K. Chan 001; Hongyi Sun (J. Syst. Softw., 2017)

A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization. - Long Zhang; Lanfei Yan; Zhenyu Zhang 004; Jian Zhang 001; W. K. Chan 001; Zheng Zheng 001 (J. Syst. Softw., 2017)

Accuracy Graphs of Spectrum-Based Fault Localization Formulas. - Chung Man Tang; W. K. Chan 001; Yuen-Tak Yu; Zhenyu Zhang 004 (IEEE Trans. Reliab., 2017)

SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection. - Changjiang Jia; Chunbai Yang; Wing Kwong Chan; Yuen-Tak Yu (IEEE Trans. Serv. Comput., 2017)

Fuse: An Architecture for Smart Contract Fuzz Testing Service. - Wing Kwong Chan; Bo Jiang 001 (APSEC, 2018)

Message from SETA 2018 Symposium Chairs. - W. K. Chan 001; Hong Zhu 002 (COMPSAC (1), 2018)

ReTestDroid: Towards Safer Regression Test Selection for Android Application. - Bo Jiang 001; Yu Wu; Yongfei Zhang; Zhenyu Zhang 004; W. K. Chan 001 (COMPSAC (1), 2018)

GBRAD: A General Framework to Evaluate Design Strategies for Hybrid Race Detection. - Jialin Yang; Wing Kwong Chan; Yuen-Tak Yu; Jacky Keung (COMPSAC (1), 2018)

ContractFuzzer: fuzzing smart contracts for vulnerability detection. - Bo Jiang 001; Ye Liu; W. K. Chan 001 (ASE, 2018)

Special issue on software engineering technology and applications. - W. K. Chan 001; Xiaodong Liu 002; Hridesh Rajan (J. Syst. Softw., 2018)

HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection. - Jialin Yang; Bo Jiang 001; W. K. Chan 001 (IEEE Trans. Reliab., 2018)

ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs. - Biyun Zhu; Ruijie Meng; Zhenyu Zhang 004; W. K. Chan 001 (COMPSAC (1), 2019)

Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs. - Ernest Bota Pobee; Xiupei Mei; Wing Kwong Chan (ASE, 2019)

Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models. - Hao Zhang 085; W. K. Chan 001 (ASE, 2019)

A Fuzz Testing Service for Assuring Smart Contracts. - Xiupei Mei; Imran Ashraf; Bo Jiang 001; Wing Kwong Chan (QRS Companion, 2019)

AggrePlay: efficient record and replay of multi-threaded programs. - Ernest Bota Pobee; Wing Kwong Chan (ESEC/SIGSOFT FSE, 2019)

A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications. - Bo Jiang 001; Yaoyue Zhang; Wing Kwong Chan; Zhenyu Zhang 004 (IEEE Trans. Reliab., 2019)

CUDAsmith: A Fuzzer for CUDA Compilers. - Bo Jiang 001; Xiaoyan Wang; Wing Kwong Chan; T. H. Tse; Na Li; Yongfeng Yin; Zhenyu Zhang 004 (COMPSAC, 2020)

Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection. - Anqi Wang; Hao Wang; Bo Jiang 001; Wing Kwong Chan (DSA, 2020)

BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs. - Xiupei Mei; Zhengyuan Wei; Hao Zhang 085; W. K. Chan 001 (AST@ICSE, 2020)

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection. - Yuhe Huang; Bo Jiang 001; Wing Kwong Chan (Internetware, 2020)

GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities. - Imran Ashraf; Xiaoxue Ma; Bo Jiang 001; Wing Kwong Chan (IEEE Access, 2020)

WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection. - Dong Wang; Bo Jiang 001; W. K. Chan 001 (CoRR, 2020)

Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness. - Long Zhang; Zijie Li; Yang Feng 003; Zhenyu Zhang 004; Wing Kwong Chan; Jian Zhang 001; Yuming Zhou (IEEE Trans. Reliab., 2020)

Orchid: Building Dynamic Test Oracles with Training Bias for Improving Deep Neural Network Models †. - Haipeng Wang 005; W. K. Chan 001 (DSA, 2021)

Plum: Exploration and Prioritization of Model Repair Strategies for Fixing Deep Learning Models †. - Hao Zhang 085; W. K. Chan 001 (DSA, 2021)

CONQUER: Contextual Query-aware Ranking for Video Corpus Moment Retrieval. - Zhijian Hou; Chong-Wah Ngo; Wing Kwong Chan (ACM Multimedia, 2021)

WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection. - Bo Jiang 001; Yifei Chen; Dong Wang; Imran Ashraf; W. K. Chan 001 (QRS, 2021)

DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning. - Bo Jiang 001; Wenlin Wei; Li Yi; W. K. Chan 001 (QRS, 2021)

Sound Predictive Atomicity Violation Detection§. - Xiaoxue Ma; Imran Ashraf; W. K. Chan 001 (QRS, 2021)

Fuzzing Deep Learning Models against Natural Robustness with Filter Coverage‡. - Zhengyuan Wei; W. K. Chan 001 (QRS, 2021)

OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling. - Chunbai Yang; Imran Ashraf; Xiaoxue Ma; Hao Zhang 085; W. K. Chan 001 (QRS, 2021)

Execution Repair for Spark Programs by Active Maintenance of Partition Dependency. - Xiupei Mei; Imran Ashraf; Xiaoxue Ma; Hao Zhang 085; Zhengyuan Wei; Haipeng Wang 005; W. K. Chan 001 (IEEE Access, 2021)

RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces. - Xiaoxue Ma; Shangru Wu; Ernest Bota Pobee; Xiupei Mei; Hao Zhang 085; Bo Jiang 001; Wing Kwong Chan (ACM Trans. Softw. Eng. Methodol., 2021)

DeepEutaxy: Diversity in Weight Search Direction for Fixing Deep Learning Model Training Through Batch Prioritization. - Hao Zhang 085; W. K. Chan 001 (IEEE Trans. Reliab., 2021)

Guest Editorial: Special Section on IEEE International Conference on Software Quality, Reliability, and Security (QRS) 2020. - Wing Kwong Chan; Meiyappan Nagappan; Christof J. Budnik (IEEE Trans. Reliab., 2021)

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

An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts. - Imran Ashraf; W. K. Chan 001 (COMPSAC, 2022)

SEbox4DL: A Modular Software Engineering Toolbox for Deep Learning Models. - Zhengyuan Wei; Haipeng Wang 005; Zhen Yang 022; W. K. Chan 001 (ICSE-Companion, 2022)

Cross-lingual Adaptation for Recipe Retrieval with Mixup. - Bin Zhu 006; Chong-Wah Ngo; Jingjing Chen 001; Wing Kwong Chan (ICMR, 2022)

Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks. - Zhengyuan Wei; Haipeng Wang 005; Imran Ashraf; W. K. Chan 001 (QRS, 2022)

WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines. - Bo Jiang 001; Zichao Li 008; Yuhe Huang; Zhenyu Zhang 004; W. K. Chan 001 (SEKE, 2022)

An Efficient COarse-to-fiNE Alignment Framework @ Ego4D Natural Language Queries Challenge 2022. - Zhijian Hou; Wanjun Zhong; Lei Ji 001; Difei Gao; Kun Yan; Wing Kwong Chan; Chong-Wah Ngo; Zheng Shou 001; Nan Duan (CoRR, 2022)

SibNet: Food instance counting and segmentation. - Huu-Thanh Nguyen 003; Chong-Wah Ngo; Wing-Kwong Chan (Pattern Recognit., 2022)

Learning From Web Recipe-Image Pairs for Food Recognition: Problem, Baselines and Performance. - Bin Zhu 006; Chong-Wah Ngo; Wing Kwong Chan (IEEE Trans. Multim., 2022)

CONE: An Efficient COarse-to-fiNE Alignment Framework for Long Video Temporal Grounding. - Zhijian Hou; Wanjun Zhong; Lei Ji 001; Difei Gao; Kun Yan; Wing Kwong Chan; Chong-Wah Ngo; Mike Zheng Shou; Nan Duan (ACL (1), 2023)

Toward AI-assisted Exercise Creation for First Course in Programming through Adversarial Examples of AI Models. - W. K. Chan 001; Y. T. Yu; Jacky W. Keung; Victor C. S. Lee (CSEE&T, 2023)

A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models. - Qilin Zhou; Zhengyuan Wei; Haipeng Wang 005; W. K. Chan 001 (ASE, 2023)

A study on the impact of pre-trained model on Just-In-Time defect prediction. - Yuxiang Guo 004; Xiaopeng Gao; Zhenyu Zhang 004; Wing Kwong Chan; Bo Jiang 001 (QRS, 2023)

Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models. - Haipeng Wang 005; Zhengyuan Wei; Qilin Zhou; Bo Jiang 001; Wing Kwong Chan (QRS, 2023)

OAT: An Optimized Android Testing Framework Based on Reinforcement Learning. - Mengjun Du; Peiyang Li; Lian Song; W. K. Chan 001; Bo Jiang 001 (TASE, 2023)

Cross-domain Food Image-to-Recipe Retrieval by Weighted Adversarial Learning. - Bin Zhu 006; Chong-Wah Ngo; Jingjing Chen 001; Wing-Kwong Chan (CoRR, 2023)

GroundNLQ @ Ego4D Natural Language Queries Challenge 2023. - Zhijian Hou; Lei Ji 001; Difei Gao; Wanjun Zhong; Kun Yan; Chao Li; Wing-Kwong Chan; Chong-Wah Ngo; Nan Duan; Mike Zheng Shou (CoRR, 2023)

Incremental Learning on Food Instance Segmentation. - Huu-Thanh Nguyen 003; Yu Cao; Chong-Wah Ngo; Wing-Kwong Chan (CoRR, 2023)

Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications. - Nesrine Khabou; Ismael Bouassida Rodriguez; Khalil Drira; Paris Avgeriou; David C. Shepherd; Wing-Kwong Chan; Raffaela Mirandola (J. Syst. Softw., 2023)

Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations. - Xiaoxue Ma; Imran Ashraf; W. K. Chan 001 (IEEE Trans. Reliab., 2023)

DeepPatch: Maintaining Deep Learning Model Programs to Retain Standard Accuracy with Substantial Robustness Improvement. - Zhengyuan Wei; Haipeng Wang 005; Imran Ashraf; Wing-Kwong Chan (ACM Trans. Softw. Eng. Methodol., 2023)

Enhancing Valid Test Input Generation with Distribution Awareness for Deep Neural Networks. - Jingyu Zhang; Jacky Keung; Xiaoxue Ma; Xiangyu Li; Yan Xiao 002; Yishu Li; Wing Kwong Chan (COMPSAC, 2024)

Toward AI-facilitated Learning Cycle in Integration Course Through Pair Programming with AI Agents. - Zhengyuan Wei; Albert T. L. Lee; Victor C. S. Lee; Wing-Kwong Chan (CSEE&T, 2024)

Improving Interpretable Embeddings for Ad-hoc Video Search with Generative Captions and Multi-word Concept Bank. - Jiaxin Wu 001; Chong-Wah Ngo; Wing-Kwong Chan (ICMR, 2024)

LLM-based query paraphrasing for video search. - Jiaxin Wu 001; Chong-Wah Ngo; Wing-Kwong Chan; Sheng-Hua Zhong (CoRR, 2024)

A3Rank: Augmentation Alignment Analysis for Prioritizing Overconfident Failing Samples for Deep Learning Models. - Zhengyuan Wei; Haipeng Wang 005; Qilin Zhou; W. K. Chan 001 (CoRR, 2024)

CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models. - Qilin Zhou; Zhengyuan Wei; Haipeng Wang 005; Bo Jiang 001; Wing-Kwong Chan (Proc. ACM Softw. Eng., 2024)

FoodMask: Real-time food instance counting, segmentation and recognition. - Huu-Thanh Nguyen 003; Yu Cao; Chong-Wah Ngo; Wing-Kwong Chan (Pattern Recognit., 2024)

Identifying metamorphic relations: A data mutation directed approach. - Chang-Ai Sun; Hui Jin; Siyi Wu; An Fu; Zuoyi Wang; Wing Kwong Chan (Softw. Pract. Exp., 2024)

(Un)likelihood Training for Interpretable Embedding. - Jiaxin Wu 001; Chong-Wah Ngo; Wing-Kwong Chan; Zhijian Hou (ACM Trans. Inf. Syst., 2024)

Context-Aware Fuzzing for Robustness Enhancement of Deep Learning Models. - Haipeng Wang 005; Zhengyuan Wei; Qilin Zhou; Wing-Kwong Chan (ACM Trans. Softw. Eng. Methodol., 2025)

Scalable and Precise Patch Robustness Certification for Deep Learning Models with Top-k Predictions. - Qilin Zhou; Haipeng Wang 005; Zhengyuan Wei; Wing-Kwong Chan (CoRR, 2025)