"A Framework for Guided Test Case Generation in Constraint Logic Programming."

José Miguel Rojas, Miguel Gómez-Zamalloa (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics