%0 Journal Article %A P. D. Borisov %A Yu. V. Kosolapov %T On characteristics of symbolic execution in the problem of assessing the quality of obfuscating transformations %J Modelirovanie i analiz informacionnyh sistem %D 2021 %P 38-51 %V 28 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAIS_2021_28_1_a2/ %G ru %F MAIS_2021_28_1_a2