A Framework for Guided Test Case Generation in Constraint Logic Programming | Publicación