Learning to Prune Infeasible Paths in Generalized Symbolic Execution | Publicación