Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems | Publicación