CHESS is a tool for systematic and disciplined concurrency testing. Given a concurrent test, CHESS systematically enumerates the possible thread schedules to find hard-to-find concurrency errors, including assertion violations, deadlocks, data-races, and atomicity violations.
- Windows 2003 or later (only tested on 32bit,x86)
- Visual Studio 2010, with C# and C++ features installed
Send email to chequers
for questions and bugs.
This project is sponsored by the Research in Software Engineering Group (RiSE)
based in the Microsoft Research Redmond Lab.