TY - CONF T1 - Compositional CLP-Based Test Data Generation for Imperative Languages PY - 2011/01/01 AU - Albert E AU - G贸mez-Zamalloa M AU - Rojas JM AU - Puebla G ED - DO - DOI: 10.1007/978-3-642-20551-4_7 PB - Springer Berlin Heidelberg SN - 9783642205507 SP - 99 EP - 116 Y2 - 2025/06/25 ER -