Travelled to:1 × South Africa
1 × USA
Collaborated with:S.Cheung W.K.Chan
Talks about:test (2) flow (2) multithread (1) serializ (1) criteria (1) adequaci (1) program (1) control (1) context (1) violat (1)
Person: Zhifeng Lai
DBLP: Lai:Zhifeng
Contributed to:
2010
2008Wrote 2 papers:
- ICSE-2010-LaiCC #detection #parallel #random #source code #testing #thread
- Detecting atomic-set serializability violations in multithreaded programs through active randomized testing (ZL, SCC, WKC), pp. 235–244.
- FSE-2008-LaiCC #control flow #data flow #test coverage #testing
- Inter-context control-flow and data-flow test adequacy criteria for nesC applications (ZL, SCC, WKC), pp. 94–104.