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