Our Logo
The
Software
Engineering 
Group

It is well known that there are still undetected errors in most of the popular software packages when they are released for real-life applications. Effective testing plays a very important role in reducing program faults. Unfortunately, empirical studies show that popular testing techniques are no better than random testing in many cases. This state of affairs is disheartening to software testers. On the other hand, formal techniques for proving program correctness have been around for a long time. They are, however, far from popular in the industry because the proofs are too difficult and automatic theorem provers cannot be constructed. The future of software quality lies in an integration of the two paradigms.

The Software Engineering Group at The University of Hong Kong is internationally recognized as the pioneer for integrating formal and informal techniques in software engineering and testing. Our members include leading researchers in software engineering in Hong Kong. We have published numerous papers in high-quality journals and conferences, including IEEE TSE, Inf Sci, CACM, ACM TOSEM, ICSE, and FSE. We have been funded by research grants of 15 million dollars to date. We have a 90% success rate for the applications of funding at the Research Grants Council and the Innovation and Technology Commission in Hong Kong.

 MEMBERS

Director
o   Prof. T.H. Tse, The University of Hong Kong
Core Researchers
o   Prof. T.Y. Chen, Swinburne University of Technology, Australia
o   Prof. Huo Yan Chen, Jinan University, China
o   Dr F.T. Chan, The University of Hong Kong
o   Dr W.K. Chan, City University of Hong Kong
o   Dr S.C. Cheung, The Hong Kong University of Science and Technology
o   Dr Karl R.P.H. Leung, Hong Kong Institute of Vocational Education
o   Dr P.-L. Poon, The Hong Kong Polytechnic University
o   Dr Y.T. Yu, City University of Hong Kong

 SELECTED PUBLICATIONS

 CURRENT PROJECTS

  • CARISMA: a Context-sensitive Approach to Race-condItion test case Selection for Multithreaded software Applications1, 2012-15
  • TASTE: Testing of Adaptive Service-based sofTwarE1, 2011-14
  • EAT and DREAM: Effective Automatic Testing and Debugging for REAl-life eMbedded wireless communications software2, 2011-14 (with Prof. Willy Susilo as principal investigator)
  • CACTES: a formal framework for CompositionAl Conformance TEsting of Service compositions1, 2008-11
 1.  Supported in part by a grant of the Research Grants Council of Hong Kong.
 2.  Supported in part by a linkage grant from the Australian Research Council.

 PAST PROJECTS

 1.  Supported in part by a grant of the Research Grants Council of Hong Kong.
 2.  Supported in part by a grant of the Innovation and Technology Commission.
 3.  Supported in part by a discovery grant of the Australian Research Council.
 4.  Supported in part by the funding of ASM Assembly Automation Ltd., a grant of the Innovation and Technology Commission, and a grant of the Engineering Faculty Innovation Technology Fund of The University of Hong Kong
 5.  Supported in part by grants of the Association of Commonwealth Universities and the Science and Engineering Research Council, UK.
 6.  Supported in part by grants of the Association of Commonwealth Universities, the Committee on International Cooperation in Higher Education, the International Conference on Information Systems, and the Hong Kong and China Gas Research Fund.

 FUNDING

Our projects have been supported in part by research and industrial grants of 15 million dollars from the Research Grants Council of Hong Kong, the Innovation and Technology Commission, the ASM Assembly Automation Ltd., the Association of Commonwealth Universities, the Committee on International Cooperation in Higher Education, the Hong Kong and China Gas Research Fund, the Science and Engineering Research Council, and the University Grants Committee.

 EVERY VISITOR COUNTS:

  Cumulative visitor count