search
search
reviewers
reviewers
feeds
feeds
assignments
assignments

settings
logout

Targeted Symbolic Execution for UAF Vulnerabilities.

Published in: ICSRS (2023)

Keyphrases

symbolic execution
test generation
static analysis
test data generation
source code
specification language
information security
data flow
test cases
orders of magnitude
information systems
software engineering
general purpose
simulated annealing
quality assurance
simulated annealing algorithm