Dynamic program analysis for error detection using goal-seeking input data generation

by S. P. Vartanov, A. Y. Gerasimov
Published 2018-10-01

Applying Java bytecode static instrumentation for software dynamic analysis

by S. P. Vartanov, M. K. Ermakov
Published 2018-10-01

Dynamic Analysis of ARM ELF Shared Libraries Using Static Binary Instrumentation

by M. K. Ermakov, S. P. Vartanov
Published 2018-10-01

Automatic concurrency defect detection for Android applications

by V. P. Ivannikov, S. P. Vartanov, M. K. Ermakov
Published 2018-10-01

Applying dynamic analysis to programs running in interpreted environments

by S. P. Vartanov, M. K. Ermakov, A. Y. Gerasimov
Published 2018-10-01

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
Published 2018-10-01

Dynamic analysis of programs with graphical user interface based on symbolic execution

by S. P. Vartanov, A. Y. Gerasimov, M. K. Ermakov, D. O. Kutz, A. A. Novikov
Published 2018-10-01