|
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 practical 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,
IEEE TSC,
Inf Sci,
CACM,
ACM TOSEM,
ICSE,
FSE,
and
WWW.
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.
|
|