Koshelev Vladimir Konstantinovich

Publications in Math-Net.Ru

1. Formalization of error criteria for static symbolic execution
   
   Proceedings of ISP RAS, 28:5 (2016),  105–118
2. Statically detecting buffer overflows in C/C++
   
   Proceedings of ISP RAS, 28:4 (2016),  149–168
3. C# static analysis framework
   
   Proceedings of ISP RAS, 28:1 (2016),  21–40
4. Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference
   
   Proceedings of ISP RAS, 27:5 (2015),  59–86