CHESS: An Automated Concurrency Testing Tool
(2)
CHESS is an automated tool from Microsoft Research for finding errors in multithreaded software by systematic exploration of
thread schedules. It finds errors, such as data-races, deadlocks, hangs, and data-corruption induced access violations, that are extremely hard to find with…