"Binary-level Directed Symbolic Execution Through Pattern Learning."

Zhijie Zhang et al. (2022)

Details and statistics

DOI: 10.1109/ISPA-BDCLOUD-SOCIALCOM-SUSTAINCOM57177.2022.00014

access: closed

type: Conference or Workshop Paper

metadata version: 2023-03-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics