
Vladimir Itsykson
Research Groups
Biography
Vladimir Itsykson graduated from Saint Petersburg State Technical University in 1996. Since 1996 he continued education in University as a post graduate student. In 2000 he successfully defended his PhD thesis "Research and design of models and software for computer systems simulation".
Home page: http://kspt.icc.spbstu.ru/info/staff/itsykson/en
Research Area
- Software development technologies
- Software engineering
- Software defect detection methods
- Software testing automation
- Software revers-engineering and reengineering
Teaching
Publications
Automated Cross-Language Integration Based on Formal Model of Components
August 2020
Artyom Aleksyuk, Vladimir Itsykson
Formalism and Language Tools for Specification of the Semantics of Software Libraries
December 2018
V. Itsykson.
Semantics-Driven Migration of Java Programs: A Practical Application
December 2018
Aleksyuk, A.O., Itsykson, V.M.
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
LibSL — язык спецификации компонентов программного обеспечения
2018
Ицыксон В.М.
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
Borealis Bounded Model Checker: The Coming of Age Story
September 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Message from the editors
2017
G. Chernishev, M. Akhin, B. Novikov, and V. Itsykson
Разработка аспектно-ориентированного расширения для языка Kotlin
2017
Борис Скрипаль, Владимир Ицыксон
Формализм и языковые инструменты для описания семантики программных библиотек
December 2016
Ицыксон В.М.
The formalism for semantics specification of software libraries
2016
V. Itsykson
Random Model Sampling: Making Craig Interpolation Work When It Should Not
December 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver
December 2015
M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
December 2014
M. Akhin, M. Belyaev, V. Itsykson
Source code and partial specifications analysis for automated generation of unit tests. Systems and Means of Informatics
2014
A. Andrianova and V. Itsykson
Visualization of parallel program execution for software behavior analysis and defect detection.
2014
A.Polovtcev, V. Itsykson, T. Krikun, T. Vert, A. Zozulya
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, V. Itsykson
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
December 2013
M. Akhin, V. Itsykson
Прогнозирование характеристик программных проектов с помощью мета-моделирования.
2013
Ицыксон В.М., Баженов А.С.
Solving Puzzles: Making Use of SMT Solvers Easy
2013
E. Zaychenko, V. Galuzin, V. Itsykson.
Using Dependencies to Improve Precision of Code Analysis
December 2012
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
2012
Ицыксон В.М.
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Программная инженерия. Обеспечение качества программных средств методами статического анализа.
2011
Глухих М.И., Ицыксон В.М.
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Язык спецификаций поведения программных компонентов.
2010
Ицыксон В.М., Глухих М.И.
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.