Checking security compliance between models and code.

Katja Tuma Sven Peldszus Daniel Strüber Riccardo Scandariato Jan Jürjens

Published in: Softw. Syst. Model. (2023)

Keyphrases

probabilistic model
experimental data
statistical models
source code
parameter estimation
bayesian networks