Concolic Execution and Test Case Generation in Prolog | Publicación