Project Description
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.

Requirements

  • Windows 2003 or later (only tested on 32bit,x86)
  • Visual Studio 2010, with C# and C++ features installed

More Information

Questions

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.

Last edited Feb 11, 2013 at 6:15 PM by tball, version 9