A Survey of Search Strategies in the Dynamic Symbolic ExecutionYu Liu, Xu Zhou and Wei-Wei GongITM Web Conf., 12 (2017) 03025DOI: https://doi.org/10.1051/itmconf/20171203025
