Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Michael P. Kostitsyn"'
Autor:
Aleksandr V. Misonizhnik, Yurii O. Kostyukov, Michael P. Kostitsyn, Dmitry A. Mordvinov, Dmitry V. Koznov
Publikováno v:
Naučno-tehničeskij Vestnik Informacionnyh Tehnologij, Mehaniki i Optiki, Vol 22, Iss 5, Pp 982-991 (2022)
Symbolic execution is a widely used method for the systematic study of program execution paths; it allows solving a number of important problems related to verification of correctness: searching for errors and vulnerabilities, automatic test generati
Externí odkaz:
https://doaj.org/article/747bb1f0ad2f499580feb3fa307d2544
