Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Dmitry A. Mordvinov"'
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
Autor:
Dmitry A. Mordvinov
Publikováno v:
Моделирование и анализ информационных систем, Vol 26, Iss 4, Pp 550-571 (2019)
Property Directed Reachability (PDR) is an efficient and scalable approach to solving systems of symbolic constraints also known as Constrained Horn Clauses (CHC). In the case of non-linear CHCs, which may arise, e.g., from relational verification ta
Externí odkaz:
https://doaj.org/article/c386e4ad32d744e0bfa10a1efbfbffb8
Autor:
Alexander Vladimirovich Misonizhnik, Alexey Alexandrovich Babushkin, Sergey Antonovich Morozov, Yurii Olegovich Kostyukov, Dmitry Alexandrovich Mordvinov, Dmitry Vladimirovich Koznov
Publikováno v:
Proceedings of the Institute for System Programming of the RAS. 34:49-62
Symbolic execution is a widely used approach for automatic regression test generation and bug and vulnerability finding. The main goal of this paper is to present a practical symbolic execution-based approach for LLVM programs with complex input data
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64ead577a447cc0eb74b64c5b1b30073
https://doi.org/10.15514/ispras-2022-34(4)-4
https://doi.org/10.15514/ispras-2022-34(4)-4