An approach of reachability determination for static analysis defects with help of dynamic symbolic execution
- DOI
- 10.15514/ispras-2017-29(5)-7
- Published
- 2017
- Container
- Proceedings of the Institute for System Programming of the RAS
- Publisher
- Institute for System Programming of the Russian Academy of Sciences
- Open access
- unknown
Credibility signals
uncertain Score 64/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.
Show all credibility signals
- supportingDOI registered: A matching record was returned by Crossref.
- supportingDOI resolves: A matching record was returned by Crossref.
- not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility.
- not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made.
- not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made.
- not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made.
- not scoredROR affiliation: Not checked or no result supplied; no credibility inference made.
- not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete.
- not scoredOpen access status: Not checked or no result supplied; no credibility inference made.
- not scoredPublication license: Not checked or no result supplied; no credibility inference made.
- not scoredPublication version: A publication version was supplied but is not scored.
- supportingMetadata completeness: All 6 scored descriptive metadata groups are present.
Cite this work
BibTeX
@article{allodium:10.15514/ispras-2017-29-5--7,
title = {An approach of reachability determination for static analysis defects with help of dynamic symbolic execution},
author = {Gerasimov A.Y. and Kruglov L.V. and Ermakov M.K. and Vartanov S.P.},
year = {2017},
journal = {Proceedings of the Institute for System Programming of the RAS},
doi = {10.15514/ispras-2017-29(5)-7},
url = {https://doi.org/10.15514/ispras-2017-29(5)-7}
}RIS
TY - JOUR TI - An approach of reachability determination for static analysis defects with help of dynamic symbolic execution AU - Gerasimov A.Y. AU - Kruglov L.V. AU - Ermakov M.K. AU - Vartanov S.P. PY - 2017 JO - Proceedings of the Institute for System Programming of the RAS DO - 10.15514/ispras-2017-29(5)-7 UR - https://doi.org/10.15514/ispras-2017-29(5)-7 ER -
APA
A.Y., G., L.V., K., M.K., E., & S.P., V. (2017). 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. https://doi.org/10.15514/ispras-2017-29(5)-7
Source records
- crossref · retrieved 2026-09-25T11:59:54.382Z