Mutation‐inspired symbolic execution for software testing | Publicación