Analyzing multicore dumps to facilitate concurrency bug reproduction
Deterministic replay of Java multithreaded applications