An SMT-Based Concolic Testing Tool for Logic Programs | Publicación