Wing Kwong Chan

Orcid: 0000-0001-7726-6235

Affiliations:
  • City University of Hong Kong, Department of Computer Science, Hong Kong


According to our database1, Wing Kwong Chan authored at least 193 papers between 2003 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Identifying metamorphic relations: A data mutation directed approach.
Softw. Pract. Exp., March, 2024

FoodMask: Real-time food instance counting, segmentation and recognition.
Pattern Recognit., February, 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

Incremental Learning on Food Instance Segmentation.
CoRR, 2023

GroundNLQ @ Ego4D Natural Language Queries Challenge 2023.
CoRR, 2023

Cross-domain Food Image-to-Recipe Retrieval by Weighted Adversarial Learning.
CoRR, 2023

OAT: An Optimized Android Testing Framework Based on Reinforcement Learning.
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

A study on the impact of pre-trained model on Just-In-Time defect prediction.
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

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

SibNet: Food instance counting and segmentation.
Pattern Recognit., 2022

An Efficient COarse-to-fiNE Alignment Framework @ Ego4D Natural Language Queries Challenge 2022.
CoRR, 2022

(Un)likelihood Training for Interpretable Embedding.
CoRR, 2022

WasmFuzzer: A Fuzzer for WasAssembly Virtual Machines.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Predictive Mutation Analysis of Test Case Prioritization for Deep Neural Networks.
Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Cross-lingual Adaptation for Recipe Retrieval with Mixup.
Proceedings of the ICMR '22: International Conference on Multimedia Retrieval, Newark, NJ, USA, June 27, 2022

SEbox4DL: A Modular Software Engineering Toolbox for Deep Learning Models.
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
Sifter: A Service Isolation Strategy for Internet Applications.
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

Execution Repair for Spark Programs by Active Maintenance of Partition Dependency.
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

Sound Predictive Atomicity Violation Detection§.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

DroidGamer: Android Game Testing with Operable Widget Recognition by Deep Learning.
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

CONQUER: Contextual Query-aware Ranking for Video Corpus Moment Retrieval.
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

EOSFuzzer: Fuzzing EOSIO Smart Contracts for Vulnerability Detection.
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

Artemis: An Improved Smart Contract Verification Tool for Vulnerability Detection.
Proceedings of the 7th International Conference on Dependable Systems and Their Applications, 2020

CUDAsmith: A Fuzzer for CUDA Compilers.
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

AggrePlay: efficient record and replay of multi-threaded programs.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

A Fuzz Testing Service for Assuring Smart Contracts.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

Apricot: A Weight-Adaptation Approach to Fixing Deep Learning Models.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Efficient Transaction-Based Deterministic Replay for Multi-threaded Programs.
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

Special issue on software engineering technology and applications.
J. Syst. Softw., 2018

ContractFuzzer: fuzzing smart contracts for vulnerability detection.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

GBRAD: A General Framework to Evaluate Design Strategies for Hybrid Race Detection.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

ReTestDroid: Towards Safer Regression Test Selection for Android Application.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Message from SETA 2018 Symposium Chairs.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Fuse: An Architecture for Smart Contract Fuzz Testing Service.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
SDA-CLOUD: A Multi-VM Architecture for Adaptive Dynamic Data Race Detection.
IEEE Trans. Serv. Comput., 2017

Accuracy Graphs of Spectrum-Based Fault Localization Formulas.
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

Special Issue on Software Engineering Technology and Applications.
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

SimplyDroid: efficient event sequence simplification for Android application.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

A Case Study on Context Maintenance in Dynamic Hybrid Race Detectors.
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
Editorial: Software Engineering and Applications for Cloud-Based Mobile Systems.
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

Hierarchical Program Paths.
ACM Trans. Softw. Eng. Methodol., 2016

Editorial of the special issue to celebrate the 35th anniversary of JSS.
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

DFL: Dual-Service Fault Localization.
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

μMT: a data mutation directed metamorphic relation acquisition methodology.
Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

Dynamic Testing Against Hidden Concurrency Bugs through Abstraction and Projection.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

Message from the SETA Organizing Committee.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Preemptive Regression Testingof Workflow-Based Web Services.
IEEE Trans. Serv. Comput., 2015

