Symbolic search-based testing | Publicación