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

Публикации в базе данных Math-Net.Ru

1. Automatic generation of software bug fixes based on analysis of software repositories
   
   Информатика, телекоммуникации и управление, 13:2 (2020),  35–48
2. Семантически-ориентированная миграция Java-программ: опыт практического применения
   
   Модел. и анализ информ. систем, 24:6 (2017),  677–690
3. Формализм и языковые инструменты для описания семантики программных библиотек
   
   Модел. и анализ информ. систем, 23:6 (2016),  754–766
4. Fast and safe concrete code execution for reinforcing static analysis and verification
   
   Модел. и анализ информ. систем, 22:6 (2015),  763–772
5. Использование метода ограниченной проверки моделей для генерации тестов
   
   Модел. и анализ информ. систем, 21:6 (2014),  83–93
6. Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей
   
   Модел. и анализ информ. систем, 21:6 (2014),  7–17
7. Технология анализа исходного кода программного обеспечения и частичных спецификаций для автоматизированной генерации тестов
   
   Системы и средства информ., 24:2 (2014),  99–113
8. Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
   
   Модел. и анализ информ. систем, 20:6 (2013),  22–35
9. Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
   
   Модел. и анализ информ. систем, 19:6 (2012),  69–78
10. Использование зависимостей для повышения точности статического анализа программ
    
    Модел. и анализ информ. систем, 18:4 (2011),  68–79


11. В Политехническом университете прошла научная конференция по программной инженерии «Инструменты и методы анализа программ» (TMPA-2015)
    
    Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236),  83