Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking | IEEE Conference Publication | IEEE Xplore