| 2008 | ||
|---|---|---|
| 2 | Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan: Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE 2008: 94-104 | |
| 2006 | ||
| 1 | Zhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417 | |
| 1 | Wing Kwong Chan (W. K. Chan) | [2] |
| 2 | Shing-Chi Cheung (S. C. Cheung) | [1] [2] |
| 3 | Yunfei Jiang | [1] |