T. H. Tse
Orcid: 0000-0002-0460-8377Affiliations:
- University of Hong Kong, Department of Computer Science
According to our database1,
T. H. Tse
authored at least 151 papers
between 1982 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on hku.hk
-
on dl.acm.org
On csauthors.net:
Bibliography
2023
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023
Detecting Hidden Failures of DBMS: A Comprehensive Metamorphic Relation Output Patterns Approach.
Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023
2022
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022
2021
Metamorphic Robustness Testing: Exposing Hidden Defects in Citation Statistics and Journal Impact Factors.
IEEE Trans. Software Eng., 2021
Guest Editorial: A Retrospective of Special Sections on Software Testing and Program Analysis.
IEEE Trans. Reliab., 2021
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021
2020
Exploiting the Largest Available Zone: A Proactive Approach to Adaptive Random Testing by Exclusion.
IEEE Access, 2020
PEACEPACT: Prioritizing Examples to Accelerate Perturbation-Based Adversary Generation for DNN Classification Testing.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
2019
KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing.
IEEE Trans. Reliab., 2019
Toward a K-means clustering approach to adaptive random testing for object-oriented software.
Sci. China Inf. Sci., 2019
2018
ACM Comput. Surv., 2018
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018
2016
5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing.
J. Syst. Softw., 2016
2015
IEEE Trans. Serv. Comput., 2015
IEEE Trans. Serv. Comput., 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
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015
2014
ACM Trans. Auton. Adapt. Syst., 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
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
Equality to Equals and Unequals: A Revisit of the Equivalence and Nonequivalence Criteria in Class-Level Testing of Object-Oriented Software.
IEEE Trans. Software Eng., 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
Incremental Identification of Categories and Choices for Test Case Generation: A Study of the Software Practitioners' Preferences.
Proceedings of the 2013 13th International Conference on Quality Software, 2013
The ART of Divide and Conquer: An Innovative Approach to Improving the Efficiency of Adaptive Random Testing.
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
2012
DESSERT: a DividE-and-conquer methodology for identifying categorieS, choiceS, and choicE Relations for Test case generation.
IEEE Trans. Software Eng., 2012
Softw. Test. Verification Reliab., 2012
J. Syst. Softw., 2012
EClass: An execution classification approach to improving the energy-efficiency of software via machine learning.
J. Syst. Softw., 2012
An enhanced flow analysis technique for detecting unreachability faults in concurrent systems.
Inf. Sci., 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
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
Choices, Choices: Comparing between CHOC'LATE and the Classification-Tree Methodology.
Proceedings of the Reliable Software Technologies - Ada-Europe 2012, 2012
2011
IEEE Trans. Software Eng., 2011
IEEE Trans. Software Eng., 2011
Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing.
Softw. Qual. J., 2011
Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw. Pract. Exp., 2011
An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
J. Syst. Softw., 2011
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 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
Finding failures from passed test cases: improving the pattern classification approach to the testing of mesh simplification programs.
Softw. Test. Verification Reliab., 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
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.
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
2009
Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications.
J. Syst. Softw., 2009
An assessment of systems and software engineering scholars and institutions (2002-2006).
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 Ninth International Conference on Quality Software, 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
How Well Do Test Case Prioritization Techniques Support Statistical Fault Localization.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
2008
An assessment of systems and software engineering scholars and institutions (2001-2005).
J. Syst. Softw., 2008
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System 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
Lean Implementations of Software Testing Tools Using XML Representations of Source Codes.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
A Scheme to Aid Construction of Left-Hand Sides of Axioms in Algebraic Specifications forObject-Oriented Program Testing.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 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
Commun. ACM, 2007
Transformation of UML interaction diagrams into contract specifications for object-oriented testing.
Proceedings of the IEEE International Conference on Systems, 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 40th Hawaii International International Conference on Systems Science (HICSS-40 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
An assessment of systems and software engineering scholars and institutions (2000-2004).
J. Syst. Softw., 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
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
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
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005
2004
Editorial.
Inf. Softw. Technol., 2004
On the identification of categories and choices for specification-based test case generation.
Inf. Softw. Technol., 2004
Towards the Application of Classification Techniques to Test and Identify Faults in Multimedia Systems.
Proceedings of the 4th International Conference on Quality Software (QSIC 2004), 2004
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
Computing Curriculum - Software Engineering: Its Impact on Professional Software Engineering Education.
Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004
2003
IEEE Trans. Software Eng., 2003
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003
Proceedings of the IEEE International Conference on Systems, 2003
A Strategy for Selecting Synchronization Sequences to Test Concurrent Object-Oriented Software.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003
2002
Inf. Softw. Technol., 2002
IEE Proc. Softw., 2002
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing.
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002
2001
TACCLE: a methodology for object-oriented software testing at the class and cluster levels.
ACM Trans. Softw. Eng. Methodol., 2001
J. Syst. Softw., 2001
Int. J. Softw. Eng. Knowl. Eng., 2001
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001
2000
ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.
Inf. Softw. Technol., 2000
Int. J. Softw. Eng. Knowl. Eng., 2000
Towards Harmonized Professional Standards for Software Engineers: Constraints, Conflicts, and Concessions.
Proceedings of the 24th International Computer Software and Applications Conference (COMPSAC 2000), 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000
1999
One System, Two Ideologies: Integrating the Two Worlds of Software Engineering Education.
Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999
1998
In Black and White: An Integrated Approach to Class-Level Testing of Object-Oriented Programs.
ACM Trans. Softw. Eng. Methodol., 1998
1997
Inf. Softw. Technol., 1997
1994
Inf. Softw. Technol., 1994
An Axiom-based Test Case Selection Strategy for Object-oriented Programs.
Proceedings of the Software Quality and Productivity: Theory, 1994
1993
Formal or Informal, Practical or Impractical: Towards Integrating Formal Methods with Informal Practices in Software Engineering Education.
Proceedings of the Software Engineering Education, Proceedings of the IFIP WG3.4/SEARCC (SRIG on Education and Training) Working Conference, Hong Kong, 28 September, 1993
1991
1989
1987
Comput. J., 1987
Integrating the Structured Analysis and Design Models: a Category-Theoretic Approach.
Aust. Comput. J., 1987
1986
ACM SIGSOFT Softw. Eng. Notes, 1986
Data Base, 1986
Integrating the Structured Analysis and Design Models: an Initial Algebra Approach.
Aust. Comput. J., 1986
1985
An Automation of Jackson's Structured Programming.
Aust. Comput. J., 1985
1982
A Review of System Development Systems.
Aust. Comput. J., 1982