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