Evaluation of a predicate-based software testing strategy | Publicación