Formal analysis of the effectiveness and predictability of random testing | Publicación