AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code.

Jiaqi Tan Hui Jun Tay Rajeev Gandhi Priya Narasimhan

Published in: APLAS (2016)

Keyphrases

feature extraction
image features
feature space
benchmark datasets
low level
co occurrence
feature set
features extraction
real world
machine learning
key features
static analysis
feature values