Pruning the Search Space in Path-Based Test Generation | Publicación