Zhifeng Lai

According to our database, Zhifeng Lai authored at least 3 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2008

Inter-context control-flow and data-flow test adequacy criteria for nesC applications.

Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

2006

Dynamic Model Learning Using Genetic Algorithm under Adaptive Model Checking Framework.

Zhifeng Lai, S. C. Cheung, Yunfei Jiang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006