Карпов, Андрей Николаевич. Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках [Электронный ресурс]: автореф. дис. … канд. тех. наук: 05.13.11 / А. Н. Карпов; научный руководитель В. П. Котляров; Санкт-Петербургский государственный политехнический университет. — Электрон. текстовые дан. (1 файл : 262 Кб). — СПб., 2007. — Загл. с титул. экрана. — Электрон. версия печ. публикации. — Свободный доступ из сети Интернет (чтение, печать, копирование). — Adobe Acrobat Reader 6.0. — <URL:http://elib.spbstu.ru/dl/1297.pdf>.