CHESS: Disciplined Concurrency Testing

CHESS is a tool for disciplined testing of concurrent programs. CHESS requires users to develop concise concurrent tests for that explore one concurrency scenario-or a few scenarios-in their programs.

Given such a test, CHESS systematically enumerates all behaviors of the program being tested to find concurrency errors, data races, deadlocks, and livelocks.