Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs
CTrigger: exposing atomicity violation bugs from their hiding places