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
162010
Present and ulterior software engineering
M Mazzara, B Meyer
Springer International Publishing, 2017
142017
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
Yet another defect detection: Combining bounded model checking and code contracts
M Akhin, M Belyaev, V Itsykson
PSSV 13, 1-11, 2013
92013
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
Ispol'zovanie zavisimostei dlya povysheniya tochnosti staticheskogo analiza programm [The use of dependencies for improving the precision of program static analysis]
MI Glukhikh, VM Itsykson, VA Tses' ko
Modelirovanie i analiz informa-tsionnykh sistem–Modeling and Analysis of …, 2011
62011
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
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
52015
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
Formalism and language tools for specification of the semantics of software libraries
VM Itsykson
Automatic Control and Computer Sciences 51 (7), 531-538, 2017
32017
Формализм и языковые инструменты для описания семантики программных библиотек
ВМ Ицыксон
Моделирование и анализ информационных систем 23 (6), 754-766, 2016
32016
Слайсинг над деревьями: метод обнаружения разорванных и переплетенных клонов в исходном коде программного обеспечения
МХ Ахин, ВМ Ицыксон
Моделирование и анализ информационных систем 19 (6), 69-78, 2015
32015
Tree slicing in clone detection: Syntactic analysis made (semi)-semantic
MK Akhin, VM Itsykson
Modelirovanie i Analiz Informatsionnykh Sistem 19 (6), 69-78, 2012
32012
Borealis bounded model checker: the coming of age story
M Akhin, M Belyaev, V Itsykson
Present and Ulterior Software Engineering, 119-137, 2017
22017
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
22015
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20