Concurrency Bug Diagnosis

Diagnose race conditions and deadlocks from symptoms and code, then propose a fix with a regression test.

• software
• diagnose