CHESS: Systematic Concurrency-Testing Tool

Language:
English
CHESS is a tool for systematically testing multithreaded code. Last published: July 1, 2009.