Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation.

Published in: ICSE Companion (2023)

Keyphrases

symbolic execution
data structure
learning algorithm
specification language
static analysis
test data generation
object detection
generation algorithm
test generation
databases
artificial intelligence
decision trees
distributed systems