“…In particular, if we concentrate only on probabilistic testing, regardless whether the underlying model is a process algebra or another formalism, several semantics have been defined. This area of research was very active in the previous decade (we can mention [5,35,18,30,29,33,26,12,21,6,31]). Moreover, there also exists recent work on the topic (see, for example [19,3,28,34,4,8]).…”