Many systems are inherently stochastic: they interact with unpredictable environments or
use randomised algorithms. Classical model-based testing is insufficient for such systems: it …

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 …