Primitive Idea in Concurrency Test
(1) Labeling Scheme
(2) Set operation
Thread representation (fid, tid)