Трифанов, В. Ю.; Цителов, Д. И. Статические и Post-Mortem методы обнаружения гонок в параллельных программах. CTE 2014.