Itsykson Vladimir Mikhailovich

Publications in Math-Net.Ru

1. Automatic generation of software bug fixes based on analysis of software repositories
   
   Computing, Telecommunication and Control, 13:2 (2020),  35–48
2. Semantics-driven migration of Java programs: a practical experience
   
   Model. Anal. Inform. Sist., 24:6 (2017),  677–690
3. The formalism and language tools for semantics specification of software libraries
   
   Model. Anal. Inform. Sist., 23:6 (2016),  754–766
4. Fast and safe concrete code execution for reinforcing static analysis and verification
   
   Model. Anal. Inform. Sist., 22:6 (2015),  763–772
5. Using a bounded model checker for test generation: how to kill two birds with one SMT-solver
   
   Model. Anal. Inform. Sist., 21:6 (2014),  83–93
6. Random model sampling: making Craig interpolation work when it should not
   
   Model. Anal. Inform. Sist., 21:6 (2014),  7–17
7. Source code and partial specifications analysis for automated generation of unit tests
   
   Sistemy i Sredstva Inform., 24:2 (2014),  99–113
8. Defect Detection: Combining Bounded Model Checking and Code Contracts
   
   Model. Anal. Inform. Sist., 20:6 (2013),  22–35
9. Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
   
   Model. Anal. Inform. Sist., 19:6 (2012),  69–78
10. The use of dependencies for improving the precision of program static analysis
    
    Model. Anal. Inform. Sist., 18:4 (2011),  68–79


11. Scientific conference “Tools & Methods of Program Analysis-2015” was held at the Polytechnic University
    
    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2016, no. 1(236),  83