Our Logo
Prof. T.H. Tse 
Selected Publications 
by Research Areas 

Access to some papers may be denied if you are not registered users of the appropriate electronic libraries. Alternatively, technical reports or postprints are available to facilitate open access. Please contact Prof. T.H. Tse if you would like to receive a copy of any specific paper via email. See also Academia, ACM Digital Library, AMiner, DBLP, Google Scholar, HKU Scholars Hub, IEEE Xplore, ORCID, Publons, ResearchGate, ResearchID, Scopus, and Wikipedia.

A full list of Prof. Tse's publications is available at https://cs.hku.hk/~tse/Papers/.

  Highlight of International Ranking

Prof. T.H. Tse is ranked internationally as no. 2 among experts in metamorphic testing.

  SOFTWARE TESTING

  Test Case Selection

  1. T.Y. Chen and T.H. Tse, "New visions on metamorphic testing after a quarter of a century of inception", in Ideas, Visions and Reflections Track, Proceedings of the ACM Joint European Software Engineering Conference and Symposium on Foundations of Software Engineering (ESEC/FSE '21), ACM, New York, NY, USA, pp. 1487–1490 (2021).  [abstract | author-izer free download from ACM digital library]

  2. Z.Q. Zhou, C. Liu, T.Y. Chen, T.H. Tse, and W. Susilo, "Beating random test case prioritization", IEEE Transactions on Reliability 70 (2): 654–675 (2021).  Journal impact factor 5.0.  [abstract | paper from IEEE Xplore | technical report TR-2020-04]

  3. Z.Q. Zhou, T.H. Tse, and M. Witheridge, "Metamorphic robustness testing: Exposing hidden defects in citation statistics and journal impact factors", IEEE Transactions on Software Engineering 47 (6): 1164–1183 (2021).  Journal impact factor 6.5.  36 citations.  [abstract | free download from IEEE Xplore | free download from IEEE digital library | ICSE '20 journal-first presentation in YouTube | press release | reported in ScienceAlert, Nature Index, Communications of the ACM, Psychology Today, The Australian, and Wikipedia]

  4. J. Chen, Q. Bao, T.H. Tse, T.Y. Chen, J. Xi, C. Mao, M. Yu, and R. Huang, "Exploiting the largest available zone: A proactive approach to adaptive random testing by exclusion", IEEE Access 8: 52475–52488 (2020).  Journal impact factor 3.4.  [abstract | free download from IEEE Xplore]

  5. Z.Q. Zhou, T.H. Tse, and M. Witheridge, "An extended abstract of 'Metamorphic robustness testing: Exposing hidden defects in citation statistics and journal impact factors' ", Journal First Track, IEEE/ACM 42nd International Conference on Software Engineering (CSE '20), Seoul, South Korea (2020).  [ICSE presentation in YouTube | PowerPoint with sound recording | postprint of extended abstract | journal-first paper in IEEE Transactions on Software Engineering]

  6. C. Mao, X. Zhan, T.H. Tse, and T.Y. Chen, "KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing", IEEE Transactions on Reliability 68 (4): 1444–1469 (2019).  Journal impact factor 5.0.  [abstract | paper from IEEE Xplore | postprint]

  7. T.Y. Chen, F.-C. Kuo, H. Liu, P.-L. Poon, D. Towey, T.H. Tse, and Z.Q. Zhou, "Metamorphic testing: A review of challenges and opportunities", ACM Computing Surveys 51 (1): 4:1–4:27 (2018).  Journal impact factor 23.8.  465 citations.  [abstract | author-izer free download from ACM digital library]

  8. T.Y. Chen, F.-C. Kuo, R.G. Merkel, and T.H. Tse, "Adaptive random testing: The ART of test case diversity", Journal of Systems and Software 83 (1): 60–66 (2010).  Journal impact factor 3.7.  453 citations.  Selected as the Grand Champion of the Most Influential Paper Award by the Journal of Systems and Software.  [abstract | paper from ScienceDirect | postprint | invited blog post in JSS Editor's Selection | official announcement of grand championship]

  9. T.Y. Chen, T.H. Tse, and Y.T. Yu, "Proportional sampling strategy: A compendium and some insights", Journal of Systems and Software 58 (1): 65–81 (2001).  Journal impact factor 3.7.  184 citations.  [abstract | paper from ScienceDirect | postprint]

  10. H. Leung, T.H. Tse, F.T. Chan, and T.Y. Chen, "Test case selection with and without replacement", Information Sciences 129 (1–4): 81–103 (2000).  [abstract | paper from ScienceDirect | postprint]

  Object-Oriented Software

  1. H.Y. Chen and T.H. Tse, "Equality to equals and unequals: A revisit of the equivalence and nonequivalence criteria in class-level testing of object-oriented software", IEEE Transactions on Software Engineering 39 (11): 1549–1563 (2013).  Journal impact factor 6.5.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2013-06]

  2. T.H. Tse, F.C.M. Lau, W.K. Chan, P.C.K. Liu, and C.K.F. Luk, "Testing object-oriented industrial software without precise oracles or results", Communications of the ACM 50 (8): 78–85 (2007).  Journal impact factor 11.1.  28 citations.  [abstract | author-izer free download from ACM digital library]

  3. H.Y. Chen, T.H. Tse, and T.Y. Chen, "TACCLE: A methodology for object-oriented software testing at the class and cluster levels", ACM Transactions on Software Engineering and Methodology 10 (1): 56–109 (2001).  Journal impact factor 6.6.  261 citations.  [abstract | author-izer free download from ACM digital library | review by ACM Computing Reviews]

  4. H.Y. Chen, T.H. Tse, F.T. Chan, and T.Y. Chen, "In black and white: An integrated approach to class-level testing of object-oriented programs", ACM Transactions on Software Engineering and Methodology 7 (3): 250–295 (1998).  Journal impact factor 6.6.  270 citations.  [abstract | author-izer free download from ACM digital library | review by ACM Computing Reviews]

  Services Computing

  1. L. Mei, W.K. Chan, T.H. Tse, B. Jiang, and K. Zhai, "Preemptive regression testing of workflow-based web services", IEEE Transactions on Services Computing 8 (5): 740–754 (2015).  Journal impact factor 5.5.  The article was selected as the spotlight paper of this issue.  32 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2014-04]

  2. L. Mei, Y. Cai, C. Jia, B. Jiang, W.K. Chan, Z. Zhang, and T.H. Tse, "A subsumption hierarchy of test case prioritization for composite services", IEEE Transactions on Services Computing 8 (5): 658–673 (2015).  Journal impact factor 5.5.  33 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2014-07]

  3. L. Mei, W.K. Chan, and T.H. Tse, "Data flow testing of service choreography", in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundation of Software Engineering (ESEC/FSE '09), ACM, New York, NY, USA, pp. 151–160 (2009).  Acceptance rate 14.7%.  63 citations.  [abstract | author-izer free download from ACM digital library]

  4. L. Mei, Z. Zhang, W.K. Chan, and T.H. Tse, "Test case prioritization for regression testing of service-oriented business applications", in Proceedings of the 18th International Conference on World Wide Web (WWW '09), ACM, New York, NY, USA, pp. 901–910 (2009).  Acceptance rate 11.7%.  115 citations.  [abstract | author-izer free download from ACM digital library]

  5. L. Mei, W.K. Chan, and T.H. Tse, "Data flow testing of service-oriented workflow applications", in Proceedings of the 30th International Conference on Software Engineering (ICSE '08), ACM, New York, NY, USA, pp. 371–380 (2008).  Acceptance rate 15.1%.  115 citations.  According to ICSE reviewers, this work serves to "open the door to further investigation and research challenges."  [abstract | author-izer free download from ACM digital library]

  Pervasive Software

  1. H. Lu, W.K. Chan, and T.H. Tse, "Testing pervasive software in the presence of context inconsistency resolution services", in Proceedings of the 30th International Conference on Software Engineering (ICSE '08), ACM, New York, NY, USA, pp. 61–70 (2008).  Acceptance rate 15.1%.  77 citations.  [abstract | author-izer free download from ACM digital library]

  2. H. Lu, W.K. Chan, and T.H. Tse, "Testing context-aware middleware-centric programs: A data flow approach and an RFID-based experimentation", in Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT/FSE '06), ACM, New York, NY, USA, pp. 242–252 (2006).  Acceptance rate 20.0%.  133 citations.  [abstract | author-izer free download from ACM digital library]

  3. T.H. Tse, S.S. Yau, W.K. Chan, H. Lu, and T.Y. Chen, "Testing context-sensitive middleware-based software applications", in Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC '04), vol. 1, IEEE Computer Society, Los Alamitos, CA, USA pp. 458–465 (2004).  Evaluated as the best paper.  118 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2004-07]

  Formal Specifications

  1. X. Feng, D.L. Parnas, T.H. Tse, and T. O'Callaghan, "A comparison of tabular expression-based testing strategies", IEEE Transactions on Software Engineering 37 (5): 616–634 (2011).  Journal impact factor 6.5.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2009-19]

  Informal Specifications

  1. T.Y. Chen, P.-L. Poon, S.-F. Tang, and T.H. Tse, "DESSERT: A divide-and-conquer methodology for identifying categories, choices, and choice relations for test case generation", IEEE Transactions on Software Engineering 38 (4): 794–809 (2012).  Journal impact factor 6.5.  20 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2011-11]

  2. P.-L. Poon, S.-F. Tang, T.H. Tse, and T.Y. Chen, "CHOC'LATE: A framework for specification-based testing", Communications of the ACM 53 (4): 113–118 (2010).  Journal impact factor 11.1.  21 citations.  [abstract | author-izer free download from ACM digital library]

  3. T.Y. Chen, P.-L. Poon, and T.H. Tse, "A choice relation framework for supporting category-partition test case generation", IEEE Transactions on Software Engineering 29 (7): 577–593 (2003).  Journal impact factor 6.5.  96 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2003-01]

  SOFTWARE DEBUGGING

  Concurrent Systems

  1. T.Y. Chen, P. Hu, H. Li, and T.H. Tse, "An enhanced flow analysis technique for detecting unreachability faults in concurrent systems", Information Sciences 194 (7): 254–269 (2012).  [abstract | paper from ScienceDirect | technical report TR-2012-01]

  2. K. Zhai, B. Xu, W.K. Chan, and T.H. Tse, "CARISMA: A context-sensitive approach to race-condition sample-instance selection for multithreaded applications", in Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA '12), ACM, New York, NY, USA, pp. 221–231 (2012).  34 citations.  [abstract | author-izer free download from ACM digital library]

  Fault Localization

  1. W.E. Wong and T.H. Tse (eds.), Handbook of Software Fault Localization: Foundations and Advances, Wiley-IEEE Press, Hoboken, NY, USA, xiv + 590 pages (2023).  [abstract | formal website at Wiley Press | paperback edition US$250 | eBook edition US$100 from Wiley online library | online edition US$10 to US$42 per chapter from Wiley online library, or US$31 per chapter from IEEE Xplore | bookcover design by T.H. Tse]

  2. Z. Zhang, W.K. Chan, and T.H. Tse, "Fault localization based only on failed runs", IEEE Computer 45 (6): 64–71 (2012).  Journal impact factor 2.0.  56 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2012-04]

  3. Z. Zhang, W.K. Chan, T.H. Tse, B. Jiang, and X. Wang, "Capturing propagation of infected program states", in Proceedings of the 7th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundation of Software Engineering (ESEC/FSE '09), ACM, New York, NY, USA, pp. 43–52 (2009).  Acceptance rate 14.7%.  160 citations.  [abstract | author-izer free download from ACM digital library]

  4. Z. Zhang, B. Jiang, W.K. Chan, and T.H. Tse, "Debugging through evaluation sequences: A controlled experimental study", in Proceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC '08), IEEE Computer Society, Los Alamitos, CA, USA, pp. 128–135 (2008).  Best paper award.  Acceptance rate 19.5%.  20 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2008-07]

  INTEGRATION OF METHODS

  Integration of Proving, Testing, and Debugging

  1. T.Y. Chen, T.H. Tse, and Z.Q. Zhou, "Semi-proving: An integrated method for program proving, testing, and debugging", IEEE Transactions on Software Engineering 37 (1): 109–125 (2011).  Journal impact factor 6.5.  96 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2009-10]

  Integrating Test Case Prioritization and Fault Localization

  1. B. Jiang, W.K. Chan, and T.H. Tse, "On practical adequate test suites for integrated test case prioritization and fault localization", in Proceedings of the 11th International Conference on Quality Software (QSIC '11), IEEE Computer Society, Los Alamitos, CA, USA, pp. 21–30 (2011).  Best paper award.  27 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2011-10]

  2. B. Jiang, Z. Zhang, T.H. Tse, and T.Y. Chen, "How well do test case prioritization techniques support statistical fault localization", in Proceedings of the 33rd Annual International Computer Software and Applications Conference (COMPSAC '09), vol. 1, IEEE Computer Society, Los Alamitos, CA, USA, pp. 99–106 (2009).  Best paper award.  Acceptance rate 14.7%.  108 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | postprint]

  Integrating Formal and Practical Methods

  1. T.H. Tse, A Unifying Framework for Structured Analysis and Design Models: An Approach Using Initial Algebra Semantics and Category Theory, Cambridge Tracts in Theoretical Computer Science, vol. 11, Cambridge University Press, Cambridge, UK, xi + 179 pages. eBook edition, US$33.00 (2010).  Paperback edition, US$35.99 (2009).  Hardback edition, US$107.99 (1991).  55 citations.  [abstract | selected reviews]

  2. T.H. Tse and L. Pong, "Towards a formal foundation for DeMarco data flow diagrams", The Computer Journal 32 (1): 1–12 (1989).  Journal impact factor 1.5.  75 citations.  [abstract | free download from Oxford Journals]

  Comparison of Emerging Paradigms

  1. L. Mei, W.K. Chan, and T.H. Tse, "A tale of clouds: Paradigm comparisons and some thoughts on research issues", in Proceedings of the 2008 IEEE Asia-Pacific Services Computing Conference (APSCC '08), IEEE Computer Society, Los Alamitos, CA, USA, pp. 464–469 (2008).  384 citations.  [abstract | paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2008-14]

  EVERY VISITOR COUNTS:

  Cumulative visitor count