Verena Wolf. Testing Theory for Probabilistic Systems. In Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner, editors, Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]. Volume 3472 of Lecture Notes in Computer Science, pages 233-275, Springer, 2004. [doi]