T. H. Tse

According to our database1, T. H. Tse
  • authored at least 133 papers between 1982 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2016
5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing.
Journal of Systems and Software, 2016

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

A Subsumption Hierarchy of Test Case Prioritization for Composite Services.
IEEE Trans. Services Computing, 2015

Focus section on quality software.
Softw., Pract. Exper., 2015

Connecting the Average and the Non-Average: A Study of the Rates of Fault Detection in Testing WS-BPEL Services.
Int. J. Web Service Res., 2015

PORA: Proportion-Oriented Randomized Algorithm for Test Case Prioritization.
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
Improving the Effectiveness of Testing Pervasive Software via Context Diversity.
TAAS, 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

Focus section on program debugging.
Softw., Pract. Exper., 2013

A general noise-reduction framework for fault localization of Java programs.
Information & Software Technology, 2013

On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization.
Information & Software Technology, 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

Automated functional testing of online search services.
Softw. Test., Verif. Reliab., 2012

Special Issue on Dynamic Analysis and Testing of Embedded Software.
Journal of Systems and Software, 2012

EClass: An execution classification approach to improving the energy-efficiency of software via machine learning.
Journal of Systems and Software, 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?
Information & Software Technology, 2012

Fault Localization Based Only on Failed Runs.
IEEE 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

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
A Comparison of Tabular Expression-Based Testing Strategies.
IEEE Trans. Software Eng., 2011

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.
IEEE Trans. Software Eng., 2011

Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing.
Software Quality Journal, 2011

Assuring the model evolution of protocol software specifications by regression testing process improvement.
Softw., Pract. Exper., 2011

Non-parametric statistical fault localization.
Journal of Systems and Software, 2011

An assessment of systems and software engineering scholars and institutions (2003-2007 and 2004-2008).
Journal of Systems and Software, 2011

XML-manipulating test case prioritization for XML-manipulating services.
Journal of Systems and Software, 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

Precise Propagation of Fault-Failure Correlations in Program Flow Graphs.
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., Verif. Reliab., 2010

Fault localization through evaluation sequences.
Journal of Systems and Software, 2010

Adaptive Random Testing: The ART of test case diversity.
Journal of Systems and Software, 2010

CHOC'LATE: a framework for specification-based testing.
Commun. ACM, 2010

Correlating Context-Awareness and Mutation Analysis for Pervasive Computing Systems.
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.
Journal of Systems and Software, 2009

An assessment of systems and software engineering scholars and institutions (2002-2006).
Journal of Systems and Software, 2009

PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs.
Journal of Systems and Software, 2009

Is non-parametric hypothesis testing model robust for statistical fault localization?
Information & Software Technology, 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

Automatic Generation of Normal Forms for Testing Object-Oriented Software.
Proceedings of the Ninth International Conference on Quality Software, 2009

Adaptive Random Test Case Prioritization.
Proceedings of the ASE 2009, 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).
Journal of Systems and Software, 2008

Editorial.
Journal of Systems and Software, 2008

Toward Scalable Statistical Service Selection.
Proceedings of the Fourth IEEE International Symposium on Service-Oriented System 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

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

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

Fault Propagation in Tabular Expression-Based Specifications.
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
Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2007

Testing object-oriented industrial software without precise oracles or results.
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

An Innovative Approach to Tackling the Boundary Effect in Adaptive Random Testing.
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).
Journal of Systems and Software, 2006

Editorial.
Journal of Systems and Software, 2006

Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study.
Journal of Systems and Software, 2006

Integration Testing of Context-sensitive Middleware-based Applications: a Metamorphic Approach.
International Journal of Software Engineering and Knowledge Engineering, 2006

Guest Editors' Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2006

An empirical comparison between direct and indirect test result checking approaches.
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

Static Slicing for Pervasive Programs.
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
Identification of Categories and Choices in Activity Diagrams.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Fault-Based Testing of Database Application Programs with Conceptual Data Model.
Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

Research Directions on Model-Based Metamorphic Testing and Verification.
Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004
Editorial.
Information & Software Technology, 2004

On the identification of categories and choices for specification-based test case generation.
Information & Software Technology, 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

Testing Context-Sensitive Middleware-Based Software Applications.
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
A Choice Relation Framework for Supporting Category-Partition Test Case Generation.
IEEE Trans. Software Eng., 2003

Fault-based testing without the need of oracles.
Information & Software Technology, 2003

Metamorphic Testing and Beyond.
Proceedings of the 11th International Workshop on Software Technology and Engineering Practice (STEP 2003), 2003

A scheme for dynamic detection of concurrent execution of object-oriented software.
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
Special Issue for the Second Asia-Pacific Conference on Quality Software.
Information & Software Technology, 2002

Classification-tree restructuring methodologies: a new perspective.
IEE Proceedings - Software, 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

Towards a Problem-Driven Approach to Perspective-Based Reading.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Towards Research on Software Cybernetics.
Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Metamorphic Testing of Programs on Partial Differential Equations: A Case Study.
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

Proportional sampling strategy: a compendium and some insights.
Journal of Systems and Software, 2001

Quality Software - Guest Editor's Introduction.
International Journal of Software Engineering and Knowledge Engineering, 2001

Fault-Based Testing in the Absence of an Oracle.
Proceedings of the 25th International Computer Software and Applications Conference (COMPSAC 2001), 2001

2000
Test case selection with and without replacement.
Inf. Sci., 2000

ROCS: an object-oriented class-level testing system based on the Relevant Observable ContextS technique.
Information & Software Technology, 2000

An Integrated Classification-Tree Methodology for Test Case Generation.
International Journal of Software Engineering and Knowledge Engineering, 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

Testing of Large Number Multiplication Functions in Cryptographic Systems.
Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), 2000

On the Completeness of Test Cases for Atomic Arithmetic Expressions.
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
On the effectiveness of test case allocation schemes in partition testing.
Information & Software Technology, 1997

1994
The Application of Prolog to Structured Design.
Softw., Pract. Exper., 1994

The use of Prolog in the modelling and evaluation of structure charts.
Information & Software Technology, 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
An Examination of Requirements Specification Languages.
Comput. J., 1991

1989
Towards a Formal Foundation for DeMarco Data Flow Diagrams.
Comput. J., 1989

1987
On the Detection of Unstructuredness in Flowgraphs.
Inf. Process. Lett., 1987

The Identification of Program Unstructuredness: A Formal Approach.
Comput. J., 1987

Towards a Single Criterion for Identifying Program Unstructuredness.
Comput. J., 1987

Integrating the Structured Analysis and Design Models: a Category-Theoretic Approach.
Australian Computer Journal, 1987

1986
Towards a Unified Algebraic View of Structured Systems Development Models.
DATA BASE, 1986

Integrating the Structured Analysis and Design Models: an Initial Algebra Approach.
Australian Computer Journal, 1986

1985
An Automation of Jackson's Structured Programming.
Australian Computer Journal, 1985

1982
A Review of System Development Systems.
Australian Computer Journal, 1982


  Loading...