H.-D. Park and Y.-K. Jun, "Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization", In proceedings of the International Conference on Grid and Distributed Computing, CCIS 351, pp.165-169, December 16-19, Kangwondo, Korea, 2012