A tabu search algorithm for structural software testing | Publicación