Лаборатория верификации и анализа программ
Публикации
Automated Cross-Language Integration Based on Formal Model of Components
Август 2020
Artyom Aleksyuk, Vladimir Itsykson
ReduKtor: How We Stopped Worrying About Bugs in Kotlin Compiler
2019
Daniil Stepanov, Marat Akhin, Mikhail Belyaev
Semantics-Driven Migration of Java Programs: A Practical Application
Декабрь 2018
Aleksyuk, A.O., Itsykson, V.M.
Formalism and Language Tools for Specification of the Semantics of Software Libraries
Декабрь 2018
V. Itsykson.
Автоматизация проверки корректности использования программных библиотек
2018
М. Гусев, В. Ицыксон
Обзор динамических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2018
Егорова И.С., Ицыксон В.М.
LibSL — язык спецификации компонентов программного обеспечения
2018
Ицыксон В.М.
Borealis Bounded Model Checker: The Coming of Age Story
Сентябрь 2017
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Разработка аспектно-ориентированного расширения для языка Kotlin
2017
Борис Скрипаль, Владимир Ицыксон
Семантически-ориентированная миграция Java-программ: опыт практического применения
2017
Алексюк А.О., Ицыксон В.М.
Обзор статических методов восстановления частичных спецификаций программных библиотек на основе анализа программных проектов
2017
И.С. Егорова , В.М. Ицыксон.
Distributed Analysis of the BMC Kind: Making It Fit the Tornado Supercomputer
2017
Azat Abdullin, Daniil Stepanov, Marat Akhin
Automated Semantics-Driven Source Code Migration: A Pilot Prototype
2017
Artyom Aleksyuk, Vladimir Itsykson
Формализм и языковые инструменты для описания семантики программных библиотек
Декабрь 2016
Ицыксон В.М.
By the power of SMT! Mining Function Contracts to Better Bounded Model Checking
Сентябрь 2016
Azat Abdullin, Marat Akhin
The formalism for semantics specification of software libraries
2016
V. Itsykson
Random Model Sampling: Making Craig Interpolation Work When It Should Not
Декабрь 2015
Marat Akhin, Sam Kolton, Vladimir Itsykson
Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT Solver
Декабрь 2015
M. Petrov, K. Gagarski, M. Belyaev, V. Itsykson
Discovering Clones in Software: from Complex Algorithms to Everyday Desktop Tool
Октябрь 2015
Marat Akhin, Alexandr Suhinin
Fast and Safe Concrete Code Execution for Reinforcing Static Analysis and Verification
2015
M. Belyaev, V. Itsykson
Применение технологии иерархических параметризируемых шаблонов для автоматизированного исправления ошибок в программном коде
2015
А. Алексюк, В. Ицыксон
Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ
2015
М.А. Беляев, В.М. Ицыксон
Visualization of Execution Paths for Concurrent Programs
2015
Marat Akhin, Andrei Eleshevich
Software Defect Detection by Combining Bounded Model Checking and Approximations of Functions
Декабрь 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
Improving Static Analysis by Loop Unrolling on an Arbitrary Iteration
2014
М. Belyaev, М. Akhin, 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
Tree Slicing: Finding Intertwined and Gapped Clones in One Simple Step
Декабрь 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
Декабрь 2012
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko
Автоматизированная трансформация программ при миграции на новые библиотеки
2012
Ицыксон В.М., Зозуля А.В.
Автоматизация реинжиниринга программного обеспечения при портировании на новые библиотеки с помощью частичных спецификаций.
2012
Ицыксон В.М.
Обнаружение клонов исходного кода: теория и практика
2011
Ахин М.Х., Ицыксон В.М.
Формализм для описания частичных спецификаций компонентов программного окружения
2011
Ицыксон В.М., Зозуля А.В.
Язык спецификаций поведения программных компонентов.
2010
Ицыксон В.М., Глухих М.И.
Автоматическое обнаружение дефектов в программных системах на языке C на основе статического анализа
2010
Ицыксон В.М., Моисеев М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
Source code modification technology based on parameterized code patterns
2010
Itsykson V., Timofeev D.
Алгоритмы анализа указателей для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев, М.Ю., Ахин М.Х., Захаров А.В., Цесько В.А.
A Regression Test Selection Technique Based on Incremental Dynamic Analysis
2009
M. Akhin, V. Itsykson
Automatic Defect Detection in Industrial C/C++ Software
2009
Itsykson, V. Moiseev, M. Tsesko, V. Zakharov, A.
Исследование средств построения моделей исходного кода программ на языках C и C++.
2009
Ицыксон В.М., Глухих М.И., Зозуля А.В., Власовских А.С.
Алгоритм интервального анализа для обнаружения дефектов в исходном коде программ
2009
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Захаров А.В., Ахин М.Х.
Исследование систем автоматизации обнаружения дефектов в исходном коде программного обеспечения
2008
Ицыксон В.М., Моисеев М.Ю., Цесько В.А., Карпенко А.В.
Автоматическое обнаружение дефектов программных систем на основе метода проверки модели
2008
Ицыксон В.М., Захаров А.В., Ахин М.Х., Мяснов А.В.