Formalization of Error Criteria for static symbolic execution

Authors: V. K. Koshelev

Source: Труды Института системного программирования РАН, Vol 28, Iss 5, Pp 105-118 (2018)

Subject Terms: статический анализ, определение ошибочной ситуации, символьное выполнение, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/172; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/986e575172764cb9818526244d3305a4