Kutz Daniil Olegovich

Publications in Math-Net.Ru

1. A formal model for program defect detection using symbolic program execution
   
   Proceedings of ISP RAS, 31:6 (2019),  21–32
2. Dynamic analysis of programs with graphical user interface based on symbolic execution
   
   Proceedings of ISP RAS, 29:1 (2017),  149–166
3. Applying iterative dynamic analysis to programs with graphical user interface
   
   Proceedings of ISP RAS, 29:1 (2017),  119–134