To ensure the correctness of software system by means of the software testing techniques.
Background
There are 3 approaches towards verifying the correctness of software systems, namely, program proving, software testing and debugging. Amongst these 3 approaches, software testing is the most feasible approach towards the verification of large software systems. Various methodologies have been developed in the field of software testing, which include static analysis, dynamic analysis, program instrumentation, data flow analysis, test case selection strategies, symbolic execution, mutation analysis, etc.
Research Issues/Capabilities
The research is conducted by a team of internationally renowned research and postgraduate research students contributing expertise in a range of areas including testing case selection strategies, dynamic analysis and data flow analysis from the research program of software testing led by Prof. T. Y. Chen
