Для цитирования:

Вартанов С.П., Герасимов А.Ю., Ермаков М.К., Куц Д.О., Новиков А.А. Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения. Труды Института системного программирования РАН. 2017;29(1):149-166. https://doi.org/10.15514/ISPRAS-2017-29(1)-10

For citation:

Vartanov S.P., Gerasimov A.Y., Ermakov M.K., Kutz D.O., Novikov A.A. Dynamic analysis of programs with graphical user interface based on symbolic execution. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(1):149-166. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(1)-10