Сортировать по:
Выпуск | Название | |
Том 29, № 1 (2017) | Прикладное применение динамического анализа программ, исполняющихся в интерпретирующих средах | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков, А. Ю. Герасимов | ||
"... Сложность современного программного обеспечения постоянно растет, в связи с чем возникает ..." | ||
Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов | ||
"... динамического анализа программ активно развивается с начала 2000-х годов. Разрабатывается большое количество ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического ..." | ||
Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них ..." | ||
Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
"... создания и доступа, а также освобождения динамической памяти. Поскольку применяется динамический анализ ..." | ||
Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
"... предлагается проводить анализ программ, предоставляющих графический интерфейс, с помощью гибридного метода ..." | ||
Том 29, № 1 (2017) | Проведение итеративного динамического анализа приложений, предоставляющих графический интерфейс пользователя | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, А. Ю. Герасимов, Д. О. Куц, А. А. Новиков | ||
"... автоматического анализа программ. В рамках данной статьи предлагается метод полностью автоматического ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... Данная статья посвящена вопросам проведения анализа программ интерпретируемых языков ..." | ||
Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
И. А. Дудина | ||
"... инструменты, используемые для решения этой задачи, с целью выявить наиболее популярные методы и типы ..." | ||
Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
И. А. Адамович, Анд. В. Климов | ||
"... значении части переменных. Методы специализации программ развиваются с 1970-х годов (смешанные вычисления ..." | ||
Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, А. Ю. Герасимов | ||
"... В статье рассматриваются методы анализа программ и описывается практика применения данных методов ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
"... применения различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model ..." | ||
1 - 13 из 13 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)