Analyzing multicore dumps to facilitate concurrency bug reproduction
CTrigger: exposing atomicity violation bugs from their hiding places