Kutz Daniil Olegovich

Publications in Math-Net.Ru

1. Hybrid approach to directed fuzzing
   
   Proceedings of ISP RAS, 37:6(2) (2025),  53–64
2. Sydr-Fuzz: continuous hybrid fuzzing and dynamic analysis for security development lifecycle
   
   Proceedings of ISP RAS, 37:4(2) (2025),  251–270
3. A formal model for program defect detection using symbolic program execution
   
   Proceedings of ISP RAS, 31:6 (2019),  21–32
4. Dynamic analysis of programs with graphical user interface based on symbolic execution
   
   Proceedings of ISP RAS, 29:1 (2017),  149–166
5. Applying iterative dynamic analysis to programs with graphical user interface
   
   Proceedings of ISP RAS, 29:1 (2017),  119–134