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