Instrumentation and sampling strategies for cooperative concurrency bug isolation
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics