Concolic testing in logic programming | Publicación