A regulated transitive reduction (RTR) for longer memory race recording
Deterministic replay of Java multithreaded applications