Resource-Driven CLP-Based Test Case Generation.

Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas

Browse the full LOPSTR paper archive.