Model-Based Testing of Probabilistic Systems with Stochastic Time.

Marcus Gerhold, Marille Stoelinga

Browse the full TAP paper archive.