Verifying Data Secure Flow in AUTOSAR Models by Static Analysis.

Cinzia Bernardeschi Marco Di Natale Gianluca Dini Maurizio Palmieri

Published in: ICISSP (2017)

Keyphrases

static analysis
data sets
historical data
database
experimental data
data sources
accurate models
learning algorithm
artificial intelligence
training data
probabilistic model
software engineering
statistical methods