Our Logo
Publications 
by
Prof. T.H. Tse 

The following publications are listed in reversed chronological order within each category. 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 if you would like to receive a copy of any specific paper via email. See also ACM Guide to Computing Literature, Arnetminer, CiteSeer, Computer Science Bibliographies, DBLP, Google Scholar, HKU Scholars Hub, IEEE Xplore, ISI ResearchID, Microsoft Academic Search, ORCHID, ResearchGate, and Scopus.

A selected list of Prof. Tse's publications by research areas is available at http://www.cs.hku.hk/~tse/Papers/selected.html.

  Highlight of International Ranking

Prof. T.H. Tse is ranked international by Arnetminer as no. 2 among experts in the test oracle problem and no. 2 among experts in metamorphic testing.

 JOURNAL PAPERS

  1. C. Jia, Y. Cai, Y.T. Yu, and T.H. Tse, "5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing", Journal of Systems and Software 116: 206-219 (2016).  ISI impact factor 2.444.  [abstract | paper from ScienceDirect | free download from ScienceDirect until June 1, 2016 | technical report TR-2015-02]

  2. C. Jia, L. Mei, W.K. Chan, Y.T. Yu, and T.H. Tse, "Connecting the average and the non-average: A study of the rates of fault detection in testing WS-BPEL services", International Journal of Web Services Research 12 (3): 1-24 (2015).  [abstract | technical report TR-2015-01]

  3. 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).  ISI impact factor 3.520.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2014-07]

  4. 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).  ISI impact factor 3.520.  The article was selected as the spotlight paper of this issue. [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2014-04]

  5. H. Wang, W.K. Chan, and T.H. Tse, "Improving the effectiveness of testing pervasive software via context diversity", ACM Transactions on Autonomous and Adaptive Systems 9 (2): 9:1-9:28 (2014).  ISI impact factor 2.133.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2014-01]

  6. 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).  ISI impact factor 3.272.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2013-06]

  7. B. Jiang, K. Zhai, W.K. Chan, T.H. Tse, and Z. Zhang, "On the adoption of MC/DC and control-flow adequacy for a tight integration of program testing and statistical fault localization", Information and Software Technology 55 (5): 897-917 (2013).  ISI impact factor 2.694.  [abstract | paper from ScienceDirect | technical report TR-2012-14]

  8. J. Xu, Z. Zhang, W.K. Chan, T.H. Tse, and S. Li, "A general noise-reduction framework for fault localization of Java programs", Information and Software Technology 55 (5): 880-896 (2013).  ISI impact factor 2.694.  [abstract | paper from ScienceDirect | technical report TR-2012-13]

  9. 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).  ISI impact factor 4.832.  [abstract | paper from ScienceDirect | technical report TR-2012-01]

  10. 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).  ISI impact factor 3.272.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2011-11]

  11. B. Jiang, Z. Zhang, W.K. Chan, T.H. Tse, and T.Y. Chen, "How well does test case prioritization integrate with statistical fault localization?", Information and Software Technology 54 (7): 739-758 (2012).  ISI impact factor 2.694.  23 citations.  [abstract | paper from ScienceDirect | technical report TR-2012-02]

  12. E.Y.Y. Kan, W.K. Chan, and T.H. Tse, "EClass: An execution classification approach to improving the energy-efficiency of software via machine learning", Journal of Systems and Software 85 (4): 960-973 (2012).  ISI impact factor 2.444.  [abstract | paper from ScienceDirect | technical report TR-2011-14 | supplementary information]

  13. Z. Zhang, W.K. Chan, and T.H. Tse, "Fault localization based only on failed runs", IEEE Computer 45 (6): 64-71 (2012).  ISI impact factor 1.755.  20 citations.  [see the entry under "Invited Papers" here or the abstract here]

  14. Z.Q. Zhou, S. Zhang, M. Hagenbuchner, T.H. Tse, F.-C. Kuo, and T.Y. Chen, "Automated functional testing of online search services", Software Testing, Verification and Reliability 22 (4): 221-243 (2012).  ISI impact factor 1.588.  34 citations.  [abstract | paper from Wiley Online Library | technical report TR-2010-06]

  15. 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).  ISI impact factor 3.272.  45 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-10]

  16. 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).  ISI impact factor 3.272.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-19]

  17. B. Jiang, T.H. Tse, W. Grieskamp, N. Kicillof, Y. Cao, X. Li, and W.K. Chan, "Assuring the model evolution of protocol software specifications by regression testing process improvement", Software: Practice and Experience 41 (10): 1073-1103 (2011).  [abstract | paper from Wiley Online Library | technical report TR-2011-07]

  18. L. Mei, W.K. Chan, T.H. Tse, and R.G. Merkel, "XML-manipulating test case prioritization for XML-manipulating services", Journal of Systems and Software 84 (4): 603-619 (2011).  ISI impact factor 2.444.  25 citations.  [abstract | paper from ScienceDirect | technical report TR-2010-11]

  19. P.-L. Poon, T.H. Tse, S.-F. Tang, and F.-C. Kuo, "Contributions of tester experience and a checklist guideline to the identification of categories and choices for software testing", Software Quality Journal 19 (1): 141-163 (2011).  15 citations.  [abstract | paper from Springer | technical report TR-2010-09]

  20. Z. Zhang, W.K. Chan, T.H. Tse, Y.T. Yu, and P. Hu, "Non-parametric statistical fault localization", Journal of Systems and Software 84 (6): 885-905 (2011).  ISI impact factor 2.444.  37 citations.  [abstract | paper from ScienceDirect | technical report TR-2011-01]

  21. W.K. Chan, J.C.F. Ho, and T.H. Tse, "Finding failures from passed test cases: Improving the pattern classification approach to the testing of mesh simplification programs", Software Testing, Verification and Reliability 20 (2): 89-120 (2010).  ISI impact factor 1.588.  [abstract | paper from Wiley Online Library | technical report TR-2009-03]

  22. 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).  ISI impact factor 2.444.  144 citations.  Among the "most cited Journal of Systems and Software articles" since 2008.  [abstract | paper from ScienceDirect | technical report TR-2009-07]

  23. 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).  ISI impact factor 4.027.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2008-05]

  24. Z. Zhang, B. Jiang, W.K. Chan, T.H. Tse, and X. Wang, "Fault localization through evaluation sequences", Journal of Systems and Software 83 (2): 174-187 (2010).  ISI impact factor 2.444.  34 citations.  [abstract | paper from ScienceDirect | technical report TR-2009-20]

  25. W.K. Chan, S.C. Cheung, J.C.F. Ho, and T.H. Tse, "PAT: A pattern classification approach to automatic reference oracles for the testing of mesh simplification programs", Journal of Systems and Software 82 (3): 422-434 (2009).  ISI impact factor 2.444.  10 citations.  [abstract | paper from ScienceDirect | technical report TR-2007-10]

  26. Z. Zhang, W.K. Chan, T.H. Tse, and P. Hu, "Experimental study to compare the use of metamorphic testing and assertion checking", Journal of Software 20 (10): 2637-2654 (2009).  21 citations.  [abstract | paper from Journal of Software | technical report TR-2009-01]

  27. Z. Zhang, W.K. Chan, T.H. Tse, P. Hu, and X. Wang, "Is non-parametric hypothesis testing model robust for statistical fault localization?", Information and Software Technology 51 (11): 1573-1585 (2009).  ISI impact factor 2.694.  24 citations.  [abstract | paper from ScienceDirect | technical report TR-2009-11]

  28. Z. Zhang, W.K. Chan, T.H. Tse, H. Lu, and L. Mei, "Resource prioritization of code optimization techniques for program synthesis of wireless sensor network applications", Journal of Systems and Software 82 (9): 1376-1387 (2009).  ISI impact factor 2.444.  [abstract | paper from ScienceDirect | technical report TR-2009-02]

  29. 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).  ISI impact factor 4.027.  27 citations [abstract | paper with author-ized access from ACM digital library | technical report TR-2005-10]

  30. W.K. Chan, T.Y. Chen, H. Lu, T.H. Tse, and S.S. Yau, "Integration testing of context-sensitive middleware-based applications: A metamorphic approach", International Journal of Software Engineering and Knowledge Engineering 16 (5): 677-703 (2006).  37 citations.  [abstract | paper from World Scientific | technical report TR-2006-06]

  31. W.K. Chan, M.Y. Cheng, S.C. Cheung, and T.H. Tse, "Automatic goal-oriented classification of failure behaviors for testing XML-based multimedia software applications: An experimental case study", Journal of Systems and Software 79 (5): 602-612 (2006).  ISI impact factor 2.444.  15 citations.  [abstract | paper from ScienceDirect | technical report TR-2005-04]

  32. T.Y. Chen, P.-L. Poon, S.-F. Tang, T.H. Tse, and Y.T. Yu, "Applying testing to requirements inspection for software quality assurance", Information Systems Control Journal 6: 50-56 (2006).  [abstract | paper from Information Systems Control Journal | technical report TR-2006-14]

  33. T.Y. Chen, P.-L. Poon, S.-F. Tang, and T.H. Tse, "On the identification of categories and choices for specification-based test case generation", Information and Software Technology 46 (13): 887-898 (2004).  Among the ScienceDirect Top25 Hottest Articles in Information and Software Technology (2004).  ISI impact factor 2.694.  31 citations.  [abstract | paper from ScienceDirect | technical report TR-2004-02]

  34. 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).  ISI impact factor 3.272.  74 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2003-01]

  35. T.Y. Chen, T.H. Tse, and Z.Q. Zhou, "Fault-based testing without the need of oracles", Information and Software Technology 45 (1): 1-9 (2003).  ISI impact factor 2.694.  127 citations.  [abstract | paper from ScienceDirect | technical report TR-2002-07]

  36. T.Y. Chen, P.-L. Poon, and T.H. Tse "Classification-tree restructuring methodologies: A new perspective", IEE Proceedings: Software (renamed as IET Software with effect from 2007) 149 (2): 65-74 (2002).  The paper was described by the editor-in-chief as "one of the best [the journal] published recently".  [abstract | paper from IET digital library | paper from IEEE Xplore | editor's erratum | authors' original correct version]

  37. 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).  ISI impact factor 2.516.  258 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-97-07]

  38. 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).  ISI impact factor 2.444.  102 citations.  [abstract | paper from ScienceDirect | postprint]

  39. H.Y. Chen, T.H. Tse, and Y.T. Deng, "ROCS: An object-oriented class-level testing system based on the relevant observable contexts technique", Information and Software Technology 42 (10): 677-686 (2000).  ISI impact factor 2.694.  38 citations.  [abstract | paper from ScienceDirect | technical report TR-97-08]

  40. T.Y. Chen, P.-L. Poon, and T.H. Tse, "An integrated classification-tree methodology for test case generation", International Journal of Software Engineering and Knowledge Engineering 10 (6): 647-679 (2000).  43 citations.  [abstract | paper from World Scientific | postprint]

  41. 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).  ISI impact factor 4.832.  15 citations.  [abstract | paper from ScienceDirect | postprint]

  42. 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).  ISI impact factor 2.516.  267 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-96-07]

  43. F.T. Chan, T.Y. Chen, and T.H. Tse, "On the effectiveness of test case allocation schemes in partition testing", Information and Software Technology 39 (10): 719-726 (1997).  ISI impact factor 2.694.  15 citations.  [abstract | paper from ScienceDirect | postprint]

  44. T.H. Tse, T.Y. Chen, F.T. Chan, H.Y. Chen, and H.L. Xie, "The application of Prolog to structured design", Software: Practice and Experience 24 (7): 659-676 (1994).  14 citations.  [abstract | paper from Wiley Online Library | technical report TR-90-01]

  45. T.H. Tse, T.Y. Chen, and C.S. Kwok, "The use of Prolog in the modelling and evaluation of structure charts", Information and Software Technology 36 (1): 23-33 (1994).  ISI impact factor 2.694.  [abstract | paper from ScienceDirect] | postprint]

  46. T.H. Tse and L. Pong, "An examination of requirements specification languages", The Computer Journal 34 (2): 143-152 (1991).  ISI impact factor 0.711.  52 citations.  [abstract | paper from Oxford Journals | technical report TR-89-09 | an interesting Russian version]

  47. T.H. Tse and L. Pong, "Towards a formal foundation for DeMarco data flow diagrams", The Computer Journal 32 (1): 1-12 (1989).  ISI impact factor 0.711.  75 citations.  [abstract | paper from Oxford Journals | technical report TR-A6-86]

  48. T.H. Tse, "Integrating the structured analysis and design models: A category-theoretic approach", Journal of Research and Practice in Information Technology (formerly the Australian Computer Journal) 19 (1): 25-31 (1987).  13 citations.  [abstract | paper | technical report TR-A5-86]

  49. T.H. Tse, "Towards a single criterion for identifying program unstructuredness", The Computer Journal 30 (4): 378-380 (1987).  ISI impact factor 0.711.  [abstract | paper from Oxford Journals | technical report TR-A7-86]

  50. T.H. Tse, "The identification of program unstructuredness: A formal approach", The Computer Journal 30 (6): 507-511 (1987).  ISI impact factor 0.711.  [abstract | paper from Oxford Journals | technical report TR-C4-86]

  51. T.H. Tse, "On the detection of unstructuredness in flowgraphs", Information Processing Letters 25 (3): 189-193 (1987).  [abstract | paper from ScienceDirect | postprint]

  52. T.H. Tse, "Integrating the structured analysis and design models: An initial algebra approach", Journal of Research and Practice in Information Technology (formerly the Australian Computer Journal) 18 (3): 121-127 (1986).  19 citations.  [abstract | paper | technical report TR-A6-85]

  53. T.H. Tse, "Towards a unified algebraic view of structured systems development models", ACM SIGMIS Database 17 (4) (1986).  [paper from with author-ized access from ACM digital library | postprint]

  54. T.H. Tse and L. Pong, "An application of Petri nets in structured analysis", ACM SIGSOFT Software Engineering Notes 11 (5): 53-56 (1986).  11 citations.  [abstract | paper with author-ized access from ACM digital library | postprint]

  55. T.H. Tse, "An automation of Jackson's structured programming", Journal of Research and Practice in Information Technology (formerly the Australian Computer Journal) 17 (4): 154-162 (1985).  [abstract | paper]

  56. T.H. Tse and L. Pong, "A review of system development systems", Journal of Research and Practice in Information Technology (formerly the Australian Computer Journal) 14 (3): 99-109 (1982).  [abstract | paper | technical report TR-B4-82]
 CONFERENCE PAPERS AND BOOK CHAPTERS

  1. W.K. Chan, T.H. Tse, S. Wu, Y.T. Yu, and Z. Zhang, "Slope-based Sequencing Yardstick for Analyzing Unsatisfactory performance of multithreaded programs: An SSYAU trend estimation approach to performance bug localization", in Proceedings of the IEEE 39th Annual Computers, Software and Applications Conference (COMPSAC '15), Part I: The 2015 Stephen S. Yau Academic Symposium, IEEE Computer Society, Los Alamitos, CA, pp. 11-16 (2015).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2015-06]

  2. B. Jiang, W.K. Chan, and T.H. Tse, "PORA: Proportion-oriented randomized algorithm for test case prioritization", in Proceedings of the 2015 IEEE International Conference on Software Quality, Reliability and Security (QRS '15), IEEE Computer Society, Los Alamitos, CA, pp. 131-140 (2015).  Acceptance rate 22.0%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2015-07]

  3. C. Jia, L. Mei, W.K. Chan, Y.T. Yu, and T.H. Tse, "Is XML-based test case prioritization for validating WS-BPEL evolution effective in both average and adverse scenarios?", in Proceedings of the 2014 IEEE International Conference on Web Services (ICWS '14), IEEE Computer Society, Los Alamitos, CA, pp. 233-240 (2014).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | extendede version]

  4. E.Y.Y. Kan, W.K. Chan, and T.H. Tse, "CrowdAdaptor: A CrowdSourcing approach toward adaptive energy-efficient configurations of virtual machines hosting mobile applications", in Proceedings of the IEEE 38th Annual Computers, Software and Applications Conference (COMPSAC '14), IEEE Computer Society, Los Alamitos, CA, pp. 493-502 (2014).  Acceptance rate 21.5%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2014-06]

  5. W.K. Chan and T.H. Tse, "Oracles are hardly attain'd, and hardly understood: Confessions of software testing researchers", The Symposium on Engineering Test Harness (TSETH '13), in Proceedings of the 13th International Conference on Quality Software (QSIC '13), IEEE Computer Society, Los Alamitos, CA, pp. 245-252 (2013).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2013-03]

  6. C. Chow, T.Y. Chen, and T.H. Tse, "The ART of divide and conquer: An innovative approach to improving the efficiency of adaptive random testing", The Symposium on Engineering Test Harness (TSETH '13), in Proceedings of the 13th International Conference on Quality Software (QSIC '13), IEEE Computer Society, Los Alamitos, CA, pp. 268-275 (2013).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2013-04]

  7. P.-L. Poon, T.Y. Chen, and T.H. Tse, "Incremental identification of categories and choices for test case generation: A study of the software practitioners' preferences", The Symposium on Engineering Test Harness (TSETH '13), in Proceedings of the 13th International Conference on Quality Software (QSIC '13), IEEE Computer Society, Los Alamitos, CA, pp. 230-237 (2013).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2013-05]

  8. W.Y.S. Li, S. Wu, W.K. Chan, and T.H. Tse, "JSCloud: Toward remote execution of JavaScript code on handheld devices", The 2012 International Workshop on Embedded System Software Development and Quality Assurance (WESQA '12), in Proceedings of the 12th International Conference on Quality Software (QSIC '12), IEEE Computer Society, Los Alamitos, CA, pp. 240-245 (2012).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2012-09]

  9. L. Mei, K. Zhai, B. Jiang, W.K. Chan, and T.H. Tse, "Preemptive regression test scheduling strategies: A new testing approach to thriving on the volatile service environments", in Proceedings of the 36th Annual International Computer Software and Applications Conference (COMPSAC '12), IEEE Computer Society, Los Alamitos, CA, pp. 72-81 (2012).  Acceptance rate 18%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2012-05]

  10. P.-L. Poon, T.Y. Chen, and T.H. Tse, "Choices, choices: Comparing between CHOC'LATE and the classification-tree methodology", in Reliable Software Technologies: Ada-Europe '12, M. Brorsson and L.M. Pinho (eds.), Lecture Notes in Computer Science, vol. 7308, Springer, Berlin, Germany, pp. 162-176 (2012).  [abstract | paper from Springer | technical report TR-2012-03]

  11. 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, pp. 221-231 (2012).  12 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2012-08]

  12. 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, pp. 21-30 (2011).  Best paper award.  13 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2011-10]

  13. J. Xu, W.K. Chan, Z. Zhang, T.H. Tse, S. Li, "A dynamic fault localization technique with noise reduction for Java programs", in Proceedings of the 11th International Conference on Quality Software (QSIC '11), IEEE Computer Society, Los Alamitos, CA, pp. 11-20 (2011).  14 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2011-09]

  14. Z. Zhang, B. Jiang, W.K. Chan, and T.H. Tse, "Precise propagation of fault-failure correlations in program flow graphs", in Proceedings of the 35th Annual International Computer Software and Applications Conference (COMPSAC '11), IEEE Computer Society, Los Alamitos, CA, pp. 58-67 (2011).  Acceptance rate 20.6%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2011-08]

  15. B. Jiang, T.H. Tse, W. Grieskamp, N. Kicillof, Y. Cao, and X. Li, "Regression testing process improvement for specification evolution of real-world protocol software", in Proceedings of the 10th International Conference on Quality Software (QSIC '10), IEEE Computer Society, Los Alamitos, CA, pp. 62-71 (2010).  Acceptance rate 16.5%.  12 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2010-02]

  16. E.Y.Y. Kan, W.K. Chan, and T.H. Tse, "Leveraging performance and power savings for embedded systems using multiple target deadlines", The 1st International Workshop on Embedded System Software Development and Quality Assurance (WESQA '10), in Proceedings of the 10th International Conference on Quality Software (QSIC '10), IEEE Computer Society, Los Alamitos, CA, pp. 473-480 (2010).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2010-05]

  17. H. Wang, K. Zhai, and T.H. Tse, "Correlating context-awareness and mutation analysis for pervasive computing systems", in Proceedings of the 10th International Conference on Quality Software (QSIC '10), IEEE Computer Society, Los Alamitos, CA, pp. 151-160 (2010).  Acceptance rate 16.5%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2010-03]

  18. K. Zhai, B. Jiang, W.K. Chan, and T.H. Tse, "Taking advantage of service selection: A study on the testing of location-based web services through test case prioritization", in Proceedings of the IEEE International Conference on Web Services (ICWS '10), IEEE Computer Society, Los Alamitos, CA, pp. 211-218 (2010).  Acceptance rate 17.6%.  24 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2010-04]

  19. H.Y. Chen and T.H. Tse, "Automatic generation of normal forms for testing object-oriented software", in Proceedings of the 9th International Conference on Quality Software (QSIC '09), IEEE Computer Society, Los Alamitos, CA, pp. 108-116 (2009).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | revised version TR-2009-17]

  20. B. Jiang, W.K. Chan, Z. Zhang, and T.H. Tse, "Where to adapt dynamic service compositions", in Proceedings of the 18th International Conference on World Wide Web (WWW '09), ACM, New York, NY, pp. 1123-1124 (2009).  [abstract | paper with author-ized access from ACM digital library | technical report TR-2009-04]

  21. B. Jiang, Z. Zhang, W.K. Chan, and T.H. Tse, "Adaptive random test case prioritization", in Proceedings of the 24th IEEE/ACM International Conference on Automated Software Engineering (ASE '09), IEEE Computer Society, Los Alamitos, CA, pp. 233-244 (2009).  Acceptance rate 17.1%.  112 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-18]

  22. 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, pp. 99-106 (2009).  Best paper award.  Acceptance rate 14.7%.  43 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-09]

  23. 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 '09/FSE-17), ACM, New York, NY, pp. 151-160 (2009).  Acceptance rate 14.7%.  36 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2009-15]

  24. L. Mei, W.K. Chan, T.H. Tse, and F.-C. Kuo, "An empirical study of the use of Frankl-Weyuker data flow testing criteria to test BPEL Web services", in Proceedings of the 33rd Annual International Computer Software and Applications Conference (COMPSAC '09), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 81-88 (2009).  Acceptance rate 20.3%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-08]

  25. L. Mei, W.K. Chan, T.H. Tse, and R.G. Merkel, "Tag-based techniques for black-box test case prioritization for service testing", in Proceedings of the 9th International Conference on Quality Software (QSIC '09), IEEE Computer Society, Los Alamitos, CA, pp. 21-30 (2009).  25 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2009-16]

  26. 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, pp. 901-910 (2009).  Acceptance rate 11.7%.  56 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2009-05]

  27. T.H. Tse, "Position statement: Conventional wisdom works in conventional circumstances: towards new solutions to new paradigms that challenge software testing", in Proceedings of the 33rd Annual International Computer Software and Applications Conference (COMPSAC '09), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 1iv-1v (2009).  [paper]

  28. 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 '09/FSE-17), ACM, New York, NY, pp. 43-52 (2009).  Acceptance rate 14.7%.  87 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2009-14]

  29. H.Y. Chen, L. Tan, and T.H. Tse, "A scheme to aid construction of left-hand sides of axioms in algebraic specifications for object-oriented program testing", in Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE '08), vol. 2, IEEE Computer Society, Los Alamitos, CA, pp. 747-750 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-12]

  30. X. Feng, D.L. Parnas, and T.H. Tse, "Fault propagation in tabular expression-based specifications", in Proceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC '08), IEEE Computer Society, Los Alamitos, CA, pp. 180-183 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-06]

  31. P. Hu, Z. Zhang, W.K. Chan, and T.H. Tse, "Fault localization with non-parametric program behavior model", in Proceedings of the 8th International Conference on Quality Software (QSIC '08), IEEE Computer Society, Los Alamitos, CA, pp. 385-395 (2008).  11 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-08]

  32. 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, pp. 61-70 (2008).  Acceptance rate 15.1%.  43 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2008-01]

  33. 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, pp. 464-469 (2008).  232 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-14]

  34. L. Mei, W.K. Chan, and T.H. Tse, "An adaptive service selection approach to service composition", in Proceedings of the IEEE International Conference on Web Services (ICWS '08), IEEE Computer Society, Los Alamitos, CA, pp. 70-77 (2008).  Acceptance rate 15.9%.  55 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-10]

  35. 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, pp. 371-380 (2008).  Acceptance rate 15.1%.  79 citations.  According to ICSE reviewers, this work serves to "open the door to further investigation and research challenges."  [abstract | paper with author-ized access from ACM digital library | technical report TR-2008-02]

  36. Y.X. Sun, H.Y. Chen, and T.H. Tse, "Lean implementations of software testing tools using XML representations of source codes", in Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE '08), vol. 2, IEEE Computer Society, Los Alamitos, CA, pp. 708-711 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-11]

  37. 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, pp. 128-135 (2008).  Best paper award.  Acceptance rate 19.5%.  13 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-07]

  38. W.K. Chan, T.Y. Chen, S.C. Cheung, T.H. Tse, and Z. Zhang, "Towards the testing of power-aware software applications for wireless sensor networks", in Reliable Software Technologies: Ada-Europe '07, N. Abdennadher and F. Kordon (eds.), Lecture Notes in Computer Science, vol. 4498, Springer, Berlin, Germany, pp. 84-99 (2007).  15 citations.  [abstract | paper from Springer | technical report TR-2007-05]

  39. W.K. Chan, J.C.F. Ho, and T.H. Tse, "Piping classification to metamorphic testing: An empirical study towards better effectiveness for the identification of failures in mesh simplification programs", in Proceedings of the 31st Annual International Computer Software and Applications Conference (COMPSAC '07), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 397-404 (2007).  Acceptance rate 18.2%.  15 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2007-04]

  40. H.Y. Chen, C. Li, and T.H. Tse, "Transformation of UML interaction diagrams into contract specifications for object-oriented testing", in Proceedings of the 2007 IEEE International Conference on Systems, Man, and Cybernetics (SMC '07), IEEE Computer Society, Los Alamitos, CA, pp. 1298-1303 (2007).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2007-08]

  41. T.Y. Chen, D.H. Huang, T.H. Tse, and Z. Yang, "An innovative approach to tackling the boundary effect in adaptive random testing", in Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS-40), IEEE Computer Society, Los Alamitos, CA (2007).  16 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2006-10]

  42. X. Feng, D.L. Parnas, and T.H. Tse, "Tabular expression-based testing strategies: A comparison", in Proceedings of the Testing — Academic and Industrial Conference — Practice And Research Techniques (TAICPART-MUTATION '07), IEEE Computer Society, Los Alamitos, CA, p. 134 (2007).  [abstract | paper from IEEE digital library | postprint]

  43. Z. Zhang, W.K. Chan, and T.H. Tse, "Synthesizing component-based WSN applications via automatic combination of code optimization techniques", in Proceedings of the 7th International Conference on Quality Software (QSIC '07), IEEE Computer Society, Los Alamitos, CA, pp. 181-190 (2007).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2007-11]

  44. P. Hu, Z. Zhang, W.K. Chan, and T.H. Tse, "An empirical comparison between direct and indirect test result checking approaches", in Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA '06) (in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT '06/FSE-14)), ACM, New York, NY, pp. 6-13 (2006).  31 citations.  [abstract | paper with author-ized access from ACM digital library | technical report TR-2006-13]

  45. H. Lu, W.K. Chan, and T.H. Tse, "Static slicing for pervasive programs", in Proceedings of the 6th International Conference on Quality Software (QSIC '06), IEEE Computer Society, Los Alamitos, CA, pp. 185-192 (2006).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2006-09]

  46. 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 '06/FSE-14), ACM, New York, NY, pp. 242-252 (2006).  Acceptance rate 20.0%.  68 citations [abstract | paper with author-ized access from ACM digital library | technical report TR-2006-03]

  47. W.K. Chan, S.C. Cheung, J.C.F. Ho, and T.H. Tse, "Reference models and automatic oracles for the testing of mesh simplification software for graphics rendering", in Proceedings of the 30th Annual International Computer Software and Applications Conference (COMPSAC '06), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 429-438 (2006).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2006-04]

  48. W.K. Chan, T.Y. Chen, H. Lu, T.H. Tse, and S.S. Yau, "A metamorphic approach to integration testing of context-sensitive middleware-based applications", in Proceedings of the 5th International Conference on Quality Software (QSIC '05), IEEE Computer Society, Los Alamitos, CA, pp. 241-249 (2005).  33 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2005-05]

  49. W.K. Chan, S.C. Cheung, and T.H. Tse, "Fault-based testing of database application programs with conceptual data model", in Proceedings of the 5th International Conference on Quality Software (QSIC '05), IEEE Computer Society, Los Alamitos, CA, pp. 187-196 (2005).  48 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2005-06]

  50. T.Y. Chen, P.-L. Poon, S.-F. Tang, and T.H. Tse, "Identification of categories and choices in activity diagrams", in Proceedings of the 5th International Conference on Quality Software (QSIC '05), IEEE Computer Society, Los Alamitos, CA, pp. 55-63 (2005).  17 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2005-07]

  51. F.T. Chan, T.H. Tse, W.H. Tang, and T.Y. Chen, "Software testing education and training in Hong Kong", The 1st International Workshop on Education and Training for Quality Software Engineering, in Proceedings of the 5th International Conference on Quality Software (QSIC '05), IEEE Computer Society, Los Alamitos, CA, pp. 313-316 (2005).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  52. T.H. Tse, "Research directions in model-based metamorphic testing and verification", in Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC '05), vol. 1, IEEE Computer Society, Los Alamitos, CA, p. 332 (2005).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  53. A. Cain, T.Y. Chen, D. Grant, P.-L. Poon, S.-F. Tang, and T.H. Tse, "An automatic test data generation system based on the integrated classification-tree methodology", Software Engineering Research and Applications, C.V. Ramamoorthy, R.Y. Lee, and K.W. Lee (eds.), Lecture Notes in Computer Science, vol. 3026, Springer, Berlin, Germany, pp. 225-238 (2004).  [abstract | paper from Springer | technical report TR-2004-04]

  54. T.Y. Chen, D.H. Huang, T.H. Tse, and Z.Q. Zhou, "Case studies on the selection of useful relations in metamorphic testing", in Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering (JIISIC '04), Polytechnic University of Madrid, Madrid, Spain, pp. 569-583 (2004).  93 citations.  [abstract | paper from JIISIC 2004 | technical report TR-2004-13]

  55. M.Y. Cheng, S.C. Cheung, and T.H. Tse, "Towards the application of classification techniques to test and identify faults in multimedia systems", in Proceedings of the 4th International Conference on Quality Software (QSIC '04), IEEE Computer Society, Los Alamitos, CA, pp. 32-40 (2004).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2004-05]

  56. C.-A. Sun, K.Y. Sim, T.H. Tse, and T.Y. Chen, "An empirical evaluation and analysis of the fault-detection capability of MUMCUT for general Boolean expressions", in Proceedings of the International Computer Symposium (ICS '04), Taipei, Taiwan, pp. 926-932 (2004).  [abstract | paper from ICS '04 | postprint]

  57. T.H. Tse, "Computing curriculum — software engineering: Its impacts on professional software engineering education", in Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC '04), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 176-177 (2004).  [abstract | paper from IEEE digital library | paper from IEEE Xplore] | postprint]

  58. 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, pp. 458-465 (2004).  Evaluated as the best paper.  76 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2004-07]

  59. Z.Q. Zhou, D.H. Huang, T.H. Tse, Z. Yang, H. Huang, and T.Y. Chen, "Metamorphic testing and its applications", in Proceedings of the 8th International Symposium on Future Software Technology (ISFST '04), Software Engineers Association, Tokyo, Japan (2004).  80 citations.  [abstract | paper from ISFST '04 | technical report TR-2004-12]

  60. A. Cain, T.Y. Chen, D. Grant, P.-L. Poon, S.-F. Tang, and T.H. Tse, "ADDICT: A prototype system for automated test data generation using the integrated classification-tree methodology", in Proceedings of the 1st ACIS International Conference on Software Engineering Research and Applications (SERA '03), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 76-81 (2003).  [abstract | technical report TR-2003-03]

  61. H.Y. Chen, Y.X. Sun, and T.H. Tse, "A scheme for dynamic detection of concurrent execution of object-oriented software", in Proceedings of the 2003 IEEE International Conference on Systems, Man, and Cybernetics (SMC '03), vol. 5, IEEE Computer Society, Los Alamitos, CA, pp. 4828-4833 (2003).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2003-04]

  62. H.Y. Chen, Y.X. Sun, and T.H. Tse, "A strategy for selecting synchronization sequences to test concurrent object-oriented software", in Proceedings of the 27th Annual International Computer Software and Applications Conference (COMPSAC '03), IEEE Computer Society, Los Alamitos, CA, pp. 198-203 (2003).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | revised version TR-2003-05]

  63. T.Y. Chen, F.-C. Kuo, T.H. Tse, and Z.Q. Zhou, "Metamorphic testing and beyond", in Proceedings of the International Workshop on Software Technology and Engineering Practice (STEP '03), IEEE Computer Society, Los Alamitos, CA, pp. 94-100 (2003).  41 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2003-06]

  64. K.-Y. Cai, T.Y. Chen, and T.H. Tse, "Towards research on software cybernetics", in Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE '02), IEEE Computer Society, Los Alamitos, CA, pp. 240-241 (2002).  44 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2002-10]

  65. W.K. Chan, T.Y. Chen, and T.H. Tse, "An overview of integration testing techniques for object-oriented programs", in Proceedings of the 2nd ACIS Annual International Conference on Computer and Information Science (ICIS '02), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 696-701 (2002).  44 citations.  [abstract | technical report TR-2002-03]

  66. T.Y. Chen, M.Y. Cheng, P.-L. Poon, T.H. Tse, and Y.T. Yu, "A study on input domain partitioning", in Proceedings of the 20th IASTED International Multi-Conference on Applied Informatics (AI '02), ACTA Press, Calgary, Canada, pp. 176-181 (2002).  [abstract | paper from ACTA Press | postprint]

  67. T.Y. Chen, J. Feng, and T.H. Tse, "Metamorphic testing of programs on partial differential equations: A case study", in Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC '02), IEEE Computer Society, Los Alamitos, CA, pp. 327-333 (2002).  91 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  68. T.Y. Chen, P.-L. Poon, S.F. Tang, and T.H. Tse, "An experimental analysis of the identification of categories and choices from specifications", in Proceedings of the 3rd ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD '02), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 99-106 (2002).  [abstract | postprint]

  69. T.Y. Chen, P.-L. Poon, S.F. Tang, T.H. Tse, and Y.T. Yu, "Towards a problem-driven approach to perspective-based reading", in Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE '02), IEEE Computer Society, Los Alamitos, CA, pp. 221-229 (2002).  13 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2002-01]

  70. T.Y. Chen, T.H. Tse, and Z.Q. Zhou, "Semi-proving: An integrated method based on global symbolic evaluation and metamorphic testing", in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '02), ACM, New York, NY, pp. 191-195 (2002).  99 citations.  [abstract | paper with author-ized access from ACM digital library | postprint]

  71. T.H. Tse, "Software engineering professionalism: Is the end of constraints and conflicts in sight?", in Proceedings of the 26th Annual International Computer Software and Applications Conference (COMPSAC '02), IEEE Computer Society, Los Alamitos, CA, pp. 347-348 (2002).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  72. T.Y. Chen, T.H. Tse, and Z.Q. Zhou, "Fault-based testing in the absence of an oracle", in Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC '01), IEEE Computer Society, Los Alamitos, CA, pp. 172-178 (2001).  32 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  73. T.Y. Chen, W.H. Kwok, and T.H. Tse, "Improving the effectiveness of the classification-tree methodology in software testing", in Proceedings of the 4th Annual IASTED International Conference on Software Engineering and Applications (SEA '00), ACTA Press, Calgary, Canada, pp. 43-48 (2000).  [abstract | paper | postprint]

  74. T.H. Tse, "Towards harmonized professional standards for software engineers: Constraints, conflicts and concessions", in Proceedings of the 24th Annual International Computer Software and Applications Conference (COMPSAC '00), IEEE Computer Society, Los Alamitos, CA, pp. 346-347 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  75. T.H. Tse, T.Y. Chen, and X. Feng, "On the completeness of test cases for atomic arithmetic expressions", in Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS '00), IEEE Computer Society, Los Alamitos, CA, pp. 149-155 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  76. T.H. Tse, T.Y. Chen, and Z.Q. Zhou, "Testing of large number multiplication functions in cryptographic systems", in Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS '00), IEEE Computer Society, Los Alamitos, CA, pp. 89-98 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  77. T.Y. Chen, P.-L. Poon, and T.H. Tse, "A new restructuring algorithm for the classification-tree method", in Proceedings of the 9th International Workshop on Software Technology and Engineering Practice (STEP '99), IEEE Computer Society, Los Alamitos, CA, pp. 105-114 (1999).  14 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  78. T.H. Tse, "One system, two ideologies: Integrating the two worlds of software engineering education", in Proceedings of the 23rd Annual International Computer Software and Applications Conference (COMPSAC '99), IEEE Computer Society, Los Alamitos, CA, pp. 246-247 (1999).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint]

  79. T.H. Tse, "Integrating object-oriented and formal specifications: A FOOD approach", in Proceedings of IT Congress '97, Macau, pp. 187-192 (1997).  [abstract | technical report TR-96-01]

  80. T.H. Tse and C.P. Cheng, "NOODLE++: A 3-dimensional net-based object-oriented development model", in Methods Integration: Proceedings of the 2nd Methods Integration Workshop, A. Bryant and L. Semmens (eds.), electronic Workshops in Computing (eWiC) series, Springer, London (1996).  [abstract | paper from British Computer Society | technical report TR-95-04]

  81. T.H. Tse and Z. Xu, "A formal framework for improving object-oriented software testing", 13th International Conference on Testing Computer Software, Washington, DC (1996).  [abstract | extended abstract]

  82. T.H. Tse and Z. Xu, "Test case generation for class-level object-oriented testing", in Quality Process Convergence: Proceedings of the 9th International Software Quality Week (QW '96), San Francisco, CA, pp. 4T4.0-4T4.12 (1996).  29 citations.  [abstract | postprint]

  83. T.H. Tse, F.T. Chan, and H.Y. Chen, "An axiom-based test case selection strategy for object-oriented programs", in Software Quality and Productivity: Theory, Practice, Education, and Training, M. Lee, B.-Z. Barta, and P. Juliff (eds.), Chapman and Hall, London, pp. 107-114 (1995).  15 citations.  [abstract | paper from Springer | technical report TR-94-02]

  84. T.H. Tse, "Formal or informal, practical or impractical: Towards integrating formal methods with informal practices in software engineering education", in Software Engineering Education, B.-Z. Barta, S.L. Hung, and K.R. Cox (eds.), IFIP Transactions A: Computer Science and Technology, vol. A-40, Elsevier, Amsterdam, The Netherlands, pp. 189-197 (1993).  [abstract | postprint]

  85. T.H. Tse and C.P. Cheng, "Towards a 3-dimensional net-based object-oriented development environment (NOODLE)", 5th International Congress on Computational and Applied Mathematics (ICCAM '92), Leuven, Belgium (1992).  [abstract | technical report TR-92-05]

  86. T.H. Tse and J.A. Goguen, "Functional object-oriented design (FOOD)", in Foundations of Information Systems Specification and Design, Dagstuhl Seminar Report No. 35, H.-D. Ehrich, A. Sernadas, and J.A. Goguen (eds.), International Conference and Research Center for Computer Science, Wadern, Germany (1992).  12 citations.  [abstract]

  87. T.Y. Chen, C.S. Kwok, W.H. Tang, and T.H. Tse, "Evaluation of structure charts: A logic programming approach", in Databases in the 1990s 2: Proceedings of the 2nd Australian Conference on Database and Information Systems, B. Srinivasan and J. Zeleznikow (eds.), Sydney, Australia, pp. 270-284 (1991).  [abstract | technical report TR-89-08]

  88. T.H. Tse, "An input design for communication systems for non-vocal physically disabled users", in Proceedings of the International Conference on Text Processing with a Large Character Set, Tokyo, Japan, pp. 15-20 (1983).  [abstract | technical report TR-A2-83]

  89. T.H. Tse, "The use of microcomputers as a communication aid for cerebral palsied students", in VLSI and Microcomputers: Today and Tomorrow: Proceedings of the 1st IEEE Trends in Electronics Conference, IEEE Computer Society, Los Alamitos, CA, pp. 34-39 (1982).
 INVITED PAPERS

  1. T.H. Tse, "Keynote Speech VI: Even the very wise cannot see all ends: Many facets of the test oracle problem", in Proceedings of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS '16), IEEE Computer Society, Los Alamitos, CA, p. xxviii (2016).  [postprint]

  2. W.E. Wong and T.H. Tse, "Message from the QRS 2016 steering committee chairs", in Proceedings of the 2016 IEEE International Conference on Software Quality, Reliability and Security (QRS '16), IEEE Computer Society, Los Alamitos, CA, pp. xii-xiii (2016).  [postprint]

  3. B. Hofer, R. Abreu, W.E. Wong, and T.H. Tse, "Message from the IWPD 2015 chairs", Proceedings of the 2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '15), IEEE Computer Society, Los Alamitos, CA (2015). 

  4. T.H. Tse, A. Gotlieb, and Z. Chen, "Editorial: Focus section on quality software", Software: Practice and Experience 45 (7): 873-874 (2015).  [paper from Wiley Online Library | postprint]

  5. S. Ghosh, J.J. Li,, W.E. Wong, and T.H. Tse, "Message from the IWPD 2014 workshop organizers", in Proceedings of the 2014 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '14), IEEE Computer Society, Los Alamitos, CA, p. xxviii (2014).  [paper]

  6. T.H. Tse, "Editorial: Focus section on program debugging", Software: Practice and Experience 43 (8): 969-970 (2013).  [paper from Wiley Online Library | postprint]

  7. W.E. Wong and T.H. Tse, "Message from the IWPD 2013 workshop organizers", in Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '13), IEEE Computer Society, Los Alamitos, CA (2013).  [paper]

  8. M. Zulkernine, I. Crnkovic, T.H. Tse, B. McMillin, and T. Uehara, "Software assurance: What should we do next?", in Proceedings of the IEEE 37th Annual Computers, Software and Applications Conference (COMPSAC '13), IEEE Computer Society, Los Alamitos, CA, p. 478 (2013).  [paper from IEEE digital library | paper from IEEE Xplore ]

  9. H. Agrawal, Z. Chen, W.E. Wong, and T.H. Tse, "Message from the IWPD 2012 workshop organizers", in Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW '12), IEEE Computer Society, Los Alamitos, CA, p. xxii (2012).  [paper]

  10. S.C. Cheung and T.H. Tse, "Message from the general chairs", in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC '12), IEEE Computer Society, Los Alamitos, CA, p. xvi (2012).  [paper]

  11. W.E. Wong, W.K. Chan, T.H. Tse, and F.-C. Kuo, "Editorial", Special Issue on Dynamic Analysis and Testing of Embedded Software, Journal of Systems and Software 85 (1): 1-2 (2012).  ISI impact factor 2.444.  [paper from ScienceDirect | postprint]

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

  13. J.H. Park, S.-M. Hwang, T.H. Tse, S.-S. Yeo, S.I. Ahamed, and X. Bai, "Message from the ICASE 2011 organizers", in Proceedings of the IEEE 9th International Symposium on Parallel and Distributed Processing with Applications Workshops (ISPAW '11), IEEE Computer Society, Los Alamitos, CA, p. xxxv (2011).  [paper]

  14. W.E. Wong and T.H. Tse, "Message from the workshop organizers: The second IEEE international workshop on program debugging (IWPD '11)", in Proceedings of the 35th Annual International Computer Software and Applications Conference Workshops (COMPSACW '11), IEEE Computer Society, Los Alamitos, CA, pp. xlviii (2011).  [paper]

  15. W.E. Wong, T.H. Tse, R.L. Glass, V.R. Basili, and T.Y. Chen, "An assessment of systems and software engineering scholars and institutions (2003-2007) and (2004-2008)", Journal of Systems and Software 84 (1): 162-168 (2011).  ISI impact factor 2.444.  [abstract | paper from ScienceDirect | technical report TR-2010-12]

  16. T.H. Tse, "Message from the steering committee chair", in Proceedings of the 10th International Conference on Quality Software (QSIC '10), IEEE Computer Society, Los Alamitos, CA, p. xii (2010).  [paper]

  17. T.H. Tse, "Shanghai inspirations: Reflections from the exchange visit", PHAB News, pp. 4-7 (December 2010).  [paper]

  18. T.H. Tse, C.C. Ko, J. Leung, and R. Liang, "I phone, therefore I can: The use of iPhones as augmentative and alternative communication devices to facilitate social inclusion of people with autism spectrum disorders", 2010 Human Service Information Technology Applications (HUSITA 9), in 2010 Joint World Conference on Social Work and Social Development: The Agenda (SWSD '10), Hong Kong, p. 347 (2010).  [abstract]

  19. Q. Wang, T.H. Tse, and Z. Zhang, "Message from the workshop chairs: The first international workshop on program debugging in China (IWPDC '10)" in Proceedings of the 10th International Conference on Quality Software (QSIC '10), IEEE Computer Society, Los Alamitos, CA, p. xix (2010).  [paper]

  20. W.E. Wong, T.H. Tse, R.L. Glass, V.R. Basili, and T.Y. Chen, "An assessment of systems and software engineering scholars and institutions (2002-2006)", Journal of Systems and Software 82 (8): 1370-1373 (2009).  ISI impact factor 2.444.  10 citations.  [abstract | paper from ScienceDirect | postprint]

  21. L. Mei, W.K. Chan, and T.H. Tse, "Toward scalable statistical service selection", in Proceedings of the IEEE International Symposium on Service-Oriented System Engineering (SOSE '08), IEEE Computer Society, Los Alamitos, CA, pp. 166-171 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | technical report TR-2008-17]

  22. T.H. Tse and W.E. Wong, "Editorial", Special Issue on Model-Based Software Testing, Journal of Systems and Software 81 (2): 159-160 (2008).  ISI impact factor 2.444.  [paper from ScienceDirect | postprint]

  23. W.E. Wong, T.H. Tse, R.L. Glass, V.R. Basili, and T.Y. Chen, "An assessment of systems and software engineering scholars and institutions (2001-2005)", Journal of Systems and Software 81 (6): 1059-1062 (2008).  ISI impact factor 2.444.  [abstract | paper from ScienceDirect | postprint]

  24. H. Mei and T.H. Tse, "Guest editors' introduction", Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 17 (6): 687-688 (2007).  [paper from World Scientific | postprint]

  25. F.T. Chan, T.H. Tse, W.H. Tang, and T.Y. Chen, "A survey of software testing practices in Hong Kong", Research Report 011, HKU SPACE, The University of Hong Kong, Pokfulam, Hong Kong (2007).  [abstract | paper]

  26. K.-Y. Cai, A. Ohnishi, and T.H. Tse, "Guest editors' introduction", Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 16 (5): 653-654 (2006).  [paper from World Scientific | postprint]

  27. H.-D. Ehrich, K.-D. Schewe, and T.H. Tse, "Editorial", Special Issue for the Fourth International Conference on Quality Software, Journal of Systems and Software 79 (5): 575-576 (2006).  ISI impact factor 2.444.  [paper from ScienceDirect | postprint]

  28. T.H. Tse, T.Y. Chen, and R.L. Glass, "An assessment of systems and software engineering scholars and institutions (2000-2004)", ISI impact factor 2.444.  Journal of Systems and Software 79 (6): 816-819 (2006).  21 citations.  [abstract | paper from ScienceDirect | postprint]

  29. T.H. Tse, "Message from the steering committee chair", in Proceedings of the 5th International Conference on Quality Software (QSIC '05), IEEE Computer Society, Los Alamitos, CA, p. x (2005).  [paper]

  30. H. Lin, H.-D. Ehrich, and T.H. Tse, "Editorial", Special Issue for the Third International Conference on Quality Software, Information and Software Technology 46 (15): 987-988 (2004).  ISI impact factor 2.694.  [paper from ScienceDirect | postprint]

  31. T.Y. Chen, T.H. Tse, and Y.T. Yu, "Guest editorial", Special Issue for the Second Asia-Pacific Conference on Quality Software, Information and Software Technology 44 (14): 839-840 (2002).  ISI impact factor 2.694.  [paper from ScienceDirect | postprint]

  32. T.H. Tse, "Guest editor's introduction", Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 11 (2): 109-112 (2001).  [paper from World Scientific | postprint]

  33. T.H. Tse, "Program overview", in Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC '01), IEEE Computer Society, Los Alamitos, CA, p. xvii (2001).  [paper]

  34. T.H. Tse and T.Y. Chen, "Message from the program co-chairs", in Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS '00), IEEE Computer Society, Los Alamitos, CA, p. x (2000).  [paper]

  35. T.H. Tse, "Modelling and visualizing object-oriented systems: A NOODLE approach", Meeting of the IFIP Working Group WG 2.2 on Formal Description of Programming Concepts (1996).  [abstract]

  36. T.H. Tse, "A tale of two cultures: Towards a bridge between software mathematicians and software craftsmen", The 47th Meeting of the IFIP Working Group WG 2.1 on Algorithmic Languages and Calculi (1995).  [postprint]

  37. T.H. Tse, "Attitudes and integration", in Mental Health, Cultural Values, and Social Development: A Look into the 80's, R.C. Nann, D.S. Butt, and L. Ladrido-Ignacio (eds.), Reidel Publishing, Dordrecht, The Netherlands, pp. 295-298 (1984).  [abstract | paper from Springer]
 BOOKS AND EDITORSHIPS

1.  Journal of Systems and Software X. Xie, M. Stumptner, and T.H. Tse (eds.), Special Issue on Program Debugging, Journal of Systems and Software (2017).  ISI impact factor 2.444.  [call for papers]   2.  Journal of Systems and Software Z.Q. Zhou, D. Towey, P.-L. Poon, and T.H. Tse (eds.), Special Issue on Test Oracles, Journal of Systems and Software (2017).  ISI impact factor 2.444.  [call for papers]   3.  IEEE Transactions on Reliability W.E. Wong, P.A. Laplante, and T.H. Tse (eds.), Special Section on Software Quality Assurance: Methodologies, Applications, and the Path Forward, IEEE Transactions on Reliability 66 (2017).  ISI impact factor 2.790.  [call for papers]
4.  Software: Practice and Experience T.H. Tse, A. Gotlieb, and Z. Chen (eds.), Focus Section on Quality Software, Software: Practice and Experience 45 (7) (2015).  [editorial]   5.  Software: Practice and Experience T.H. Tse (ed.), Focus Section on Program Debugging, Software: Practice and Experience 43 (8) (2013).  [editorial]   6.  Journal of Systems and Software W.E. Wong, W.K. Chan, T.H. Tse, and F.-C. Kuo (eds.), Special Issue on Dynamic Analysis and Testing of Embedded Software, Journal of Systems and Software 85 (1) (2012).  ISI impact factor 2.444.  [editorial]
7.  Click to enlarge book cover 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, xi + 179 pages. Ebook edition, US$32.00 (2010).  Paperback edition, US$39.99 (2009).  Hardcover edition, US$129.99 (1991).  55 citations.  [abstract | selected reviews]   8.  Journal of Systems and Software T.H. Tse and W.E. Wong (eds.), Special Issue on Model-Based Software Testing, Journal of Systems and Software 81 (2): 159-160 (2008).  Eight papers were accepted from 43 submissions, representing an acceptance rate of 18.6%.  [editorial]   9.  Click for contents H. Mei and T.H. Tse (eds.), Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 17 (6) (2007).  [contents]
10.  Click for contents K.-Y. Cai, A. Ohnishi, and T.H. Tse (eds.), Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 16 (5) (2006).  [contents]   11.  Journal of Systems and Software H.-D. Ehrich, K.-D. Schewe, and T.H. Tse (eds.), Special Issue for the Fourth International Conference on Quality Software, Journal of Systems and Software 79 (5) (2006).  ISI impact factor 2.444.  [editorial]   12.  Information and Software Technology H. Lin, H.-D. Ehrich, and T.H. Tse (eds.), Special Issue for the Third International Conference on Quality Software, Information and Software Technology 46 (15) (2004).  ISI impact factor 2.694.  [editorial]
13.  Information and Software Technology T.Y. Chen, T.H. Tse, and Y.T. Yu (eds.), Special Issue for the Second Asia-Pacific Conference on Quality Software, Information and Software Technology 44 (14) (2002).  ISI impact factor 2.694.  [guest editorial]   14.  Click for contents T.H. Tse (ed.), Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 11 (2) (2001).  [contents]   15.  Click to enlarge book cover T.H. Tse and T.Y. Chen (eds.), Proceedings of the First Asia-Pacific Conference on Quality Software (APAQS '00), IEEE Computer Society, Los Alamitos, CA, xiii + 335 pages (2000).  [contents]
16.  C.C. Ko and T.H. Tse, Introduction to Computer Studies, Macmillan, Hong Kong.  1st Edition, vi + 232 pages (1987).  2nd Edition, vi + 384 pages (1989). 

 REVIEWS

  1. T.H. Tse, "Review of Z. Gao, Z. Chen, Y. Zou, and A.M. Memon, 'SITAR: GUI test script repair', IEEE Transactions on Software Engineering 42 (2): 170-186 (2016)", ACM Computing Reviews (2017). 

  2. T.H. Tse, "Book review: J. Lazar, D.F. Goldstein, and A. Taylor, Ensuring Digital Accessibility through Process and Policy, Morgan Kaufmann (2015)", ACM Computing Reviews (May 2016).  [review | postprint]

  3. T.H. Tse, "Review of W. Jin and A. Orso, 'Automated support for reproducing and debugging field failures', ACM Transactions on Software Engineering and Methodology 24 (4): 26.1-26.35 (2015)", ACM Computing Reviews (October 2015).  [review | postprint]

  4. T.H. Tse, "Review of M. Ali, A. Bertolino, F. De Angelis, G. De Angelis, D. Fani, and A. Polini, 'An extensible framework for online testing of choreographed services', IEEE Computer 47 (2): 23-29 (2014)", ACM Computing Reviews (August 2014).  [review | postprint]

  5. T.H. Tse, "Review of X. Xie, T.Y. Chen, F.-C. Kuo, and B. Xu, 'A theoretical analysis of the risk evaluation formulas for spectrum-based fault localization', ACM Transactions on Software Engineering and Methodology 22 (4): 31:1-31:40 (2013)", ACM Computing Reviews (December 2013).  [review | postprint]

  6. T.H. Tse, "Review of H. Liu, F.-C. Kuo, and T.Y. Chen, 'Comparison of adaptive random testing and random testing under various testing and debugging scenarios', Software: Practice and Experience 42 (8): 1055-1074 (2012)", ACM Computing Reviews (March 2013).  [review]

  7. T.H. Tse, "Review of D. Yuan, J. Zheng, S. Park, Y. Zhou, and S. Savage, 'Improving software diagnosability via log enhancement', ACM Transactions on Computer Systems 30 (1): article no. 4 (2012)", ACM Computing Reviews (July 2012).  [review]

  8. T.H. Tse, "Review of B. Güldali, H. Funke, S. Sauer, G. Engels, 'TORC: Test plan optimization by requirements clustering', Software Quality Journal 19 (4): 771-799 (2011)", ACM Computing Reviews (May 2012).  [review]

  9. T.H. Tse, "Review of G. Cabodi, M. Murciano, and M. Violante, 'Boosting software fault injection for dependability analysis of real-time embedded applications', ACM Transactions on Embedded Computing Systems 10 (2): Article No. 24 (2010)", ACM Computing Reviews (March 2011).  [review]

  10. T.H. Tse, "Review of V. Uzelac and A. Milenkovic, 'A real-time program trace compressor utilizing double move-to-front method', in Proceedings of the 46th Annual Design Automation Conference, ACM, New York, NY, pp. 738-743 (2009)", ACM Computing Reviews (January 2010).  [review]

  11. T.H. Tse, "Review of M. Burger and A. Zeller, 'Replaying and isolating failing multi-object interactions', in Proceedings of the 2008 International Workshop on Dynamic Analysis (WODA '08) (in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '08)), ACM, New York, NY, pp. 71-77 (2008)", ACM Computing Reviews (November 2008).  [review]

  12. T.H. Tse, "Review of A. Orso, H. Do, G. Rothermel, M.J. Harrold, D. Rosenblum, 'Using component metadata to regression test component-based software', Software Testing, Verification and Reliability 17 (2): 61-94 (2007)", ACM Computing Reviews (November 2007).  [review]

  13. T.H. Tse, "Review of S. Vegas and V. Basili, 'A characterisation schema for software testing techniques', Empirical Software Engineering 10 (4): 437-466 (2005)", ACM Computing Reviews (November 2006).  [review]

  14. T.H. Tse, "Review of J. Miller and Z. Yin, 'A cognitive-based mechanism for constructing software inspection teams', IEEE Transactions on Software Engineering 30 (11): 811-825 (2004)", ACM Computing Reviews (June 2005).  [review]

  15. T.H. Tse, "Review of N.M. Orlans, A.T. Piszcz, and R.J. Chavez, 'Parametrically controlled synthetic imagery experiment for face recognition testing', in Proceedings of the 2003 ACM SIGMM Workshop on Biometrics Methods and Applications, ACM, New York, NY, pp. 58-64 (2003)", ACM Computing Reviews (June 2004).  [review]

  16. T.H. Tse, "Review of M. Burnett, A. Sheretov, B. Ren, and G. Rothermel, 'Testing homogeneous spreadsheet grids with the "what you see is what you test" methodology', IEEE Transactions on Software Engineering 28 (6): 576-594 (2002)", ACM Computing Reviews (December 2002).  [review]

  17. T.H. Tse, "Review of A. Gargantini and A. Morzenti, 'Automated deductive requirements analysis of critical systems', ACM Transactions on Software Engineering and Methodology 10 (3): 255-307 (2001)", ACM Computing Reviews (May 2002).  [review]

  18. T.H. Tse, "Review of B. Littlewood, P.T. Popov, L. Strigini, and N. Shryane, 'Modeling the effects of combining diverse software fault detection techniques', IEEE Transactions on Software Engineering 26 (12): 1157-1167 (2000)", ACM Computing Reviews (June 2001).  [review]

  19. T.H. Tse, "Book review: M. Fewster and D. Graham, Software Test Automation: Effective Use of Test Execution Tools, Addison Wesley, New York, NY (1999)", ACM Computing Reviews (December 1999).  [review]

  20. T.H. Tse, "Review of S.R. Chidamber, D.P. Darcy, and C.F. Kemerer, 'Managerial use of metrics for object-oriented software: An exploratory analysis', IEEE Transactions on Software Engineering 24 (8): 629-639 (1998)", ACM Computing Reviews (March 1999).  [review]

  21. T.H. Tse, "Book review: D. Kafura, Object-Oriented Software Design and Construction with C++, Prentice-Hall, Englewood Cliffs, NJ (1997)", ACM Computing Reviews (August 1998).  [review]

  22. T.H. Tse, "Book review: B.P. Zeigler, Objects and Systems: Principled Design with Implementations in C++ and Java, Springer, New York, NY (1997)", ACM Computing Reviews (February 1998).  [review]

  23. T.H. Tse, "Book review: J. McCarthy, Dynamics of Software Development, Microsoft Press, Redmond, WA (1995)", ACM Computing Reviews (March 1997).  [review]

  24. T.H. Tse, "Review of B.H. Liskov and J.M. Wing, 'A behavioral notion of subtyping', in ACM Transactions on Programming Languages and Systems 16 (6): 1811-1841 (1994)", ACM Computing Reviews (June 1996).  [review]

  25. T.H. Tse, "Book review: A.C. Gillies and P. Smith, Managing Software Engineering: CASE Studies and Solutions, Chapman and Hall, London (1994)", ACM Computing Reviews (July 1995).  [review]

  26. T.H. Tse, "Book review: G. Booch, Object-Oriented Analysis and Design with Applications, Benjamin/Cummings, Redwood City, CA (1994)", ACM Computing Reviews (March 1995).  [review]

  27. T.H. Tse, "Comparative review of Martin and Odell, Object-Oriented Analysis and Design (1992), Coad and Yourdon, Object-Oriented Analysis (1991), Embley et al., Object-Oriented Systems Analysis (1992), Booch, Object-Oriented Design with Applications (1991), and Rumbaugh et al., Object-Oriented Modeling and Design (1991)", ACM Computing Reviews (April 1994).  [review]

  28. T.H. Tse, "Review of P.C. Gilmore and G.K. Tsiknis, 'A logic for category theory', in Selected Papers of the 6th Workshop on Mathematical Foundations of Programming Semantics, Theoretical Computer Science 111: 211-252 (1993)", ACM Computing Reviews (September 1994).  [review]

  29. T.H. Tse, "Review of G.A. Venkatesh and C.N. Fischer, 'SPARE: A development environment for program analysis algorithms', IEEE Transactions on Software Engineering 18 (4): 304-318 (1992)", ACM Computing Reviews (May 1993).  [review]

  30. T.H. Tse, "Review of D.L. Pigozzi, 'Data types over multiple-valued logics', Theoretical Computer Science 77 (1 and 2): 161-194 (1991)", ACM Computing Reviews (August 1992).  [review]

  31. T.H. Tse, "Review of R. Hennicker, 'Observational implementation of algebraic specifications', Acta Informatica 28 (3): 187-230 (1991)", ACM Computing Reviews (July 1992).  [review]

  32. T.H. Tse, "Review of M.S. Jaffe, N.G. Leveson, M.P. Heimdahl, and B.E. Melhart, 'Software requirements analysis for real-time process-control systems', IEEE Transactions on Software Engineering 17 (3): 241-258 (1991)", ACM Computing Reviews (March 1992).  [review]

  33. T.H. Tse, "Review of M. Barr, 'Fixed points in Cartesian closed categories', in Selected Papers of the 4th Workshop on Mathematical Foundations of Programming Semantics, Theoretical Computer Science 70 (1): 65-72 (1990)", ACM Computing Reviews (June 1991).  [review]

  34. T.H. Tse, "Review of A. Carle and L. Pollock, 'Modular specification of incremental program transformation systems', in Proceedings of the 11th International Conference on Software Engineering (ICSE '89), IEEE Computer Society, Washington, DC, pp. 178-187 (1989)", ACM Computing Reviews (October 1990).  [review]

  35. T.H. Tse, "Review of G. Smolka and H. Ait-Kaci, 'Inheritance hierarchies: Semantics and unification', Journal of Symbolic Computation 7 (3 and 4): 343-370 (1989)", ACM Computing Reviews (March 1990).  [review]
  EVERY VISITOR COUNTS:

  Cumulative visitor count