Our Logo
Selected
Publications 

by Prof. T.H. Tse

The following selected 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. 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, ScienticCommons, Scirus, and Scopus.

 JOURNAL PAPERS

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

  2. 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 1.527.  [abstract | paper from ScienceDirect | also technical report TR-2012-02]

  3. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2011-14 | supplementary information ]

  4. 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).  [abstract | paper from Wiley Online Library | also technical report TR-2010-06]

  5. 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 (2011).  doi: 10.1109/TSE.2011.69.  ISI impact factor 2.265.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2011-11]

  6. 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 2.265.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-10]

  7. 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 2.265.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-19]

  8. 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 | also technical report TR-2011-07]

  9. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2010-11]

  10. 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).  [abstract | paper from Springer | also technical report TR-2010-09]

  11. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2011-01]

  12. 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).  [abstract | paper from Wiley Online Library | also technical report TR-2009-03]

  13. 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).  36 citations ISI impact factor 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2009-07]

  14. 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 2.362.  [abstract | paper from ACM digital library | also technical report TR-2008-05]

  15. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2009-20]

  16. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2007-10]

  17. 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).  [abstract | paper from Journal of Software | also technical report TR-2009-01]

  18. 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).  10 citations ISI impact factor 1.527.  [abstract | paper from ScienceDirect | also technical report TR-2009-11]

  19. 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 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2009-02]

  20. 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).  15 citations ISI impact factor 2.362.  [abstract | paper from ACM digital library | also technical report TR-2005-10]

  21. 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).  27 citations.  [abstract | paper from World Scientific | also technical report TR-2006-06]

  22. 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).  11 citations ISI impact factor 1.293.  [abstract | paper from ScienceDirect | also technical report TR-2005-04]

  23. 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 | also technical report TR-2006-14]

  24. 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 1.527.  20 citations.  [abstract | paper from ScienceDirect | also technical report TR-2004-02]

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

  26. 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).  80 citations ISI impact factor 1.527.  [abstract | paper from ScienceDirect | also technical report TR-2002-07]

  27. 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 chief editor as "one of the best [they] published recently".  [abstract | paper from IET digital library | paper from IEEE Xplore | editor's correction]

  28. 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).  203 citations ISI impact factor 1.694.  [abstract | paper from ACM digital library | also technical report TR-97-07]

  29. 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).  74 citations ISI impact factor 1.293.  [abstract | paper from ScienceDirect | postprint]

  30. 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).  36 citations ISI impact factor 1.527.  [abstract | paper from ScienceDirect | also technical report TR-97-08]

  31. 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).  36 citations.  [abstract | paper from World Scientific | postprint from HKU Scholars Hub]

  32. 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).  15 citations ISI impact factor 2.836.  [abstract | paper from ScienceDirect | postprint from HKU Scholars Hub]

  33. 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).  224 citations ISI impact factor 1.694.  [abstract | paper from ACM digital library | also technical report TR-96-07]

  34. 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).  14 citations ISI impact factor 1.527.  [abstract | paper from ScienceDirect | postprint]

  35. 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 | also technical report TR-94-02]

  36. 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).  13 citations.  [abstract | paper from Wiley Online Library | also technical report TR-90-01]

  37. 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 1.527.  [abstract | postprint from HKU Scholars Hub]

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

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

  40. 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 | also technical report TR-A5-86]

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

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

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

  44. 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 | also technical report TR-A6-85]

  45. 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 from ACM digital library]

  46. 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]

  47. 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 | also technical report TR-B4-82]
 CONFERENCE PAPERS AND BOOK CHAPTERS

  1. 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 2012), IEEE Computer Society, Los Alamitos, CA (2012).  Acceptance rate 18%. 

  2. 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 2012, M. Brorsson and L.M. Pinho (eds.), Lecture Notes in Computer Science, vol. 7308, Springer, Berlin, Germany, pp. 162-176 (2012).  [abstract | also technical report TR-2012-03]

  3. 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 2012), ACM, New York, NY (2012). 

  4. 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 2011), IEEE Computer Society, Los Alamitos, CA, pp. 21-30 (2011).  Best paper award.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2011-10]

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

  6. 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 2011), IEEE Computer Society, Los Alamitos, CA, pp. 58-67 (2011).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2011-08]

  7. 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 2010), IEEE Computer Society, Los Alamitos, CA, pp. 62-71 (2010).  Acceptance rate 16.5%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2010-02]

  8. 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 2010), in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), IEEE Computer Society, Los Alamitos, CA, pp. 473-480 (2010).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2010-05]

  9. 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 2010), IEEE Computer Society, Los Alamitos, CA, pp. 151-160 (2010).  Acceptance rate 16.5%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2010-03]

  10. 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 2010), IEEE Computer Society, Los Alamitos, CA, pp. 211-218 (2010).  Acceptance rate 17.6%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2010-04]

  11. 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 2009), 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]

  12. 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 2009), ACM, New York, NY, pp. 1123-1124 (2009).  [abstract | paper from ACM digital library | also technical report TR-2009-04]

  13. 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 2009), IEEE Computer Society, Los Alamitos, CA, pp. 233-244 (2009).  Acceptance rate 17.1%.  28 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-18]

  14. 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 2009), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 99-106 (2009).  Best paper award.  Acceptance rate 14.7%.  19 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-09]

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

  16. 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 2009), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 81-88 (2009).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-08]

  17. 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 2009), IEEE Computer Society, Los Alamitos, CA, pp. 21-30 (2009).  14 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2009-16]

  18. 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 2009), ACM, New York, NY, pp. 901-910 (2009).  Acceptance rate 11.7%.  27 citations.  [abstract | paper from ACM digital library | also technical report TR-2009-05]

  19. 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 2009), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 1iv-1v (2009).  [paper from IEEE digital library | paper from IEEE Xplore]

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

  21. 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 2008), vol. 2, IEEE Computer Society, Los Alamitos, CA, pp. 747-750 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-12]

  22. 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 2008), IEEE Computer Society, Los Alamitos, CA, pp. 180-183 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-06]

  23. 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 2008), IEEE Computer Society, Los Alamitos, CA, pp. 385-395 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-08]

  24. 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 2008), ACM, New York, NY, pp. 61-70 (2008).  Acceptance rate 15.1%.  26 citations.  [abstract | paper from ACM digital library | also technical report TR-2008-01]

  25. 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 2008), IEEE Computer Society, Los Alamitos, CA, pp. 464-469 (2008).  67 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-14]

  26. 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 2008), IEEE Computer Society, Los Alamitos, CA, pp. 70-77 (2008).  Acceptance rate 15.9%.  35 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-10]

  27. 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 2008), ACM, New York, NY, pp. 371-380 (2008).  Acceptance rate 15.1%.  47 citations.  According to ICSE 2008 reviewers, this work will "open the door to further investigation and research challenges."  [abstract | paper from ACM digital library | also technical report TR-2008-02]

  28. 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 2008), vol. 2, IEEE Computer Society, Los Alamitos, CA, pp. 708-711 (2008).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-11]

  29. 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 2008), IEEE Computer Society, Los Alamitos, CA, pp. 128-135 (2008).  Best paper award.  10 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2008-07]

  30. 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 2007, N. Abdennadher and F. Kordon (eds.), Lecture Notes in Computer Science, vol. 4498, Springer, Berlin, Germany, pp. 84-99 (2007).  11 citations.  [abstract | paper from Springer | also technical report TR-2007-05]

  31. 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 2007), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 397-404 (2007).  Acceptance rate 18.2%.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2007-04]

  32. 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 2007), IEEE Computer Society, Los Alamitos, CA, pp. 1298-1303 (2007).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2007-08]

  33. 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).  11 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2006-10]

  34. 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 2007), IEEE Computer Society, Los Alamitos, CA, p. 134 (2007).  [abstract | paper from IEEE digital library | paper from IEEE Xplore]

  35. 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 2007), IEEE Computer Society, Los Alamitos, CA, pp. 181-190 (2007).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2007-11]

  36. 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 2006) (in conjunction with the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT 2006/FSE-14)), ACM, New York, NY, pp. 6-13 (2006).  15 citations.  [abstract | paper from ACM digital library | also technical report TR-2006-13]

  37. 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 2006), IEEE Computer Society, Los Alamitos, CA, pp. 185-192 (2006).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2006-09]

  38. 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 2006/FSE-14), ACM, New York, NY, pp. 242-252 (2006).  Acceptance rate 20.0%.  45 citations [abstract | paper from ACM digital library | also technical report TR-2006-03]

  39. 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 2006), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 429-438 (2006).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2006-04]

  40. 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 2005), IEEE Computer Society, Los Alamitos, CA, pp. 241-249 (2005).  26 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2005-05]

  41. 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 2005), IEEE Computer Society, Los Alamitos, CA, pp. 187-196 (2005).  30 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2005-06]

  42. 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 2005), IEEE Computer Society, Los Alamitos, CA, pp. 55-63 (2005).  13 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2005-07]

  43. 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 2005), IEEE Computer Society, Los Alamitos, CA, pp. 313-316 (2005).  [abstract | paper from IEEE digital library | paper from IEEE Xplore]

  44. 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 2005), vol. 1, IEEE Computer Society, Los Alamitos, CA, p. 332 (2005).  [abstract | paper from IEEE digital library | paper from IEEE Xplore]

  45. 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 | also technical report TR-2004-04]

  46. 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 2004), Polytechnic University of Madrid, Madrid, Spain, pp. 569-583 (2004).  42 citations.  [abstract | paper from JIISIC 2004 | also technical report TR-2004-13]

  47. 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 2004), IEEE Computer Society, Los Alamitos, CA, pp. 32-40 (2004).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2004-05]

  48. 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 2004), Taipei, Taiwan, pp. 926-932 (2004).  [abstract | paper from ICS 2004]

  49. 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 2004), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 176-177 (2004).  [abstract | paper from IEEE digital library | paper from IEEE Xplore] | postprint from HKU Scholars Hub]

  50. 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 2004), vol. 1, IEEE Computer Society, Los Alamitos, CA, pp. 458-465 (2004).  Evaluated as the best paper.  53 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2004-07]

  51. 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 2004), Software Engineers Association, Tokyo, Japan (2004).  35 citations.  [abstract | paper from ISFST 2004 | also technical report TR-2004-12]

  52. 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 2003), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 76-81 (2003).  [abstract | also technical report TR-2003-03]

  53. 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 2003), vol. 5, IEEE Computer Society, Los Alamitos, CA, pp. 4828-4833 (2003).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2003-04]

  54. 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 2003), 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]

  55. 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 2003), IEEE Computer Society, Los Alamitos, CA, pp. 94-100 (2003).  22 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2003-06]

  56. 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 2002), IEEE Computer Society, Los Alamitos, CA, pp. 240-241 (2002).  40 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2002-10]

  57. 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 2002), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 696-701 (2002).  37 citations.  [abstract | also technical report TR-2002-03]

  58. 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 2002), ACTA Press, Calgary, Canada, pp. 176-181 (2002).  [abstract | paper from ACTA Press]

  59. 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 2002), IEEE Computer Society, Los Alamitos, CA, pp. 327-333 (2002).  51 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  60. 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 2002), International Association for Computer and Information Science, Mt. Pleasant, MI, pp. 99-106 (2002).  [abstract]

  61. 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 2002), IEEE Computer Society, Los Alamitos, CA, pp. 221-229 (2002).  10 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | also technical report TR-2002-01]

  62. 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 2002), ACM, New York, NY, pp. 191-195 (2002).  73 citations.  [abstract | paper from ACM digital library | postprint from CiteSeer]

  63. 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 2002), IEEE Computer Society, Los Alamitos, CA, pp. 347-348 (2002).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  64. 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 2001), IEEE Computer Society, Los Alamitos, CA, pp. 172-178 (2001).  21 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  65. 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 2000), ACTA Press, Calgary, Canada, pp. 43-48 (2000).  [abstract]

  66. 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 2000), IEEE Computer Society, Los Alamitos, CA, pp. 346-347 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  67. 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 2000), IEEE Computer Society, Los Alamitos, CA, pp. 149-155 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  68. 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 2000), IEEE Computer Society, Los Alamitos, CA, pp. 89-98 (2000).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  69. 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 1999), IEEE Computer Society, Los Alamitos, CA, pp. 105-114 (1999).  14 citations.  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

  70. 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 1999), IEEE Computer Society, Los Alamitos, CA, pp. 246-247 (1999).  [abstract | paper from IEEE digital library | paper from IEEE Xplore | postprint from HKU Scholars Hub]

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

  72. 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 | also technical report TR-95-04]

  73. 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 | also technical report TR-95-05]

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

  75. 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 from HKU Scholars Hub]

  76. 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 1992), Leuven, Belgium (1992).  [abstract | also technical report TR-92-05]

  77. 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).  [abstract]

  78. 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 | also technical report TR-89-08]

 INVITED PAPERS

  1. T.H. Tse, "Editorial: Focus section on program debugging", Software: Practice and Experience 42 (2012).  doi: 10.1002/spe.2104.  [paper from Wiley Online Library | postprint]

  2. 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).  [paper from ScienceDirect | postprint]

  3. Z. Zhang, W.K. Chan, and T.H. Tse, "Fault localization based only on failed runs", invited paper, IEEE Computer 45 (6) (2012).  ISI impact factor 1.812. 

  4. 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 2011), IEEE Computer Society, Los Alamitos, CA, p. xxxv (2011).  [paper from IEEE digital library | paper from IEEE Xplore]

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

  6. 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).  [abstract | paper from ScienceDirect | also technical report TR-2010-12]

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

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

  9. 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", invited paper, 2010 Human Service Information Technology Applications (HUSITA 9), in 2010 Joint World Conference on Social Work and Social Development: The Agenda (SWSD 2010), Hong Kong, p. 347 (2010). [abstract]

  10. Q. Wang, T.H. Tse, and Z. Zhang, "Message from the workshop chairs of the first International Workshop on Program Debugging in China (IWPDC 2010)" in Proceedings of the 10th International Conference on Quality Software (QSIC 2010), IEEE Computer Society, Los Alamitos, CA, p. xix (2010).  [paper from IEEE digital library | paper from IEEE Xplore]

  11. 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).  [abstract | paper from ScienceDirect]

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

  13. 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).  [paper from ScienceDirect]

  14. 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).  [abstract | paper from ScienceDirect | postprint]

  15. 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]

  16. 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]

  17. 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).  [paper from ScienceDirect]

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

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

  20. 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).  [paper from ScienceDirect]

  21. 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).  [paper from ScienceDirect]

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

  23. T.H. Tse, "Program overview", in Proceedings of the 25th Annual International Computer Software and Applications Conference (COMPSAC 2001), IEEE Computer Society, Los Alamitos, CA, p. xvii (2001).  [paper from IEEE digital library | paper from IEEE Xplore]

  24. 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 2000), IEEE Computer Society, Los Alamitos, CA, p. x (2000).  [paper from IEEE digital library | paper from IEEE Xplore]
 BOOKS AND EDITORSHIPS

