Login / Signup

An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.

A. Yu. GerasimovLeonid V. KruglovMikhail K. ErmakovSergey P. Vartanov
Published in: Program. Comput. Softw. (2018)
Keyphrases