Vladimir M. Itsykson

Orcid: 0000-0003-0276-4517

Affiliations:
  • Saint Petersburg State Polytechnical University, Russia


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
ATSM: A coverage-based framework and a tool for test suite minimization.
J. Softw. Evol. Process., June, 2024

2022
SPIDER: Specification-based Integration Defect Revealer.
CoRR, 2022

2019
Automated Cross-Language Integration Based on Formal Model of Components.
Proceedings of the Frontiers in Software Engineering Education, 2019

2018
Semantics-Driven Migration of Java Programs: A Practical Application.
Autom. Control. Comput. Sci., 2018

2017
Formalism and Language Tools for Specification of the Semantics of Software Libraries.
Autom. Control. Comput. Sci., 2017

Borealis Bounded Model Checker: The Coming of Age Story.
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.
Autom. Control. Comput. Sci., 2015

Random model sampling: Making craig interpolation work when it should not.
Autom. Control. Comput. Sci., 2015

2014
Software defect detection by combining bounded model checking and approximations of functions.
Autom. Control. Comput. Sci., 2014

2013
Tree slicing: Finding intertwined and gapped clones in one simple step.
Autom. Control. Comput. Sci., 2013

2012
Using dependencies to improve precision of code analysis.
Autom. Control. Comput. Sci., 2012


  Loading...