Compositional clp-based test data generation for imperative languages (2011)

by E Albert, M Gmez-Zamalloa, J M Rojas, G Puebla
Venue:In LOPSTR’11