Analysis of Executable Software Models.

Richard Bubel Antonio Flores-Montoya Reiner Hähnle

Published in: SFM (2014)

Keyphrases

analysis tool
image analysis
statistical models
database
information systems
data analysis
prior knowledge
static analysis
learning algorithm
artificial intelligence
case study
source code
statistical analysis
parameter estimation
empirical data
analytical methods