Mutation testing from probabilistic and stochastic finite state machines | Publicación