Vladimir M. Itsykson

According to our database, Vladimir M. Itsykson authored at least 10 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

SPIDER: Specification-based Integration Defect Revealer.

Vladislav Feofilaktov, Vladimir M. Itsykson

CoRR, 2022

2019

Automated Cross-Language Integration Based on Formal Model of Components.

Artyom Olegovich Aleksyuk, Vladimir M. Itsykson

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Semantics-Driven Migration of Java Programs: A Practical Application.

Artyom Olegovich Aleksyuk, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2018

2017

Formalism and Language Tools for Specification of the Semantics of Software Libraries.

Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2017

Borealis Bounded Model Checker: The Coming of Age Story.

Marat Akhin, Mikhail A. Belyaev, Vladimir M. Itsykson

Proceedings of the Present and Ulterior Software Engineering., 2017

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

Random model sampling: Making craig interpolation work when it should not.

Marat Kh. Akhin, Sam Kolton, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2015

2014

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

2013

Tree slicing: Finding intertwined and gapped clones in one simple step.

Marat Kh. Akhin, Vladimir M. Itsykson

Autom. Control. Comput. Sci., 2013

2012

Using dependencies to improve precision of code analysis.

M. I. Glukhikh, Vladimir M. Itsykson, V. A. Tsesko

Autom. Control. Comput. Sci., 2012