Сортировать по:
| Выпуск | Название | |
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... точку реализации дефекта. С начала производится статический анализ исполняемого кода программы с целью ..." | ||
| Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
| "... существовании «качественных» средств проведения автоматического рефакторинга исходного кода на языках С/С++. В ..." | ||
| Том 28, № 2 (2016) | Способ статической оценки времени работы компонентов AADL-моделей | Аннотация похожие документы |
| А. М. Троицкий, Д. В. Буздалов | ||
| "... поведения, связанные с нелокальностью этой характеристики в ряде случаев. Был рассмотрен важный частный ..." | ||
| Том 29, № 6 (2017) | Формальная верификация библиотечных функций ядра Linux | Аннотация PDF (Rus) похожие документы |
| Д. В. Ефремов, М. У. Мандрыкин | ||
| "... функций ядра ОС Linux с помощью стека инструментов AstraVer. В набор включены преимущественно функции ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... время повторного поиска дефектов для языков СС++. Для этого используется свойство малого отношения ..." | ||
| Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... В этой статье представлен подход легковесного статического анализа к поиску состояний гонок ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами, а ..." | ||
| Том 29, № 4 (2017) | Автоматизированная генерация типовых контрактов для языка Ruby | Аннотация похожие документы |
| Н. Ю. Вьюгинов, В. С. Фондаратов | ||
| "... Элегантный синтаксис языка Ruby заметно усложняет поиск ошибок в больших кодовых базах. Статический ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..." | ||
| Том 28, № 4 (2016) | Генерация функциональных тестов для HDL-описаний на основе проверки моделей | Аннотация похожие документы |
| М. С. Лебедев, С. А. Смолов | ||
| "... основе проверки моделей и результаты его сравнения с существующими решениями. В методе используется ..." | ||
| Том 20 (2011) | Архитектура Linux Driver Verification | Аннотация PDF (Rus) похожие документы |
| В. С. Мутилин, Е. М. Новиков, А. В. Страх, А. В. Хорошилов, П. Е. Швед | ||
| "... , которая могла бы предоставить площадку для экспериментов с различными методами статического анализа кода ..." | ||
| Том 27, № 1 (2015) | Обзор методов извлечения моделей из HDL-описаний | Аннотация PDF (Rus) похожие документы |
| С. А. Смолов | ||
| "... для решения многих задач, связанных с процессом проектирования и обеспечения качества программных и ..." | ||
| Том 28, № 3 (2016) | Верификация и анализ вариабельных операционных систем | Аннотация PDF (Rus) похожие документы |
| В. В. Кулямин, Е. М. Лаврищева, В. С. Мутилин, А. К. Петренко | ||
| "... В данной работе рассматриваются проблемы верификации и анализа сложных операционных систем с учетом ..." | ||
| 1 - 19 из 19 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
