AUSPICE: Automatic Safety Property Verification for Unmodified Executables.

Jiaqi Tan Hui Jun Tay Rajeev Gandhi Priya Narasimhan

Published in: VSTTE (2015)

Keyphrases

databases
case study
high level
safety analysis
data mining
information retrieval
genetic algorithm
image sequences
expert systems
source code
model checking
formal verification