В продолжении темы о новых инструментах тестирования так называемых гейзенберговских ошибок (от Microsoft Research) предлагаю ознакомиться с проектом CHESS.

CHESS - это инструмент для систематического тестирования мультипотоковых (concurrency) приложений. CHESS методично проходит все возможные варианты работы приложения, помогая найти assertions, deadlocks, livelocks, и data races. При нахождении ошибки, CHESS может воспроизвести поток, вызвавший ошибку.

Доступны версии для управляемого и неуправляемого кода.

Ссылки по теме:

Скачать CHESS (как всегда для студентов есть Academic Edition)

Блог проекта CHESS

Документация, форум и FAQ

Скачать пример использования (source code)

Больше ссылок на дополнительные ресурсы на официальной странице CHESS

P.S. Гейзенберговская ошибка - системная ошибка, которая - по аналогии с принципом неопределённости Гейзенберга в квантовой физике - исчезает или видоизменяется при попытке ее выявления.