I. A. Dudina

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 2

Top Topics

Automatic Analysis

Symbolic Execution

Test Data Generation

Top Venues

Program. Comput. Softw.

Publications

A. E. Borodin, I. A. Dudina
Intraprocedural Analysis Based on Symbolic Execution for Bug Detection. Program. Comput. Softw. 47 (8) (2021)
I. A. Dudina, A. A. Belevantsev
Using static symbolic execution to detect buffer overflows. Program. Comput. Softw. 43 (5) (2017)
V. K. Koshelev, A. O. Izbyshev, I. A. Dudina
Interprocedural taint analysis for LLVM-bitcode. Program. Comput. Softw. 41 (4) (2015)