Compositional CLP-Based Test Data Generation for Imperative Languages.

Elvira Albert, Miguel Gmez-Zamalloa, Jos Miguel Rojas, Germn Puebla

Browse the full LOPSTR paper archive.