TY - CONF
T1 - A Framework for Guided Test Case Generation in Constraint Logic Programming
PY - 2013/01/01
AU - Rojas JM
AU - Gè´¸mez-Zamalloa M
ED -
DO - DOI: 10.1007/978-3-642-38197-3_12
PB - Springer Berlin Heidelberg
SN - 9783642381966
SP - 176
EP - 193
Y2 - 2025/07/20
ER -