Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. - Zhifeng Lai; Shing-Chi Cheung; Yunfei Jiang (QSIC, 2006)

Inter-context control-flow and data-flow test adequacy criteria for nesC applications. - Zhifeng Lai; Shing-Chi Cheung; Wing Kwong Chan (SIGSOFT FSE, 2008)

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. - Zhifeng Lai; Shing-Chi Cheung; Wing Kwong Chan (ICSE (1), 2010)