Using dependencies to improve precision of code analysis. - M. I. Glukhikh; Vladimir M. Itsykson; V. A. Tsesko (Autom. Control. Comput. Sci., 2012)

Tree slicing: Finding intertwined and gapped clones in one simple step. - Marat Kh. Akhin; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2013)

Software defect detection by combining bounded model checking and approximations of functions. - Marat Kh. Akhin; Mikhail A. Belyaev; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2014)

Random model sampling: Making craig interpolation work when it should not. - Marat Kh. Akhin; Sam Kolton; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2015)

Using a bounded model checker for test generation: How to kill two birds with one SMT solver. - Maxim Petrov; Kirill Gagarski; Mikhail A. Belyaev; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2015)

Borealis Bounded Model Checker: The Coming of Age Story. - Marat Akhin; Mikhail A. Belyaev; Vladimir M. Itsykson (Present and Ulterior Software Engineering, 2017)

Formalism and Language Tools for Specification of the Semantics of Software Libraries. - Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2017)

Semantics-Driven Migration of Java Programs: A Practical Application. - Artyom Olegovich Aleksyuk; Vladimir M. Itsykson (Autom. Control. Comput. Sci., 2018)

Automated Cross-Language Integration Based on Formal Model of Components. - Artyom Olegovich Aleksyuk; Vladimir M. Itsykson (FISEE, 2019)

SPIDER: Specification-based Integration Defect Revealer. - Vladislav Feofilaktov; Vladimir M. Itsykson (CoRR, 2022)

ATSM: A coverage-based framework and a tool for test suite minimization. - Yaroslav Alekseev; Mikhail Onischuck; Arseniy Zorin; Vitaliy Chernyi; Evgeniy Iliyn; Vladimir M. Itsykson (J. Softw. Evol. Process., 2024)