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