brand

Том 38, выпуск 6, часть 2


Новости

23 Октября, 2026 В Москве пройдет конференция по разработке, защите и монетизации ПО GuardConf 2026
21 Октября, 2026 От фундаментальной математики до искусственного интеллекта: в Москве пройдёт ежегодная Открытая конференция ИСП РАН
17 Октября, 2026 Защита диссертаций

Труды Института системного программирования РАН. Том 38, выпуск 6, часть 2, 2026, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Под редакцией Академика РАН А.И. Аветисяна

Содержание

Никульшин П.А., Дубич Е.В., Хорошилов А.В. SyzAnalyzer: Инструмент анализа трудновоспроизводимых ошибок в ядре Linux Стр. 7-20.

Ищенко А.Д., Ануреев И.С. Применение статического анализа для сокращения количества порождаемых условий корректности для программ на языке Reflex Стр. 21-40.

Зеленов С.В. Автоматическая генерация тестов для оптимизаторов на основе атрибутной грамматики Стр. 41-56.

Первунецких Е.Д. Использование TLA+ и методологии Цая-Ли для построения моделей транзакционной памяти Стр. 57-66.

Паршин М.А., Степанов Д.С. Автоматическая генерация тестов по состоянию исполнения с применением больших языковых моделей Стр. 67-92.

Вернуться к списку всех томов