CHESS on Channel9
CHESS is a test tool for finding and reproducing Heisenbugs. Put simply, it takes the non out of non deterministic when testing concurrent code.
Toward the beginning there is quite a nice illustration of why you might not find Heisenbugs by stress testing. Further in there is a more detailed explanation of how CHESS works, and how the thread interleaving state space is reduced to a manageable level.
In this installment we see how to use the managed version of CHESS within a Visual Studio concurrency unit test.
Finally, here we get an overview of the tooling which helps visualise different thread interleavings.