For citations:

Borisov P.D., Kosolapov Yu.V. On Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations. Modeling and Analysis of Information Systems. 2021;28(1):38-51. (In Russ.) https://doi.org/10.18255/1818-1015-2021-1-38-51