Concurrent software testing in practice: a catalog of tools
Efficient deterministic multithreading without global barriers