Search Results - "Vartanov, S.P."

Dynamic analysis of ARM ELF shared libraries using static binary instrumentation by Ermakov, M.K., Vartanov, S.P.

“…Dynamic program analysis is a prominent approach towards software quality control allowing to perform automatic profiling, defect detection and other…”
Get full text

Dynamic program analysis for error detection using goal-seeking input data generation by Vartanov, S.P., Gerasimov, A.Y.

“…This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing…”
Get full text

Applying Java bytecode static instrumentation for software dynamic analysis by Vartanov, S.P., Ermakov, M.K.

“…This paper focuses on dynamic analysis of Java programs. We consider the following limitations: analysis tool may not have access to target program source…”
Get full text

Applying dynamic analysis to programs running in interpreted environments by Vartanov, S.P., Ermakov, M.K., Gerasimov, A.Y.

“…The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software…”
Get full text

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution by A.Y., Gerasimov, L.V., Kruglov, M.K., Ermakov, S.P., Vartanov

“…Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we…”
Get full text

Dynamic analysis of programs with graphical user interface based on symbolic execution by Vartanov, S.P., Gerasimov, A.Y., Ermakov, M.K., Kutz, D.O., Novikov, A.A.

“…In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic testing) methods to applications with graphical user…”
Get full text

Automatic concurrency defect detection for Android applications by Ivannikov, V.P., Vartanov, S.P., Ermakov, M.K.

Get full text