Кечин Валерий Владимирович

Статья

Kovalevskii V.M., Kechin V.V., Ianin A.S., Itcykson V.M. Lightweight file system crash-consistency checking with differential fuzzing [Легковесная проверка согласованности файловой системы после сбоев с помощью дифференциального фаззинга]. Труды Института системного программирования РАН. 2026. Vol. 38. No. 1. pp. Институт системного программирования РАН.. doi: https://doi.org/10.15514/ISPRAS-2026-38(1)-7

Статья

Kovalevskii V.M., Kechin V.V., Itsykson V.M. DIFFuzzer: обнаружение ошибок файловых систем с помощью дифференциального фаззинга серого ящика. Труды Института системного программирования РАН. 2025. Vol. 37. No. 4-2. pp. 31-46.. doi: 10.15514/ISPRAS-2025-37(4)-17

Статья

Ицыксон В.М., Онищук М.П., Кечин В.В., Алексеев Я.Е. Моделирование поведения функций стандартной библиотеки в задачах анализа программ [Modeling the behavior of standard library functions in program analysis]. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2024. № 4(131). С. 24-39.. doi: 10.31799/1684-8853-2024-4-24-39