ConSeq: detecting concurrency bugs through sequential errors
RaceTrack: efficient detection of data race conditions via adaptive tracking