Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Java-подобных языках: автореф. дис. … канд. тех. наук: 05.13.11