RUS  ENG
Full version
PEOPLE

Ermakov Mikhail Kirillovich

Publications in Math-Net.Ru

  1. Technical debt in the software development lifecycle: code smells

    Proceedings of ISP RAS, 33:6 (2021),  95–110
  2. Automatic API fuzzing framework

    Proceedings of ISP RAS, 32:2 (2020),  161–173
  3. Combining dynamic symbolic execution, code static analysis and fuzzing

    Proceedings of ISP RAS, 30:6 (2018),  25–38
  4. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

    Proceedings of ISP RAS, 29:5 (2017),  111–134
  5. Dynamic analysis of programs with graphical user interface based on symbolic execution

    Proceedings of ISP RAS, 29:1 (2017),  149–166
  6. Applying dynamic analysis to programs running in interpreted environments

    Proceedings of ISP RAS, 29:1 (2017),  135–148
  7. Applying iterative dynamic analysis to programs with graphical user interface

    Proceedings of ISP RAS, 29:1 (2017),  119–134
  8. Dynamic analysis of ARM ELF executable code using static binary instrumentation

    St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2016, no. 1(236),  108–117
  9. Detecting race conditions in Java programs using dynamic analysis

    Proceedings of ISP RAS, 27:2 (2015),  39–52
  10. Dynamic Java program analysis using virtual machine modification

    Proceedings of ISP RAS, 27:2 (2015),  23–38
  11. Applying Java bytecode static instrumentation for software dynamic analysis

    Proceedings of ISP RAS, 27:1 (2015),  25–38
  12. Dynamic analysis of ARM ELF shared libraries using static binary instrumentation

    Proceedings of ISP RAS, 27:1 (2015),  5–24


© Steklov Math. Inst. of RAS, 2024