Ицыксон Владимир Михайлович

Статья

Райкин Г.Р., Пелевин М.С., Ицыксон В.М. Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика. Труды Института системного программирования РАН. 2025. Т. 37. № 2. С. 97-114.. doi: 10.15514/ISPRAS-2025-37(2)-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

Статья

Alekseev Y., Onischuck M., Zorin A., Chernyi V., Iliyn E., Itsykson V. ATSM: A coverage-based framework and a tool for test suite minimization. Journal of Software: Evolution and Process. 2024. Vol. 36. No. 6. pp. e2621.. doi: 10.1002/smr.2621

Статья

Feofilaktov V., Itsykson V. SPIDER: Specification-based Integration Defect Revealer. Communications in Computer and Information Science. 2024. Vol. 1559. pp. 107-119.. doi: 10.1007/978-3-031-50423-5_10

Статья

Abdullin A.M., Itsykson V.M. Kex: A Platform For Analysis Of JVM Programs. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. No. 1(116). pp. 30-43.. doi: 10.31799/1684-8853-2022-1-30-43

Статья

Степанов Д.С., Ицыксон В.М. Поиск дубликатов ошибок компиляторов методом генерации программ-свидетелей . Программная инженерия. 2022. Т. 14. № 4. С. 165-174.. doi: 10.17587/prin.14.165-174

Статья

Abdullin A.M., Itsykson V.M. Reanimator: from Test Data to Code and Bac. Программная инженерия. 2022. Vol. 13. No. 10. pp. 483-496.. doi: 10.17587/prin.13.483-496

Статья

Stepanov D.S., Itcykson V.M. Backend Bug Finder — a platform for effective compiler fuzzing. Информационно-управляющие системы [Informatsionno-Upravliaiushchie Sistemy]. 2022. No. 6(121). pp. 31-40.. doi: 10.31799/1684-8853-2022-6-31-40

Статья

Itsykson V. Partial Specifications of Libraries: Applications in Software Engineering. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 3-25.. doi: 10.1007/978-3-030-71472-7_1

Статья

Itsykson V., Onischuck M. Generator of automated tools for program instrumentation. CEUR Workshop Proceedings. 2021. Vol. 2953. pp. 31-37.

Статья

Egorova I., Itsykson V. Generation of Test-Based Traces for Automated Partial Software Specifications Extraction. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 203-208.. doi: 10.1007/978-3-030-71472-7_17

Статья

Belskii A., Itsykson V.M. Automatic generation of software bug fixes based on analysis of software repositories. Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление. 2020. Vol. 13. No. 2. pp. 35-48.. doi: 10.18721/JCSTCS.13204

Статья

Itsykson V., Алексюк А.О. Automated Cross-Language Integration Based on Formal Model of Components. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2020. Vol. 12271 LNCS. pp. 357-370.. doi: https://doi.org/10.1007/978-3-030-57663-9_23

Статья

Стручков И.В., Ицыксон В.М. Формализм для описания программных систем и вычислительных процессов циклической параллельной обработки данных реального времени. Информационно-управляющие системы. 2006. № 2(21). С. 8-13.