С.В.Григорьев. Cинтаксический анализ динамически формируемых программ . Диссертация на соискание степени кандидата физико-математических наук. СПбГУ. 2015
В.Ю.Трифанов. Динамическое обнаружение состояний гонки в многопоточных Java-программах . Диссертация на соискание степени кандидата технических наук. ИТМО. 2013.
К.Ю.Романовский. Метод повторного использования документации семейств программных продуктов . Диссертация на соискание степени кандидата физико-математических наук. СПбГУ. 2010