Повышение полноты верификации многопоточного программного обеспечения с помощью инструментирования точек создания потоковдипломная работа (Магистр)