|
|
Publications in Math-Net.Ru
-
Technical debt in the software development lifecycle: code smells
Proceedings of ISP RAS, 33:6 (2021), 95–110
-
Automatic API fuzzing framework
Proceedings of ISP RAS, 32:2 (2020), 161–173
-
Combining dynamic symbolic execution, code static analysis and fuzzing
Proceedings of ISP RAS, 30:6 (2018), 25–38
-
An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
Proceedings of ISP RAS, 29:5 (2017), 111–134
-
Dynamic analysis of programs with graphical user interface based on symbolic execution
Proceedings of ISP RAS, 29:1 (2017), 149–166
-
Applying dynamic analysis to programs running in interpreted environments
Proceedings of ISP RAS, 29:1 (2017), 135–148
-
Applying iterative dynamic analysis to programs with graphical user interface
Proceedings of ISP RAS, 29:1 (2017), 119–134
-
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
-
Detecting race conditions in Java programs using dynamic analysis
Proceedings of ISP RAS, 27:2 (2015), 39–52
-
Dynamic Java program analysis using virtual machine modification
Proceedings of ISP RAS, 27:2 (2015), 23–38
-
Applying Java bytecode static instrumentation for software dynamic analysis
Proceedings of ISP RAS, 27:1 (2015), 25–38
-
Dynamic analysis of ARM ELF shared libraries using static binary instrumentation
Proceedings of ISP RAS, 27:1 (2015), 5–24
© , 2024