Vladimir Itsykson
Vladimir Itsykson
Peter the Great St.Petersburg Polytechnic University
Подтвержден адрес электронной почты в домене icc.spbstu.ru - Главная страница
НазваниеПроцитированоГод
Clone detection: Why, what and how?
M Akhin, V Itsykson
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
142010
Present and ulterior software engineering
M Mazzara, B Meyer
Springer International Publishing, 2017
112017
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
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
82011
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
72013
Automatic defects detection in industrial C/C++ software
V Itsykson, M Moiseev, V Tsesko, A Zakharov
2009 5th Central and Eastern European Software Engineering Conference in …, 2009
62009
Interval analysis algorithm for detecting defects in the software source code
VM Itsykson, MM Ju, VA Tsesko, AV Zakharov, MH Akhin
Informationcontrol systems 2, 34-41, 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
2011 7th Central and Eastern European Software Engineering Conference (CEE …, 2011
52011
The formalism and language tools for semantics specification of software libraries
VM Itsykson
Modelirovanie i analiz informatsionnykh sistem 23 (6), 754-766, 2016
42016
Source code modification technology based on parameterized code patterns
V Itsykson, D Timofeyev
2010 6th Central and Eastern European Software Engineering Conference (CEE …, 2010
42010
A regression test selection technique based on incremental dynamic analysis
M Akhin, V Itsykson
2009 5th Central and Eastern European Software Engineering Conference in …, 2009
42009
Формализм и языковые инструменты для описания семантики программных библиотек
ВМ Ицыксон
Моделирование и анализ информационных систем 23 (6), 754-766, 2016
32016
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
32015
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
МХ Ахин, ВМ Ицыксон
Моделирование и анализ информационных систем 19 (6), 69-78, 2015
32015
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
22017
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
Tree slicing in clone detection: Syntactic analysis made (semi)-semantic
MK Akhin, VM Itsykson
Modelirovanie i Analiz Informatsionnykh Sistem 19 (6), 69-78, 2012
22012
Recurrent Neural Network for Code Clone Detection
A Zorin, V Itsykson
Software Engineering and Infomation Management, 47, 2018
12018
Formalism and language tools for specification of the semantics of software libraries
VM Itsykson
Automatic Control and Computer Sciences 51 (7), 531-538, 2017
12017
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20