A. Yu. Gerasimov, Daniil O. Kuts, Alexander A. Novikov. A Formal Model for Detecting Bugs by Symbolic Execution of Programs. Programming and Computer Software, 46(8):731-736, 2020. [doi]
@article{GerasimovKN20,
title = {A Formal Model for Detecting Bugs by Symbolic Execution of Programs},
author = {A. Yu. Gerasimov and Daniil O. Kuts and Alexander A. Novikov},
year = {2020},
doi = {10.1134/S0361768820080046},
url = {https://doi.org/10.1134/S0361768820080046},
researchr = {https://researchr.org/publication/GerasimovKN20},
cites = {0},
citedby = {0},
journal = {Programming and Computer Software},
volume = {46},
number = {8},
pages = {731-736},
}