An Axiomatization of Probabilistic Testing | Publicación