|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
A. V. Misonizhnik, A. A. Babushkin, S. A. Morozov, Yu. O. Kostyukov, D. A. Mordvinov, D. V. Koznov, “Automated testing of LLVM programs with complex input data structures”, Proceedings of ISP RAS, 34:4 (2022), 49–62  |
1
|
|
2019 |
| 2. |
Yu. O. Kostyukov, K. A. Batoev, D. A. Mordvinov, M. P. Kostitsyn, A. V. Misonizhnik, “Automatic verification of heap-manipulating programs”, Proceedings of ISP RAS, 31:5 (2019), 37–62 |
|
2017 |
| 3. |
L. D. Kanteev, Yu. O. Kostyukov, D. V. Luciv, D. V. Koznov, M. N. Smirnov, “Discovering near duplicate text in software documentation”, Proceedings of ISP RAS, 29:4 (2017), 303–314  |
|
| Organisations |
|
|
Contact us: