As compared with classical software/system testing, uncertainty-wise testing explicitly
addresses known uncertainty about the behavior of a System Under Test (SUT), its …

This paper presents a model-based testing framework for black-box probabilistic systems
with stochastic continuous time. Markov automata are used as an underlying model. We …

Probability plays an important role in many computer applications. A vast number of
algorithms, protocols and computation methods uses randomisation to achieve their goals. A …