Wing Kwong Chan
Orcid: 0000-0001-7726-6235Affiliations:
- City University of Hong Kong, Department of Computer Science, Hong Kong
According to our database1,
Wing Kwong Chan
authored at least 199 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on scopus.com
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Inf. Syst., May, 2024
Softw. Pract. Exp., March, 2024
Pattern Recognit., February, 2024
CrossCert: A Cross-Checking Detection Approach to Patch Robustness Certification for Deep Learning Models.
Proc. ACM Softw. Eng., 2024
A3Rank: Augmentation Alignment Analysis for Prioritizing Overconfident Failing Samples for Deep Learning Models.
CoRR, 2024
Improving Interpretable Embeddings for Ad-hoc Video Search with Generative Captions and Multi-word Concept Bank.
Proceedings of the 2024 International Conference on Multimedia Retrieval, 2024
2023
DeepPatch: Maintaining Deep Learning Model Programs to Retain Standard Accuracy with Substantial Robustness Improvement.
ACM Trans. Softw. Eng. Methodol., November, 2023
Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations.
IEEE Trans. Reliab., 2023
Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications.
J. Syst. Softw., 2023
CoRR, 2023
Proceedings of the Theoretical Aspects of Software Engineering, 2023
Aster: Encoding Data Augmentation Relations into Seed Test Suites for Robustness Assessment and Fuzzing of Data-Augmented Deep Learning Models.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
A Majority Invariant Approach to Patch Robustness Certification for Deep Learning Models.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Toward AI-assisted Exercise Creation for First Course in Programming through Adversarial Examples of AI Models.
Proceedings of the 35th International Conference on Software Engineering Education and Training, 2023
CONE: An Efficient COarse-to-fiNE Alignment Framework for Long Video Temporal Grounding.
Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2023
2022
Learning From Web Recipe-Image Pairs for Food Recognition: Problem, Baselines and Performance.
IEEE Trans. Multim., 2022
An Efficient COarse-to-fiNE Alignment Framework @ Ego4D Natural Language Queries Challenge 2022.
CoRR, 2022
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022
Proceedings of the ICMR '22: International Conference on Multimedia Retrieval, Newark, NJ, USA, June 27, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
An Empirical Study on the Effects of Entry Function Pairs in Fuzzing Smart Contracts.
Proceedings of the 46th IEEE Annual Computers, Software, and Applications Conferenc, 2022
2021
IEEE Trans. Serv. Comput., 2021
Guest Editorial: Special Section on IEEE International Conference on Software Quality, Reliability, and Security (QRS) 2020.
IEEE Trans. Reliab., 2021
DeepEutaxy: Diversity in Weight Search Direction for Fixing Deep Learning Model Training Through Batch Prioritization.
IEEE Trans. Reliab., 2021
RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces.
ACM Trans. Softw. Eng. Methodol., 2021
IEEE Access, 2021
OPE: Transforming Programs with Clean and Precise Separation of Tested Intraprocedural Program Paths with Path Profiling.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Fuzzing Deep Learning Models against Natural Robustness with Filter Coverage<sup>‡</sup>.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021
Proceedings of the MM '21: ACM Multimedia Conference, Virtual Event, China, October 20, 2021
Plum: Exploration and Prioritization of Model Repair Strategies for Fixing Deep Learning Models <sup>†</sup>.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
Orchid: Building Dynamic Test Oracles with Training Bias for Improving Deep Neural Network Models <sup>†</sup>.
Proceedings of the 8th International Conference on Dependable Systems and Their Applications, 2021
2020
Improving Fault-Localization Accuracy by Referencing Debugging History to Alleviate Structure Bias in Code Suspiciousness.
IEEE Trans. Reliab., 2020
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection.
CoRR, 2020
GasFuzzer: Fuzzing Ethereum Smart Contract Binaries to Expose Gas-Oriented Exception Security Vulnerabilities.
IEEE Access, 2020
Proceedings of the Internetware'20: 12th Asia-Pacific Symposium on Internetware, 2020
BlockRace: A Big Data Approach to Dynamic Block-based Data Race Detection for Multithreaded Programs.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
A Systematic Study on Factors Impacting GUI Traversal-Based Test Case Generation Techniques for Android Applications.
IEEE Trans. Reliab., 2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019
ConRS: A Requests Scheduling Framework for Increasing Concurrency Degree of Server Programs.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019
2018
HistLock+: Precise Memory Access Maintenance Without Lockset Comparison for Complete Hybrid Data Race Detection.
IEEE Trans. Reliab., 2018
J. Syst. Softw., 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018
2017
IEEE Trans. Serv. Comput., 2017
IEEE Trans. Reliab., 2017
A theoretical analysis on cloning the failed test cases to improve spectrum-based fault localization.
J. Syst. Softw., 2017
Cross-validation based K nearest neighbor imputation for software quality datasets: An empirical study.
J. Syst. Softw., 2017
J. Syst. Softw., 2017
Which Factor Impacts GUI Traversal-Based Test Case Generation Technique Most? A Controlled Experiment on Android Applications.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
An Empirical Analysis of Three-Stage Data-Preprocessing for Analogy-Based Software Effort Estimation on the ISBSG Data.
Proceedings of the 2017 IEEE International Conference on Software Quality, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
Theoretical, Weak and Strong Accuracy Graphs of Spectrum-Based Fault Localization Formulas.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
IEEE Trans. Serv. Comput., 2016
To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?
IEEE Trans. Reliab., 2016
ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study.
IEEE Trans. Parallel Distributed Syst., 2016
J. Syst. Softw., 2016
HistLock: Efficient and Sound Hybrid Detection of Hidden Predictive Data Races with Functional Contexts.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Facilitating Monkey Test by Detecting Operable Regions in Rendered GUI of Mobile Game Apps.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Testing and Debugging in Continuous Integration with Budget Quotas on Test Executions.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016
2015
IEEE Trans. Serv. Comput., 2015
IEEE Trans. Serv. Comput., 2015
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.
IEEE Trans. Parallel Distributed Syst., 2015
Connecting the Average and the Non-Average: A Study of the Rates of Fault Detection in Testing WS-BPEL Services.
Int. J. Web Serv. Res., 2015
Input-based adaptive randomized test case prioritization: A local beam search approach.
J. Syst. Softw., 2015
ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the 2015 IEEE International Conference on Web Services, 2015
Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.
IEEE Trans. Software Eng., 2014
Prioritizing Test Cases for Regression Testing of Location-Based Services: Metrics, Techniques, and Case Study.
IEEE Trans. Serv. Comput., 2014
ACM Trans. Auton. Adapt. Syst., 2014
Toward a methodology to expose partially fixed concurrency bugs in modified multithreaded programs.
Proceedings of the International Workshop on Innovative Software Development Methodologies and Practices, 2014
Is XML-Based Test Case Prioritization for Validating WS-BPEL Evolution Effective in Both Average and Adverse Scenarios?
Proceedings of the 2014 IEEE International Conference on Web Services, 2014
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.
Proceedings of the 36th International Conference on Software Engineering, 2014
Extending the Theoretical Fault Localization Effectiveness Hierarchy with Empirical Results at Different Code Abstraction Levels.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
CrowdAdaptor: A Crowd Sourcing Approach toward Adaptive Energy-Efficient Configurations of Virtual Machines Hosting Mobile Applications.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014
2013
IEEE Trans. Parallel Distributed Syst., 2013
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.
Int. J. Web Serv. Res., 2013
Inf. Softw. Technol., 2013
On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.
Inf. Softw. Technol., 2013
A Study on the Efficiency Aspect of Data Race Detection: A Compiler Optimization Level Perspective.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Oracles Are Hardly Attain'd, and Hardly Understood: Confessions of Software Testing Researchers.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
Proceedings of the 2013 13th International Conference on Quality Software, 2013
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Which compiler optimization options should I use for detecting data races in multithreaded programs?
Proceedings of the 8th International Workshop on Automation of Software Test, 2013
Bypassing Code Coverage Approximation Limitations via Effective Input-Based Randomized Test Case Prioritization.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013
2012
An empirical evaluation of several test-a-few strategies for testing particular conditions.
Softw. Pract. Exp., 2012
J. Syst. Softw., 2012
EClass: An execution classification approach to improving the energy-efficiency of software via machine learning.
J. Syst. Softw., 2012
Human and program factors affecting the maintenance of programs with deployed design patterns.
Inf. Softw. Technol., 2012
How well does test case prioritization integrate with statistical fault localization?
Inf. Softw. Technol., 2012
Proceedings of the 2012 12th International Conference on Quality Software, 2012
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications.
Proceedings of the International Symposium on Software Testing and Analysis, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Preemptive Regression Test Scheduling Strategies: A New Testing Approach to Thriving on the Volatile Service Environments.
Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference - Workshops, 2012
2011
Guest editors' introduction to the special section on exploring the boundaries of software test automation.
Softw. Qual. J., 2011
Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010).
Softw. Pract. Exp., 2011
Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp., 2011
J. Syst. Softw., 2011
A web search-centric approach to recommender systems with URLs as minimal user contexts.
J. Syst. Softw., 2011
Proceedings of the 11th International Conference on Quality Software, 2011
On Practical Adequate Test Suites for Integrated Test Case Prioritization and Fault Localization.
Proceedings of the 11th International Conference on Quality Software, 2011
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
ACM Trans. Softw. Eng. Methodol., 2010
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs.
Softw. Test. Verification Reliab., 2010
Software testing research in practice: report on the 5th international workshop on the automation of software test.
ACM SIGSOFT Softw. Eng. Notes, 2010
A Community-Centric Model for Service Publication, Discovery, Selection, Binding, and Maintenance.
Proceedings of the Fifth IEEE International Symposium on Service-Oriented System Engineering, 2010
Proceedings of the 10th International Conference on Quality Software, 2010
Leveraging Performance and Power Savings for Embedded Systems Using Multiple Target Deadlines.
Proceedings of the 10th International Conference on Quality Software, 2010
On the Integration of Test Adequacy, Test Case Prioritization, and Statistical Fault Localization.
Proceedings of the 10th International Conference on Quality Software, 2010
Taking Advantage of Service Selection: A Study on the Testing of Location-Based Web Services Through Test Case Prioritization.
Proceedings of the IEEE International Conference on Web Services, 2010
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
2009
IEEE Trans. Software Eng., 2009
Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.
J. Syst. Softw., 2009
PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.
J. Syst. Softw., 2009
Is non-parametric hypothesis testing model robust for statistical fault localization?
Inf. Softw. Technol., 2009
Test case prioritization for regression testing of service-oriented business applications.
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the 18th International Conference on World Wide Web, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009
Proceedings of the Ninth International Conference on Quality Software, 2009
Proceedings of the ASE 2009, 2009
Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.
Proceedings of the 31st International Conference on Software Engineering, 2009
More Tales of Clouds: Software Engineering Research Issues from the Cloud Application Perspective.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference, 2009
2008
Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters.
Softw. Qual. J., 2008
Angular dependence of the emission from low Q-factor organic microcavity light emitting diodes.
Displays, 2008
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008
Inter-context control-flow and data-flow test adequacy criteria for nesC applications.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Testing pervasive software in the presence of context inconsistency resolution services.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
Heuristics-Based Strategies for Resolving Context Inconsistencies in Pervasive Computing Applications.
Proceedings of the 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008
2007
Eur. J. Oper. Res., 2007
Commun. ACM, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Synthesizing Component-Based WSN Applications via Automatic Combination of Code Optimization Techniques.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks.
Proceedings of the Reliable Software Technologies, 2007
2006
Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.
J. Syst. Softw., 2006
Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
Int. J. Softw. Eng. Knowl. Eng., 2006
Proceedings of the Third International Workshop on Software Quality Assurance, 2006
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 2006 international workshop on Software quality, 2006
Reference Models and Automatic Oracles for the Testing of Mesh Simplification Software for Graphics Rendering.
Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006
2005
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Towards a Metamorphic Testing Methodology for Service-Oriented Software Applications.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
2004
J. Glob. Optim., 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
Towards a new extension relation for compositional test case generation for CSP concurrent processes
PhD thesis, 2003