Kruglov Leonid Vyacheslavovich

Publications in Math-Net.Ru

1. Structural theory of complex systems. Model–oriented programming
   
   Informatsionnye Tekhnologii i Vychslitel'nye Sistemy, 2023, no. 4,  96–108
2. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
   
   Proceedings of ISP RAS, 29:5 (2017),  111–134
3. Input data generation for reaching specific function in program by iterative dynamic analysis
   
   Proceedings of ISP RAS, 28:5 (2016),  159–174