Race directed random testing of concurrent programs
RacerX: effective, static detection of race conditions and deadlocks