I. A. Dudina

According to our database, I. A. Dudina authored at least 3 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2021

Intraprocedural Analysis Based on Symbolic Execution for Bug Detection.

A. E. Borodin, I. A. Dudina

Program. Comput. Softw., 2021

2017

Using static symbolic execution to detect buffer overflows.

I. A. Dudina, A. A. Belevantsev

Program. Comput. Softw., 2017

2015

Interprocedural taint analysis for LLVM-bitcode.

V. K. Koshelev, A. O. Izbyshev, I. A. Dudina

Program. Comput. Softw., 2015