Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

Для цитирования:


Герасимов А.Ю., Круглов Л.В., Ермаков М.К., Вартанов С.П. Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения. Труды Института системного программирования РАН. 2017;29(5):111-134. https://doi.org/10.15514/ISPRAS-2017-29(5)-7

For citation:


Gerasimov A.Y., Kruglov L.V., Ermakov M.K., Vartanov S.P. An approach of reachability determination for static analysis defects with help of dynamic symbolic execution. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2017;29(5):111-134. (In Russ.) https://doi.org/10.15514/ISPRAS-2017-29(5)-7



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)