A Subsumption Hierarchy of Test Case Prioritization for Composite Services.
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

PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

Architecturing Dynamic Data Race Detection as a Cloud-Based Service.
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

Message from SETA Symposium Organizing Committee.
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

Improving the Effectiveness of Testing Pervasive Software via Context Diversity.
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
Lock Trace Reduction for Multithreaded Programs.
IEEE Trans. Parallel Distributed Syst., 2013

In quest of the science in statistical fault localization.
Softw. Pract. Exp., 2013

Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.
Int. J. Web Serv. Res., 2013

A general noise-reduction framework for fault localization of Java programs.
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

Taming Deadlocks in Multithreaded Programs.
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

Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions.
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

Special Issue on Dynamic Analysis and Testing of Embedded Software.
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

Fault Localization Based Only on Failed Runs.
Computer, 2012

JSCloud: Toward Remote Execution of JavaScript Code on Handheld Devices.
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

MagicFuzzer: Scalable deadlock detection for large-scale applications.
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

On Accuracy-Performance Tradeoff Frameworks for Energy Saving: Models and Review.
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

Non-parametric statistical fault localization.
J. Syst. Softw., 2011

XML-manipulating test case prioritization for XML-manipulating services.
J. Syst. Softw., 2011

A web search-centric approach to recommender systems with URLs as minimal user contexts.
J. Syst. Softw., 2011

A Dynamic Fault Localization Technique with Noise Reduction for Java Programs.
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

LOFT: Redundant Synchronization Event Removal for Data Race Detection.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011

Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Partial constraint checking for context consistency in pervasive computing.
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

Fault localization through evaluation sequences.
J. Syst. Softw., 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

Point-of-Interest Aware Test Case Prioritization: Methods and Experiments.
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

Bridging the Gap Between the Theory and Practice of Software Test Automation.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009
Atomicity Analysis of Service Composition across Organizations.
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

Where to adapt dynamic service compositions.
Proceedings of the 18th International Conference on World Wide Web, 2009

Capturing propagation of infected program states.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Data flow testing of service choreography.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing.
Proceedings of the Ninth International Conference on Quality Software, 2009

Weaving Context Sensitivity into Test Suite Construction.
Proceedings of the ASE 2009, 2009

Adaptive Random Test Case Prioritization.
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

Modeling and testing of cloud applications.
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

Toward Scalable Statistical Service Selection.
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

Fault Localization with Non-parametric Program Behavior Model.
Proceedings of the Eighth International Conference on Quality Software, 2008

An Adaptive Service Selection Approach to Service Composition.
Proceedings of the 2008 IEEE International Conference on Web Services (ICWS 2008), 2008

Data flow testing of service-oriented workflow applications.
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

Debugging through Evaluation Sequences: A Controlled Experimental Study.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

A Tale of Clouds: Paradigm Comparisons and Some Thoughts on Research Issues.
Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, 2008

2007
Vector complementarity problems with a variable ordering relation.
Eur. J. Oper. Res., 2007

Testing object-oriented industrial software without precise oracles or results.
Commun. ACM, 2007

Detection and resolution of atomicity violation in service composition.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

On impact-oriented automatic resolution of pervasive context inconsistency.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Enhancing adaptive random testing in high dimensional input domains.
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

Process Evolution with Atomicity Consistency.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Goal-Directed Context Validation for Adaptive Ubiquitous Systems.
Proceedings of the 2007 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2007

Do Maintainers Utilize Deployed Design Patterns Effectively?.
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

An empirical comparison between direct and indirect test result checking approaches.
Proceedings of the Third International Workshop on Software Quality Assurance, 2006

Local analysis of atomicity sphere for B2B collaboration.
Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Work experience versus refactoring to design patterns: a controlled experiment.
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

Static Slicing for Pervasive Programs.
Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

Publishing and composition of atomicity-equivalent services for B2B collaboration.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Incremental consistency checking for pervasive context.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Toward effective deployment of design patterns for software extension: a case study.
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
Fault-Based Testing of Database Application Programs with Conceptual Data Model.
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
The System of Vector Quasi-Equilibrium Problems with Applications.
J. Glob. Optim., 2004

Testing Context-Sensitive Middleware-Based Software Applications.
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


  Loading...