18 citations · 39 across the 15 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019★ 8 cited
Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
Thomas Gabor, Marie Kiermeier, Andreas Sedlmeier +5
From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various…
cs.SE2017
Bayesian Verification under Model Uncertainty
Lenz Belzner, Thomas Gabor
Machine learning enables systems to build and update domain models based on runtime observations. In this paper, we study statistical model checking and runtime verification for sy…