|
|
|
Publications in Math-Net.Ru |
Citations |
|
2020 |
| 1. |
A. Belskii, V. M. Itsykson, “Automatic generation of software bug fixes based on analysis of software repositories”, Computing, Telecommunication and Control, 13:2 (2020), 35–48  |
|
2017 |
| 2. |
A. O. Aleksyuk, V. M. Itsykson, “Semantics-driven migration of Java programs: a practical experience”, Model. Anal. Inform. Sist., 24:6 (2017), 677–690  |
1
|
|
2016 |
| 3. |
V. M. Itsykson, “The formalism and language tools for semantics specification of software libraries”, Model. Anal. Inform. Sist., 23:6 (2016), 754–766  |
1
|
|
2015 |
| 4. |
M. Belyaev, V. Itsykson, “Fast and safe concrete code execution for reinforcing static analysis and verification”, Model. Anal. Inform. Sist., 22:6 (2015), 763–772 |
1
|
|
2014 |
| 5. |
Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson, “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. |
Marat Akhin, Sam Kolton, Vladimir Itsykson, “Random model sampling: making Craig interpolation work when it should not”, Model. Anal. Inform. Sist., 21:6 (2014), 7–17 |
| 7. |
A. Andrianova, V. Itsykson, “Source code and partial specifications analysis for automated generation of unit tests”, Sistemy i Sredstva Inform., 24:2 (2014), 99–113 |
|
2013 |
| 8. |
Marat Akhin, Mikhail Belyaev, Vladimir Itsykson, “Defect Detection: Combining Bounded Model Checking and Code Contracts”, Model. Anal. Inform. Sist., 20:6 (2013), 22–35 |
|
2012 |
| 9. |
Marat Akhin, Vladimir Itsykson, “Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic”, Model. Anal. Inform. Sist., 19:6 (2012), 69–78 |
|
2011 |
| 10. |
M. I. Glukhikh, V. M. Itsykson, V. A. Tsesko, “The use of dependencies for improving the precision of program static analysis”, Model. Anal. Inform. Sist., 18:4 (2011), 68–79 |
2
|
|
|
|
2016 |
| 11. |
V. M. Itsykson, “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 |
|
| Organisations |
|
| |
|
|
Contact us: