Bayesian inference, model-based testing, probabilistic systems, service-based systems, uncertainty quantification.