My core research area is software analysis and testing, and I plan to go deeper into the programming system side in the coming few years. In terms of application area, I mainly study service-based systems, pervasive computing applications, and concurrent systems (which is too narrow in terms of scope, and I understand it). Here is a list of selected research topics that I am currently exploring, and, for each topic, I just list out the two relatively recent publications to ease you to follow my work.
- Dataflow testing [FSE’09, ICSE’08]
- Fault localization [FSE’09, ICSE’09]
- Cloud computing [APSCC’09, APSCC’08]
- Random testing [ASE’09, COMPSAC’09]
- Regression testing [ASE’09, WWW’09]
- Service selection [ICWS’08, SOSE’08]
- Test oracle and correctness criteria [TSE’09, JSS’09]
- Test suite construction [ASE’09, SQJ’08]
I like to understand the underlying reasons on why a model works. My next move is to explore the following topics:
- Adapative programs: logics, design, verification and testing.
- Serial concurrent programs: from design to fix deployment
- Commanding chaos and randomness
You may check out the publications through the following links.
Research Publication by Types:
My Research Students (and Their Achivements) :
(in alphabetical order)
- Tsang, Kam Man (MPhil student, CityU) topic: Modeling and testing of AJAX clients
- Mei, Lijun (PhD student, HKU)* topic: Service-oriented testing
- Zhang, Zhenyu (PhD student, HKU)* topic: Fault localization
* Co-supervised with Prof T.H. Tse
