Свою диссертацию «МЕТОДЫ ОПРЕДЕЛЕНИЯ ВХОДНЫХ ДАННЫХ, ОБЕСПЕЧИВАЮЩИХ ЭФФЕКТИВНОЕ ТЕСТИРОВАНИЕ ПРОГРАММ» я защитил в июне 2006 года, готовил ее на  кафедре Информатики и прикладной математики  СПбГУИТМО. Здесь можно посмотреть полный текст и автореферат.