Applying Evolutionary Computation Methods to Formal Testing and Model Checking | Publicación