Zhifeng Lai

Publication Activity (10 Years)

Years Active: 2006-2010
Publications (10 Years): 0

Publications

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing. ICSE (1) (2010)
Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan
Inter-context control-flow and data-flow test adequacy criteria for nesC applications. SIGSOFT FSE (2008)
Zhifeng Lai, S. C. Cheung, Yunfei Jiang
Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework. QSIC (2006)