Vladimir M. Itsykson

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

Collaborative distances:

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

2024

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., June, 2024

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