Vladimir Itsykson
Vladimir Itsykson
Peter the Great St.Petersburg Polytechnic University
Подтвержден адрес электронной почты в домене icc.spbstu.ru - Главная страница
НазваниеПроцитированоГод
Clone detection: Why, what and how?
M Akhin, V Itsykson
Software Engineering Conference (CEE-SECR), 2010 6th Central and Eastern …, 2010
142010
Software defect detection by combining bounded model checking and approximations of functions
MK Akhin, MA Belyaev, VM Itsykson
Automatic Control and Computer Sciences 48 (7), 389-397, 2014
92014
Automatic defects detection in industrial C/C++ software
V Itsykson, M Moiseev, V Tsesko, A Zakharov
Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and …, 2009
62009
Using dependencies to improve precision of code analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Automatic Control and Computer Sciences 46 (7), 338-344, 2012
52012
Automated program transformation for migration to new libraries
V Itsykson, A Zozulya
IEEE, 2011
52011
A regression test selection technique based on incremental dynamic analysis
M Akhin, V Itsykson
Software Engineering Conference in Russia (CEE-SECR), 2009 5th Central and …, 2009
52009
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
42013
Source code modification technology based on parameterized code patterns
V Itsykson, D Timofeyev
Software Engineering Conference (CEE-SECR), 2010 6th Central and Eastern …, 2010
42010
Формализм и языковые инструменты для описания семантики программных библиотек
ВМ Ицыксон
Моделирование и анализ информационных систем 23 (6), 754-766, 2016
32016
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
МХ Ахин, ВМ Ицыксон
Моделирование и анализ информационных систем 19 (6), 69-78, 2015
32015
The use of dependencies for improving the precision of program static analysis
MI Glukhikh, VM Itsykson, VA Tsesko
Modelirovanie i Analiz Informatsionnykh Sistem 18 (4), 68-79, 2011
32011
Present and Ulterior Software Engineering
M Mazzara, B Meyer
Springer International Publishing, 2017
22017
The Formalism and Language Tools for Semantics Specification of Software Libraries
VM Itsykson
Modelirovanie i Analiz Informacionnyh Sistem 23 (6), 754-766, 2016
22016
Visualization of parallel program execution for software behavior analysis and defect detection
A Polovtcev, A Zozulya, T Vert, T Krikun, V Itsykson
Proceedings of the 10th Central and Eastern European Software Engineering …, 2014
22014
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
12017
The formalism for semantics specification of software libraries
V Itsykson
System Informatics 8, 43, 2016
12016
Using a bounded model checker for test generation: how to kill two birds with one SMT solver
M Petrov, K Gagarski, M Belyaev, V Itsykson
Automatic Control and Computer Sciences 49 (7), 466-472, 2015
12015
Random model sampling: making Craig interpolation work when it should not
M Akhin, S Kolton, V Itsykson
Automatic Control and Computer Sciences 49 (7), 413-419, 2015
12015
Обнаружение дефектов в программном обеспечении путем объединения ограниченной проверки моделей и аппроксимации функций
МХ Ахин, МА Беляев, ВМ Ицыксон
Моделирование и анализ информационных систем 20 (6), 22-35, 2015
12015
Fast and safe concrete code execution for reinforcing static analysis and verification
MA Belyaev, VM Itsykson
Моделирование и анализ информационных систем 22 (6), 763-772, 2015
12015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20