Качество и тестирование

• Исследование влияния сетевых деградаций на модели распознавания речи
  А.В. Полевой, Н.В. Лукашевич
  Труды ИСП РАН, том 38, вып. 3, часть 4, 2026 г.

• Статический анализатор для распознавания массивов в С-программах для задач фаззинга
  Д.В. Кознов, Д.А. Усачев
  Труды ИСП РАН, том 38, вып. 3, часть 2, 2026 г.

• Статический анализ модели подсистемы питания цифровой аппаратуры
  А.В. Егиазарян, Я.А. Чуркин, И.И. Чернявских, А.М. Коцыняк, К.Н. Китаев, Р.А. Бучацкий, А.С. Камкин, А.В. Коршунов, А.Л. Переверзев
  Труды ИСП РАН, том 38, вып. 3, часть 1, 2026 г.

• Особенности реализации алгоритмов и представления данных в системе оптического моделирования Lumicept в рамках верификации по тестовым сценариям CIE 171:2006
  М.С. Копылов, Е.Д. Бирюков, И.С. Потемин, А.Г. Волобой
  Труды ИСП РАН, том 38, вып. 3, часть 3, 2026 г.

• Сравнительное исследование устойчивости к доменному сдвигу сверточных сетей Колмогорова-Арнольда и классических CNN
  А.И. Ларионов, В.Е. Турлапов
  Труды ИСП РАН, том 38, вып. 3, часть 3, 2026 г.

• Обзор языковых виртуальных машин и подходов к их тестированию
  А.С. Проценко
  Труды ИСП РАН, том 38, вып. 3, часть 4, 2026 г.

• Оценка корректности сгенерированного нейросетями кода: вероятностный подход
  Д.А. Авагян
  Труды ИСП РАН, том 38, вып. 2, 2026 г.

• Применение состязательных атак для локализованной генерации артефактов суперразрешения
  К.В. Малышев, И.А. Молодецких, Д.С. Ватолин
  Труды ИСП РАН, том 38, вып. 2, 2026 г.

• Сбор данных для обучения и тестирования моделей сверхразрешения, работающих в реальном времени
  Е.Н. Богатырев, И.А. Молодецких, Х.Н. Абуд, Д.С. Ватолин
  Труды ИСП РАН, том 38, вып. 1, 2026 г.

• AnAT: состязательное дообучение с использованием якорей для метрик оценки качества изображений
  А.Е. Гущин, А.В. Анциферова, Д.С. Ватолин
  Труды ИСП РАН, том 38, вып. 1, 2026 г.

• Генерация кода исполняемой модели Event-B на языке Python
  А.А. Карнов, Е.В. Корныхин
  Труды ИСП РАН, том 37, вып. 6, часть 4, 2025 г.

• Поддержка процессов верификации средств защиты информации на основе формальных моделей политик управления доступом: инструмент АНИС
  А.А. Карнов, Е.В. Корныхин, А.К. Петренко
  Труды ИСП РАН, том 37, вып. 6, часть 4, 2025 г.

• Адаптация алгоритма ThreadSanitizer для обнаружения гонок по данным в ядре ОСРВ
  Е.С. Ельчинов
  Труды ИСП РАН, том 37, вып. 6, часть 3, 2025 г.

• Тестирование подсистемы безопасности ОС Astra Linux на основе формализованного описания модели управления доступом
  П.Н. Девянин, С.С. Жиляков, А.И. Смирнов
  Труды ИСП РАН, том 37, вып. 6, часть 2, 2025 г.

• О длине адаптивной различающей последовательности для семейства наблюдаемых автоматов
  И.Б. Бурдонов, Н.В. Евтушенко, А.С. Косачев
  Труды ИСП РАН, том 37, вып. 6, часть 1, 2025 г.

• Конфигурационное управление проектами разработки программного обеспечения
  Дмитрий Лапыгин, Александр Новичков, www.cmcons.com

• Реальное переосмысление "формальных методов"
  Дэвид Лордж Парнас
  Перевод: Виктор Кулямин

• Зачем нам нужен план управления конфигурациями? Основные понятия и концепции документа
  Александр Новичков , www.cmcons.com

• Качественный успех
  Артём Ваулин , КОРУС Консалтинг

• Качество ПО: восемь мифов
  Джеффри Воас, журнал "Открытые Системы" , #09-10/1999

• Методы обеспечения переносимости ПО
  Д. В. Силаков, А. В. Хорошилов
  Труды Института системного программирования РАН

• Модульное тестирование. Зачем, как и кто
  Сергей Мартыненко

• Модульное тестирование и Test-Driven Development, или Как управлять страхом в программировании
  Сергей Белов, менеджер проекта компании StarSoft Development Labs
  "IT News", #21/2005

• Стратегия в тестировании
  Вячеслав Панкратов , www.Software-Testing.Ru

• Препарируем RUP - задачи и роли в тестировании
  Вячеслав Панкратов, Software-testing.ru

• Создание и тестирование многопоточной программы
  Вячеслав Любченко

• Изучение знаменитых (и не очень знаменитых) ошибок
  Глава из книги "Наука отладки" Мэтт Тэллес, Юань Хсих
  Пер. с англ. С. Лунин, науч.ред. С. Брудков
  Издательство: КУДИЦ-ОБРАЗ

• Отладка систем реального времени
  К.А. Костюхин, НИИСИ РАН

• Как сделать свои программы надежнее?
  Крис Касперски, книга "ПК: решение проблем"