|
|
|
Publications in Math-Net.Ru |
Citations |
|
2016 |
| 1. |
V. K. Koshelev, “Formalization of error criteria for static symbolic execution”, Proceedings of ISP RAS, 28:5 (2016), 105–118   |
2
|
| 2. |
I. Dudina, V. Koshelev, A. Borodin, “Statically detecting buffer overflows in C/C++”, Proceedings of ISP RAS, 28:4 (2016), 149–168 |
5
|
| 3. |
V. K. Koshelev, V. N. Ignatyev, A. I. Borzilov, “C# static analysis framework”, Proceedings of ISP RAS, 28:1 (2016), 21–40 |
7
|
|
2015 |
| 4. |
V. Koshelev, I. Dudina, V. Ignatyev, A. Borzilov, “Path-sensitive bug detection analysis of C# program illustrated by null pointer dereference”, Proceedings of ISP RAS, 27:5 (2015), 59–86 |
9
|
|
| Organisations |
|
|
Contact us: