Synthesizing tests for detecting atomicity violations
CTrigger: exposing atomicity violation bugs from their hiding places