S. . Semenov, Z. Liqiang, C. Weiling, and V. Davydov, “Development a mathematical model for the software security testing first stage”, EEJET, vol. 3, no. 2 (111), pp. 24–34, Jun. 2021.