|
|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
| 1. |
A. Y. Gerasimov, D. O. Kutz, A. A. Novikov, “A formal model for program defect detection using symbolic program execution”, Proceedings of ISP RAS, 31:6 (2019), 21–32  |
|
2017 |
| 2. |
S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov, “Dynamic analysis of programs with graphical user interface based on symbolic execution”, Proceedings of ISP RAS, 29:1 (2017), 149–166  |
2
|
| 3. |
M. K. Ermakov, A. Y. Gerasimov, D. O. Kutz, A. A. Novikov, “Applying iterative dynamic analysis to programs with graphical user interface”, Proceedings of ISP RAS, 29:1 (2017), 119–134 |
|
| Organisations |
|
|
Contact us: