Fast Testing of Critical Properties through Passive Testing | Publicación