|
|
|
Publications in Math-Net.Ru |
Citations |
|
2022 |
| 1. |
A. Yu. Gerasimov, A. A. Kanakhin, P. A. Privalov, A. A. Zhukov, E. A. Kaminskii, “Case study: Source code static analysis for performance issues detection”, Proceedings of ISP RAS, 34:4 (2022), 7–20  |
|
2021 |
| 2. |
D. M. Gimatdinov, A. Y. Gerasimov, P. A. Privalov, V. N. Butkevich, N. A. Chernova, A. A. Gorelova, “An automated framework for testing source code static analysis tools”, Proceedings of ISP RAS, 33:3 (2021), 41–50 |
|
2020 |
| 3. |
S. S. Sargsyan, V. G. Vardanyan, J. A. Hakobyan, A. M. Aghabalyan, M. S. Mehrabyan, Sh. F. Kurmangaleev, A. Yu. Gerasimov, M. K. Ermakov, S. P. Vartanov, “Automatic API fuzzing framework”, Proceedings of ISP RAS, 32:2 (2020), 161–173 |
|
2019 |
| 4. |
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 |
|
2018 |
| 5. |
A. Yu. Gerasimov, S. S. Sargsyan, S. F. Kurmangaleev, J. A. Hakobyan, S. A. Asryan, M. K. Ermakov, “Combining dynamic symbolic execution, code static analysis and fuzzing”, Proceedings of ISP RAS, 30:6 (2018), 25–38  |
5
|
|
2017 |
| 6. |
A. Y. Gerasimov, L. V. Kruglov, M. K. Ermakov, S. P. Vartanov, “An approach of reachability determination for static analysis defects with help of dynamic symbolic execution”, Proceedings of ISP RAS, 29:5 (2017), 111–134 |
2
|
| 7. |
A. Y. Gerasimov, “Survey on static program analysis results refinement approaches”, Proceedings of ISP RAS, 29:3 (2017), 75–98 |
1
|
| 8. |
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
|
| 9. |
S. P. Vartanov, M. K. Ermakov, A. Y. Gerasimov, “Applying dynamic analysis to programs running in interpreted environments”, Proceedings of ISP RAS, 29:1 (2017), 135–148 |
| 10. |
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 |
|
2016 |
| 11. |
A. Y. Gerasimov, L. V. Kruglov, “Input data generation for reaching specific function in program by iterative dynamic analysis”, Proceedings of ISP RAS, 28:5 (2016), 159–174 |
4
|
|
| Organisations |
|
| |
|
|
Contact us: