RacerX: effective, static detection of race conditions and deadlocks
Houdini, an Annotation Assistant for ESC/Java