Semenov, S. .; Liqiang, Z.; Weiling, C.; Davydov, V. Development a Mathematical Model for the Software Security Testing First Stage. EEJET 2021, 3, 24-34.