|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
A. Belskii, V. M. Itsykson, “Automatic generation of software bug fixes based on analysis of software repositories”, Информатика, телекоммуникации и управление, 13:2 (2020), 35–48  |
|
2017 |
| 2. |
А. О. Алексюк, В. М. Ицыксон, “Семантически-ориентированная миграция Java-программ: опыт практического применения”, Модел. и анализ информ. систем, 24:6 (2017), 677–690  |
1
|
|
2016 |
| 3. |
В. М. Ицыксон, “Формализм и языковые инструменты для описания семантики программных библиотек”, Модел. и анализ информ. систем, 23:6 (2016), 754–766  |
1
|
|
2015 |
| 4. |
M. Belyaev, V. Itsykson, “Fast and safe concrete code execution for reinforcing static analysis and verification”, Модел. и анализ информ. систем, 22:6 (2015), 763–772 |
1
|
|
2014 |
| 5. |
М. А. Петров, К. А. Гагарский, М. А. Беляев, В. М. Ицыксон, “Использование метода ограниченной проверки моделей для генерации тестов”, Модел. и анализ информ. систем, 21:6 (2014), 83–93 |
| 6. |
М. Х. Ахин, С. Л. Колтон, В. М. Ицыксон, “Использование случайной выборки моделей для решения задачи интерполяции Крейга в рамках ограниченной проверки моделей”, Модел. и анализ информ. систем, 21:6 (2014), 7–17 |
| 7. |
А. А. Андрианова, В. М. Ицыксон, “Технология анализа исходного кода программного обеспечения и частичных спецификаций для автоматизированной генерации тестов”, Системы и средства информ., 24:2 (2014), 99–113 |
|
2013 |
| 8. |
М. Х. Ахин, М. А. Беляев, В. М. Ицыксон, “Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций”, Модел. и анализ информ. систем, 20:6 (2013), 22–35 |
|
2012 |
| 9. |
М. Х. Ахин, В. М. Ицыксон, “Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения”, Модел. и анализ информ. систем, 19:6 (2012), 69–78 |
|
2011 |
| 10. |
М. И. Глухих, В. М. Ицыксон, В. А. Цесько, “Использование зависимостей для повышения точности статического анализа программ”, Модел. и анализ информ. систем, 18:4 (2011), 68–79 |
2
|
|
|
|
2016 |
| 11. |
В. М. Ицыксон, “В Политехническом университете прошла научная конференция по программной инженерии «Инструменты и методы анализа программ» (TMPA-2015)”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2016, № 1(236), 83 |
|
Обратная связь: