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