Kostyukov Yurii Olegovich

Publications in Math-Net.Ru

1. Automated testing of LLVM programs with complex input data structures
   
   Proceedings of ISP RAS, 34:4 (2022),  49–62
2. Automatic verification of heap-manipulating programs
   
   Proceedings of ISP RAS, 31:5 (2019),  37–62
3. Discovering near duplicate text in software documentation
   
   Proceedings of ISP RAS, 29:4 (2017),  303–314