|
Использование многопоточных процессов в среде ParJava
М. С. Акопян
|
5 |
|
|
Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java
М. К. Ермаков, С. П. Вартанов
|
23 |
|
|
Поиск состояний гонки в программах на языке Java при помощи динамического анализа
М. К. Ермаков, С. П. Вартанов
|
39 |
|
|
Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ
А. А. Белеванцев, Е. А. Велесевич
|
53 |
|
|
Об особенностях детерминированного воспроизведения при минимальном наборе устройств
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
|
65 |
|
|
Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода
Севак Саргсян
|
93 |
|
|
Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов
|
105 |
|
|
Методы повышения производительности обратной отладки
М. А. Климушенкова, П. М. Довгалюк
|
127 |
|
|
Тестирование реализаций клиента протокола TLS
А. В. Никешин, Н. В. Пакулин, В. З. Шнитман
|
145 |
|
|
Конечные автоматы в теории алгебраических схем программ
Р. И. Подловченко
|
161 |
|
|
Разрешимость проблемы эквивалентных преобразований в классе примитивных схем программ
А. Э. Молчанов
|
173 |
|
|
Параллельные вычисления на динамически меняющемся графе
Игорь Бурдонов, Александр Косачев
|
189 |
|
|
Моделирование и анализ поведения последовательных реагирующих программ
В. А. Захаров
|
221 |
