Zobrazeno 1 - 10
of 40
pro vyhledávání: '"S A, Vartanov"'
Autor:
S. A. Vartanov
Publikováno v:
Управленческое консультирование, Vol 0, Iss 8, Pp 157-174 (2020)
One of the key tools that are traditionally used in solving media strategizing problems is advertising. The impacts of advertising on the processes taking place in the economy are significant and remarkably diverse, thus raising a big question to the
Externí odkaz:
https://doaj.org/article/4fbebd54d82f493781dcff4ab0a2141f
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 5, Pp 111-134 (2018)
Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine reachability for defects found by static
Externí odkaz:
https://doaj.org/article/179df6b024a44213b8716f31e34995a2
Autor:
S. P. Vartanov, A. Y. Gerasimov
Publikováno v:
Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 375-394 (2018)
This paper describes the principles of program dynamic analysis for defect detection using input data generation. Techniques of program transformation allowing execution trace extraction, data flow tracing and input data generation for execution path
Externí odkaz:
https://doaj.org/article/d0ec5ae13e6f4184bbc63ce2e4809158
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 1, Pp 135-148 (2018)
The present-day trends in software engineering include the steady increase of code and design complexity which reinforces the high demand in automated software testing and analysis tools. In this paper, we showcase several dynamic program analysis ap
Externí odkaz:
https://doaj.org/article/01b9bb68ec674d1983f7625302519c90
Autor:
M. K. Ermakov, S. P. Vartanov
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 5-24 (2018)
Dynamic program analysis is a prominent approach towards software quality control allowing to perform automatic profiling, defect detection and other activities during software development. In this paper we focus on static binary code instrumentation
Externí odkaz:
https://doaj.org/article/20bf46fd3ef64200ab347d097fe12bd6
Autor:
S. P. Vartanov, M. K. Ermakov
Publikováno v:
Труды Института системного программирования РАН, Vol 27, Iss 1, Pp 25-38 (2018)
This paper focuses on dynamic analysis of Java programs. We consider the following limitations: analysis tool may not have access to target program source code, and the program may be interpreted by a non-standard virtual machine with bytecode format
Externí odkaz:
https://doaj.org/article/2c86b823749b4acf8b3ead0335c717da
Publikováno v:
Труды Института системного программирования РАН, Vol 29, Iss 1, Pp 149-166 (2018)
In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic testing) methods to applications with graphical user interfaces. Such applications inherently feature interactive user input processing and multithreaded
Externí odkaz:
https://doaj.org/article/918e6e4bf43b45af840548f2b4ca03e7
Publikováno v:
Труды Института системного программирования РАН, Vol 24, Iss 0 (2018)
This paper describes issues related to automatic detection of concurrency defects using dynamic analysis methods with primary target subject as the Android platform. Due to the increased popularity and spread of Android platform and, more importantly
Externí odkaz:
https://doaj.org/article/d1899f4e24ec40c1ab6842a4c3636afd
Publikováno v:
Programming and Computer Software. 47:466-481
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be108f511b8b8e110f4dd951256db87c
https://doi.org/10.1134/s0361768821060037
https://doi.org/10.1134/s0361768821060037
Publikováno v:
Gornyi Zhurnal. :76-80
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::83d0adcdc818ad0d229cf66420ac83ba
https://doi.org/10.17580/gzh.2020.04.15
https://doi.org/10.17580/gzh.2020.04.15