CHESS finds Heisenbugs in your multithreaded code with systematic thread synchronisation. Very cool. Multithreaded test cases are finally useful 🙂