Mutation Testing from Probabilistic Finite State Machines | Publicación