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

Статья

Feofilaktov V., Itsykson V. SPIDER: Specification-based Integration Defect Revealer. Communications in Computer and Information Science. 2024. Vol. 1559. pp. 107-119.

Статья

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. 2023. Vol. 35. No. 10. pp. e2621.

Статья

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.

Статья

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

Статья

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

Статья

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

Статья

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.

Статья

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

Статья

Itsykson V. Partial Specifications of Libraries: Applications in Software Engineering. Communications in Computer and Information Science. 2021. Vol. 1288. pp. 3-25.

Статья

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.

Статья

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.

Статья

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