1.  Software: Practice and Experience T.H. Tse (ed.), Focus Section on Program Debugging, Software: Practice and Experience 42 (2012).    2.  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).  [editorial]   3.  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. Online edition (2010).  Paperback edition, US$27.99 (2009).  Hardback edition, US$99.00 (1991).  49 citations.  [abstract | selected reviews]
4.  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).  8 papers were accepted from 43 submissions, representing an acceptance rate of 18.6%.  [editorial]   5.  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]   6.  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]
7.  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).  [editorial]   8.  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).  [editorial]   9.  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).  [guest editorial]
10.  Click for contents T.H. Tse (ed.), Special Issue on Quality Software, International Journal of Software Engineering and Knowledge Engineering 11 (2) (2001).  [contents]   11.  Click to enlarge book cover T.H. Tse and T.Y. Chen (eds.), Proceedings of the 1st Asia-Pacific Conference on Quality Software (APAQS 2000), IEEE Computer Society, Los Alamitos, CA, xiii + 335 pages (2000).  [contents]   13.  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 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 53 (2012). 

  2. 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 52 (2011).  [review]

  3. 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 51 (2010).  [review]

  4. 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 2008) (in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)), ACM, New York, NY, pp. 71-77 (2008)", ACM Computing Reviews 49 (2008).  [review]

  5. 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 48 (2007).  [review]

  6. 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 47 (2006).  [review]

  7. 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 46 (6) (2005).  [review]

  8. 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 45 (6) (2004).  [review]

  9. 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 43 (12) (2002).  [review]

  10. 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 43 (5) (2002).  [review]

  11. 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 42 (6) (2001).  [review]

  12. 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 40 (12) (1999).  [review]

  13. 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 40 (3) (1999).  [review]

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

  15. 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 39 (2) (1998).  [review]

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

  17. 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 37 (6): 313 (1996).  [review]

  18. 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 36 (7): 362-363 (1995).  [review]

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

  20. 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 35 (4): 187-190 (1994).  [review]

  21. 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 35 (9): 486 (1994).  [review]

  22. 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 34 (5): 256-257 (1993).  [review]

  23. 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 33 (8): 448 (1992).  [review]

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

  25. 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 33 (3): 159 (1992).  [review]

  26. 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 32 (6): 317-318 (1991).  [review]

  27. 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 1989), IEEE Computer Society, Washington, DC, pp. 178-187 (1989)", ACM Computing Reviews 31 (10): 550 (1990).  [review]

  28. 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 31 (3): 162 (1990).  [review]
 EVERY VISITOR COUNTS:

  Cumulative visitor count