An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution
Crossref DOI link: https://doi.org/10.1134/S0361768818060051
Published Online: 2019-03-06
Published Print: 2018-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Gerasimov, A. Yu.
Kruglov, L. V.
Ermakov, M. K.
Vartanov, S. P.
Text and Data Mining valid from 2018-11-01
Article History
Received: 19 July 2018
First Online: 6 March 2019