Online Model-Based Testing under Uncertainty
A taxonomy of uncertainty for dynamically adaptive systems