Vartanov Sergei Pavlovich

Publications in Math-Net.Ru

1. Searching for tainted vulnerabilities in static analysis tool Svace
   
   Proceedings of ISP RAS, 33:1 (2021),  7–32
2. Automatic API fuzzing framework
   
   Proceedings of ISP RAS, 32:2 (2020),  161–173
3. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
   
   Proceedings of ISP RAS, 29:5 (2017),  111–134
4. Dynamic analysis of programs with graphical user interface based on symbolic execution
   
   Proceedings of ISP RAS, 29:1 (2017),  149–166
5. Applying dynamic analysis to programs running in interpreted environments
   
   Proceedings of ISP RAS, 29:1 (2017),  135–148
6. Detecting race conditions in Java programs using dynamic analysis
   
   Proceedings of ISP RAS, 27:2 (2015),  39–52
7. Dynamic Java program analysis using virtual machine modification
   
   Proceedings of ISP RAS, 27:2 (2015),  23–38
8. Applying Java bytecode static instrumentation for software dynamic analysis
   
   Proceedings of ISP RAS, 27:1 (2015),  25–38
9. Dynamic analysis of ARM ELF shared libraries using static binary instrumentation
   
   Proceedings of ISP RAS, 27:1 (2015),  5–24