В работе проводится улучшение и анализ алгоритмов библиотеки Google TSAN, которая используется для фаззинг тестирования многопоточного кода. В частности, рассмотрена часть инфраструктуры, которая раннее не позволяла тестировать fined-grained алгоритмы (использующие блокирующие методы синхронизации)
Дергун К.И., Доронин О.В. (науч. рук. Дергачев А.М.) Фаззинг тестирование fine-grained алгоритмов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2019]. URL: https://kmu.itmo.ru/digests/article/1224