Synthesizing tests for detecting atomicity violations
Scalable and incremental software bug detection