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

Jos Miguel Rojas, Miguel Gmez-Zamalloa

Browse the full LOPSTR paper archive.