Gerasimov Alexander Yur'evich

Publications in Math-Net.Ru

1. Case study: Source code static analysis for performance issues detection
   
   Proceedings of ISP RAS, 34:4 (2022),  7–20
2. An automated framework for testing source code static analysis tools
   
   Proceedings of ISP RAS, 33:3 (2021),  41–50
3. Automatic API fuzzing framework
   
   Proceedings of ISP RAS, 32:2 (2020),  161–173
4. A formal model for program defect detection using symbolic program execution
   
   Proceedings of ISP RAS, 31:6 (2019),  21–32
5. Combining dynamic symbolic execution, code static analysis and fuzzing
   
   Proceedings of ISP RAS, 30:6 (2018),  25–38
6. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
   
   Proceedings of ISP RAS, 29:5 (2017),  111–134
7. Survey on static program analysis results refinement approaches
   
   Proceedings of ISP RAS, 29:3 (2017),  75–98
8. Dynamic analysis of programs with graphical user interface based on symbolic execution
   
   Proceedings of ISP RAS, 29:1 (2017),  149–166
9. Applying dynamic analysis to programs running in interpreted environments
   
   Proceedings of ISP RAS, 29:1 (2017),  135–148
10. Applying iterative dynamic analysis to programs with graphical user interface
    
    Proceedings of ISP RAS, 29:1 (2017),  119–134
11. Input data generation for reaching specific function in program by iterative dynamic analysis
    
    Proceedings of ISP RAS, 28:5 (2016),  159–174