Compositional clpbased test data generation for imperative languages (2011)

by E Albert, M Gómez-Zamalloa, J M Rojas, G Puebla
Venue:In LOPSTR 2010 Revised Selected Papers, volume 6564 of LNCS