Symbolic execution based feature extraction for detection of malware.

Naveen Namani Arindam Khan

Published in: ICCCS (2020)

Keyphrases

symbolic execution
feature extraction
static analysis
malware detection
test generation
test data generation
anomaly detection
databases
feature space
specification language
face recognition
evolutionary algorithm