Directed Tracing to Detect Race Conditions