Например, Бобцов

Метод построения графа функциональной программы для решения задач верификации и тестирования

Аннотация:

Предложен метод формирования графового представления исполняемого кода, ориентированный для работе в системах автоматизированного анализа программного обеспечения.

Ключевые слова:

Статьи в номере