For citations:

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