Ломакина, Любовь Сергеевна; Вигура, А. Н.; Ломакіна, Любов Сергіївна; Lomakina, Lyubov; Vigura, Anton N.; Вігура, А. М.
(2013)
Предложен метод структурного тестирования программных систем, основанный на
алгебраической модели программы и динамическом символьном выполнении на
уровне машинного кода и позволяющий автоматизировать модульное ...