Slide 1CHESS : Systematic Testing of Concurrent Programs Madan Musuvathi Shaz Qadeer Microsoft Research Slide 2 Testing multithreaded programs is HARD Specific thread interleavings…