Zhifeng Lai

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Zhifeng Lai, Shing-Chi Cheung, Wing Kwon Chan: Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE 2008: 94-104

2006

1 EE Zhifeng Lai, S. C. Cheung, Yunfei Jiang: Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC 2006: 410-417

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

Coauthor Index

1 Wing Kwon Chan (W. K. Chan) [2]

2 Shing-Chi Cheung (S. C. Cheung) [1] [2]

3 Yunfei Jiang [1]