A Survey of Search Strategies in the Dynamic Symbolic Execution

Publisher: Edp Sciences

E-ISSN: 2271-2097|12|issue|03025-03025

ISSN: 2271-2097

Source: ITM Web of conferences, Vol.12, Iss.issue, 2017-09, pp. : 03025-03025

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract