CTrigger: exposing atomicity violation bugs from their hiding places
RaceTrack: efficient detection of data race conditions via adaptive tracking